From UML Models to Graph Transformation Systems

In this paper we present an approach that allows to validate properties of UML models. The approach is based on an integrated semantics for central parts of the UML. We formally cover UML use case, class, object, statechart, collaboration, and sequence diagrams. Additionally full OCL is supported in the common UML fashion. Our semantics is based on the translation of a UML model into a graph transformation system consisting of graph transformation rules and a working graph that represents the system state. By applying the rules on the working graph, the evolution of the modeled system is simulated.

[1]  Stuart Kent.  The unified modeling language , 2001, FME 2001.

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

[3]  Martin Gogolla,et al.  An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation , 2002, IFM.

[4]  M. J. Plasmeijer,et al.  Term graph rewriting: theory and practice , 1993 .

[5]  Mark Richters,et al.  A precise approach to validating UML models and OCL constraints , 2002 .

[6]  Hartmut Ehrig,et al.  Consistency analysis of UML class and se-quence diagrams using attributed graph grammars , 2000 .

[7]  Martin Gogolla,et al.  Towards an Integrated Graph Based Semantics for UML , 2003, Electron. Notes Theor. Comput. Sci..

[8]  Shane Sendall,et al.  From Use Cases to System Operation Specifications , 2000, UML.

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

[10]  Reiko Heckel,et al.  Consistency-Preserving Model Evolution through Transformations , 2002, UML.

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

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

[13]  Dániel Varró,et al.  A Formal Semantics of UML Statecharts by Model Transition Systems , 2002, ICGT.

[14]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

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

[16]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[17]  Hans-Jörg Kreowski,et al.  UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams , 2003, AGTIVE.

[18]  Jean-Marc Jézéquel,et al.  ≪UML≫ 2002 — The Unified Modeling Language , 2002, Lecture Notes in Computer Science.

[19]  Michael Löwe,et al.  An algebraic framework for the transformation of attributed graphs , 1993 .

[20]  Reiko Heckel,et al.  Strengthening UML Collaboration Diagrams by State Transformations , 2001, FASE.

[21]  Hartmut Ehrig,et al.  Concurrency, parallelism, and distribution , 1999 .