From Sequence Diagrams to State Machines by Graph Transformation

Algebraic graph transformation has been promoted by several authors as a means to specify model transformations. This paper explores how we can specify graph transformation-based rules for a classical problem of transforming from sequence diagrams to state machines. The transformation rules are based on the concrete syntax of sequence diagrams and state machines. We introduce tailored transformation support for sequence diagrams and a novel graphical operator to match and transform combined fragments.

[1]  Hartmut Ehrig,et al.  Conflict Detection for Graph Transformation with Negative Application Conditions , 2006, ICGT.

[2]  Arend Rensink.  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

[3]  Amir Pnueli,et al.  Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements , 2005, Formal Methods in Software and Systems Modeling.

[4]  Jacques Klein,et al.  Weaving Multiple Aspects in Sequence Diagrams , 2007, LNCS Trans. Aspect Oriented Softw. Dev..

[5]  Reiko Heckel,et al.  Confluence of Typed Attributed Graph Transformation Systems , 2002, ICGT.

[6]  Roy Grønmo,et al.  A Collection Operator for Graph Transformation , 2009, ICMT@TOOLS.

[7]  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.

[8]  Gabriele Taentzer,et al.  AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.

[9]  Perdita Stevens.  A Simple Game-Theoretic Approach to Checkonly QVT Relations , 2009, ICMT@TOOLS.

[10]  Roy Grønmo.  Using Concrete Syntax in Graph-based Model Transformations , 2010 .

[11]  Manfred Broy,et al.  From MSCs to Statecharts , 1998, DIPES.

[12]  Ketil Stølen,et al.  The Pragmatics of STAIRS , 2005, FMCO.

[13]  Jean-Marc Jézéquel,et al.  Revisiting statechart synthesis with an algebraic approach , 2004, Proceedings. 26th International Conference on Software Engineering.

[14]  Roy Grønmo,et al.  Aspect Diagrams for UML Activity Models , 2007, AGTIVE.

[15]  Roy Grønmo,et al.  From UML 2 Sequence Diagrams to State Machines by Graph Transformation , 2011, J. Object Technol..

[16]  Hans-Jörg Kreowski,et al.  Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday , 2005, Formal Methods in Software and Systems Modeling.

[17]  Øystein Haugen,et al.  Refining UML Interactions with Underspecification and Nondeterminism , 2005, Nord. J. Comput..

[18]  Birger Møller-Pedersen,et al.  JavaFrame: Framework for Java Enabled Modelling , 2000 .

[19]  João Araújo,et al.  MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation , 2009, LNCS Trans. Aspect Oriented Softw. Dev..

[20]  Jean-Marc Jézéquel,et al.  Transactions on Aspect-Oriented Software Development VII , 2009 .

[21]  Johann Schumann,et al.  Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[22]  Mass Soldal Lund,et al.  Operational analysis of sequence diagram specifications , 2007 .

[23]  Bjørn Brændshøi.  Consistency Checking UML Interactions and State Machines , 2008 .

[24]  Roy Grønmo,et al.  A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol , 2008, ECMDA-FA.