Analysis of UML Activities Using Dynamic Meta Modeling

Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly understandable yet precise semantic models which in particular allow for a formal analysis. In this paper, we exemplify this by showing how DMM can be used to give a semantics to and define an associated analysis technique for UML Activities.

[1]  Harald Störrle,et al.  Semantics of Control-Flow in UML 2.0 Activities , 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.

[2]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[3]  Garry D. Coleman,et al.  Advancing the Standard , 1999 .

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

[5]  Gianfranco Balbo,et al.  Application and Theory of Petri Nets 1997 , 1997 .

[6]  Arend Rensink,et al.  Model Checking Dynamic States in GROOVE , 2006, SPIN.

[7]  Hartmut Ehrig,et al.  The Category of Typed Graph Grammars and its Adjunctions with Categories , 1994, TAGT.

[8]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[9]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[10]  Arend Rensink.  The GROOVE Simulator: A Tool for State Space Generation , 2003, AGTIVE.

[11]  Rik Eshuis,et al.  Symbolic model checking of UML activity diagrams , 2006, TSEM.

[12]  Elvinia Riccobene,et al.  An ASM Semantics for UML Activity Diagrams , 2000, AMAST.

[13]  Reiko Heckel,et al.  Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML , 2000, UML.

[14]  Eugene Miya,et al.  On "Software engineering" , 1985, SOEN.

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

[16]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools , 1999 .

[17]  Harald Störrle,et al.  Semantics and Verification of Data Flow in UML 2.0 Activities , 2005, VLFM.

[18]  Andreas Podelski,et al.  ACSAR: Software Model Checking with Transfinite Refinement , 2007, SPIN.

[19]  Manfred Nagl,et al.  Graph-Grammars and Their Application to Computer Science , 1986, Lecture Notes in Computer Science.

[20]  Jan Hendrik Hausmann,et al.  Dynamic META modeling: a semantics description technique for visual modeling languages , 2005 .

[21]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[22]  Hartmut Ehrig,et al.  Applications, languages and tools , 1999 .

[23]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[24]  Ekkart Kindler,et al.  Liveness, Fairness, and Recurrence in Petri Nets , 1999, Inf. Process. Lett..

[25]  Hartmut Ehrig,et al.  Graph Grammars and Their Application to Computer Science , 1991, Lecture Notes in Computer Science.

[26]  Harald Störrle,et al.  Towards a Formal Semantics of UML 2.0 Activities , 2005, Software Engineering.