Reference : A typed attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Clas...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/5591
A typed attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams
English
Hermann, Frank mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Ehrig, Hartmut [> >]
Taentzer, Gabriele [> >]
2008
Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06)
Varro, Daniel
Bruni, Roberto
Elsevier Science
Vol. 211 of Electronic Notes in Theoretical Computer Science (ENTCS)
261--269
Yes
ISSN:1571-0661
International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06)
03-2006
Vienna, Austria
[en] graph transformation ; typed ; attributed ; inheritance ; UML ; sequence diagrams ; class diagrams ; abstract syntax
[en] According to the UML Standard 2.0 class and sequence diagrams are defined in a descriptive way by a MOF meta-model and semi-formal constraints. This paper presents a formal and constructive definition of the abstract syntax of UML class and sequence diagrams based on the well-defined theory of typed attributed graph transformation with inheritance and application conditions. The generated language covers all important features of these parts of UML diagrams and is shown to satisfy all of the corresponding constraints by construction. An explicit model transformation demonstrates the close correspondence between the graph grammar and the MOF definition of UML class and sequence diagrams. The graph grammar is validated by well-established benchmarks showing that all important features of the MOF definition of UML are covered. This formal constructive syntax definition of UML class and sequence diagrams is the basis for syntax directed editing, formal analysis, formal operational and denotational semantics and correctness of model transformations.
http://hdl.handle.net/10993/5591

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.