On the Use of Graph Transformation in the Formal Specification of Model Interpreters

Model-based development necessitates the transformation of models be- tween different stages and tools of the design process. These transformations must be precisely, preferably formally, specified, such that end-to-end semantic interoperability is maintained. The paper introduces a graph-transformation-based technique for spec- ifying these model transformations, gives a formal definition for the semantics of the transformation language, describes an implementation of the language, and illustrates its use through an example.

[1]  Tom Mens,et al.  On the Use of Graph Transformations for Model Refactoring , 2005, GTTSE.

[2]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[3]  Herbert Göttler Diagram Editors = Graphs + Attributes + Graph Grammars , 1992, Int. J. Man Mach. Stud..

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

[5]  Dragan Milicev,et al.  Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments , 2002, IEEE Trans. Software Eng..

[6]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[7]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[8]  Simon M. Kaplan,et al.  Visual concurrent programming with Δ-grammars , 1992, J. Vis. Lang. Comput..

[9]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[10]  Reiko Heckel,et al.  Towards automatic translation of UML models into semantic domains , 2002 .

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

[12]  Jean-Marc Jézéquel,et al.  UMLAUT: an extendible UML transformation framework , 1999, 14th IEEE International Conference on Automated Software Engineering.

[13]  Gabor Karsai Tool Support for Design Patterns , 2001 .

[14]  Gabor Karsai,et al.  An end-to-end domain-driven software development framework , 2003, OOPSLA '03.

[15]  Andrea Maggiolo-Schettini,et al.  Semantics of Full Statecharts Based on Graph Rewriting , 1993, Dagstuhl Seminar on Graph Transformations in Computer Science.

[16]  Roger Duke,et al.  Object-Z: a specification language advocated for the description of standards , 1995 .

[17]  Gabor Karsai,et al.  Model-Integrated Computing , 1997, Computer.

[18]  Andrea Maggiolo-Schettini,et al.  A Graph Rewriting Framework for Statecharts Semantics , 1994, TAGT.

[19]  Gabor Karsai,et al.  Towards Specification of Program Synthesis in Model-Integrated Computing , 2000 .

[20]  Herbert Göttler,et al.  Attributed graph grammars for graphics , 1982, Graph-Grammars and Their Application to Computer Science.

[21]  Andy Evans,et al.  The Metamodelling Language Calculus: Foundation Semantics for UML , 2001, FASE.

[22]  Andreas Ludwig,et al.  Aspect Weaving with Graph Rewriting , 1999, GCSE.

[23]  Andy Evans,et al.  Engineering Modelling Languages: A Precise Meta-Modelling Approach , 2002, FASE.

[24]  Gabor Karsai,et al.  Generative Programming via Graph Transformations in the Model-Driven Architecture , 2002 .

[25]  Uwe Aßmann,et al.  How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems , 1996, CC.

[26]  Gabor Karsai,et al.  Composing Domain-Specific Design Environments , 2001, Computer.

[27]  Andy Schürr,et al.  Computing with Graphs and Graph Transformations , 1999, Softw. Pract. Exp..

[28]  Gabor Karsai,et al.  Towards Two-Level Formal Modeling of Computer-Based Systems , 2000, J. Univers. Comput. Sci..

[29]  Richard Lemesle,et al.  Transformation rules based on meta-modeling , 1998, Proceedings Second International Enterprise Distributed Object Computing (Cat. No.98EX244).

[30]  Raul Camposano Ansgar Bredenfeld Tool Integration and Construction Using Generated Graph-Based Design Representations , 1995, 32nd Design Automation Conference.

[31]  Ansgar Radermacher,et al.  Support for Design Patterns Through Graph Transformation Tools , 1999, AGTIVE.

[32]  Kenneth L. McMillan,et al.  Symbolic model checking: an approach to the state explosion problem , 1992 .

[33]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[34]  Charles Simonyi Intentional Programming: Asymptotic Fun? , 2002 .

[35]  Gabriele Taentzer AGG: A Tool Environment for Algebraic Graph Transformation , 1999, AGTIVE.

[36]  David H. Akehurst,et al.  Model translation : a UML-based specification technique and active implementation approach , 2000 .