A Logical Approach for Behavioural Composition of Scenario-Based Models

As modern systems become more complex, design approaches model different aspects of the system separately. When considering (intra and inter) system interactions, it is usual to model individual scenarios using UML’s sequence diagrams. Given a set of scenarios we then need to check whether these are consistent and can be combined for a better understanding of the overall behaviour. This paper addresses this by presenting a novel formal technique for composing behavioural models at the metamodel level through exact metamodel restriction (EMR). In our approach a sequence diagram can be completely described by a set of logical constraints at the metamodel level. When composing sequence diagrams we take the union of the sets of logical constraints for each diagram and additional behavioural constraints that describe the matching composition glue. A formal semantics for composition in accordance with the glue guides our model transformation to Alloy. Alloy’s fully automated constraint solver gives us the solution. Our technique has been implemented as an Eclipse plugin SD2Alloy.

[1]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[2]  Gerti Kappel,et al.  Guided Merging of Sequence Diagrams , 2012, SLE.

[3]  Jürgen Dingel,et al.  A General Approach for Scenario Integration , 2008, MoDELS.

[4]  David Harel,et al.  Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .

[5]  Juliana Küster Filipe Bowles.  Modelling Concurrent Interactions , 2004, AMAST.

[6]  Juliana Küster Filipe Bowles,et al.  Automated composition of sequence diagrams via alloy , 2014, 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

[7]  João Araújo,et al.  Aspect-Oriented Compositions for Dynamic Behavior Models , 2013, Aspect-Oriented Requirements Engineering.

[8]  Roy Grønmo,et al.  Semantics-Based Weaving of UML Sequence Diagrams , 2008, ICMT@TOOLS.

[9]  Roy Grønmo,et al.  Confluence of aspects for sequence diagrams , 2011, Software & Systems Modeling.

[10]  Marsha Chechik,et al.  Declarative approach for model composition , 2008, MiSE '08.

[11]  Jon Whittle,et al.  Composing aspect models with graph transformations , 2006, EA '06.

[12]  Michel Wermelinger,et al.  A Mathematical Semantics for Architectural Connectors , 2003, Generic Programming.

[13]  Zoltán Micskei,et al.  The many meanings of UML 2 Sequence Diagrams: a survey , 2011, Software & Systems Modeling.

[14]  Juliana Küster Filipe Bowles,et al.  A Formal Model for Integrating Multiple Views , 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).

[15]  David Garlan,et al.  Formalizing Architectural Connection , 1994, ICSE.

[16]  Jacques Klein,et al.  Semantic-based weaving of scenarios , 2006, AOSD.

[17]  Xianming Liu,et al.  An Approach for Model Composition and Verification , 2009, 2009 Fifth International Joint Conference on INC, IMS and IDC.

[18]  João Araújo,et al.  Modeling and composing scenario-based requirements with aspects , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[19]  Mogens Nielsen,et al.  Models for Concurrency , 1992 .

[20]  Mehrdad Sabetzadeh,et al.  A relationship-based approach to model integration , 2011, Innovations in Systems and Software Engineering.

[21]  David Harel,et al.  Come, Let’s Play , 2003, Springer Berlin Heidelberg.