Visual decomposition of UML 2.0 interactions

Interaction Fragment model (IF) is a specific notion added in Unified Modeling Language (UML) 2.0 superstructures. Using the graphical notation, it can be used to represent the behavioral aspect of a system in a given scenario. Transforming such models, at early stages, requires the identification of elementary elements and their chronology. In this paper, we propose a visual and intuitive solution to identify and isolate each of which of graphical components while preserving the initial control flow. To that end, we suggest a reusable graph grammar to establish and update the control flow leading to a decomposed interaction. Our proposal can be used as first step to each transformation process whose having an UML 2.0 interaction as a source model.

[1]  Reiko Heckel,et al.  Graph Transformation in a Nutshell , 2006, FoVMT.

[2]  MicskeiZoltán,et al.  The many meanings of UML 2 Sequence Diagrams , 2011 .

[3]  Manfred Nagl,et al.  Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers , 2008, Applications of Graph Transformations with Industrial Relevance.

[4]  Alexander Knapp,et al.  Model checking of UML 2.0 interactions , 2006, MoDELS'06.

[5]  Mark Lutz,et al.  Programming Python , 1996 .

[6]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[7]  A. Amirat,et al.  Automatic generation of PROMELA code from sequence diagram with imbricate combined fragments , 2012, Second International Conference on the Innovative Computing Technology (INTECH 2012).

[8]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[9]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[10]  Youcef Hammal.  Branching Time Semantics for UML 2.0 Sequence Diagrams , 2006, FORTE.

[11]  Gabor Karsai,et al.  A domain-specific visual language for domain model evolution , 2004, J. Vis. Lang. Comput..

[12]  Jochen Klose,et al.  An Automata Based Interpretation of Live Sequence Charts , 2001, TACAS.

[13]  Christel Baier,et al.  Principles of model checking , 2008 .

[14]  Annegret Habel,et al.  Graph Transformation for Specification and Programming , 1999, Sci. Comput. Program..

[15]  Juan de Lara,et al.  AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.

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

[17]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[18]  Sangeeta Sabharwal,et al.  The Classification Framework for Model Transformation , 2006 .

[19]  Abdelkrim Amirat,et al.  From UML 2.0 Sequence Diagrams to PROMELA code by Graph Transformation using AToM3 , 2011, CIIA.

[20]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[21]  Øystein Haugen,et al.  Comparing UML 2.0 Interactions and MSC-2000 , 2004, SAM.

[22]  Juan de Lara,et al.  Computer automated multi-paradigm modelling for analysis and design of traffic networks , 2004, Proceedings of the 2004 Winter Simulation Conference, 2004..

[23]  Manfred Nagl,et al.  Applications of Graph Transformations with Industrial Relevance , 2004, Lecture Notes in Computer Science.

[24]  Bernd Westphal,et al.  Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification , 2004, SoftSpez Final Report.

[25]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[26]  Sai Peck Lee,et al.  Consistent integration between object oriented and coloured petri nets models , 2014, Int. Arab J. Inf. Technol..