Informatics, TU Vienna

Triple Graph Grammars: A Precisely Defined Approach for Bidirectional Model Transformations

Triple Graph Grammars (TGGs) are a bidirectional model transformation formalism, where a single specification generates a language of related graph tuples (pairs of models) together with an intermediate correspondence graph (traceability link database).

Die Business Informatics Group lädt gemeinsam mit der Fakultät für Informatik der TU Wien und der Österreichischen Computer Gesellschaft ein zum Tutorial.

Abstract

Triple Graph Grammars (TGGs) are a bidirectional model transformation formalism, where a single specification generates a language of related graph tuples (pairs of models) together with an intermediate correspondence graph (traceability link database). A single TGG specification is used as input for a compiler that generates corresponding consistency checking, traceability link creating, and forward/backward model transformation implementations.

The TGG tutorial reviews the history of TGGs and sketches their formal definition relying on the theory of the algebraic/category-theoretic branch of graph grammars. Finally, the meta-modeling tool MOFLON will be presented. MOFLON's implementation of TGGs adopts the visual notation of QVT Relational, the OMG standard bidirectional model transformation language.

Biography

Andy Schürr received his Master degree in Computer Science in 1986 from the University of Technology Munich and his Ph.D. degree in Computer Science in 1991 from the University of Technology Aachen (RWTH Aachen). From 1996 to 2002 he was Associate Professor at the Institute of Software Technology of the German Armed Forces University, Munich. Since July 2002, he holds the Real-Time System chair of the Electrical Engineering and Information Technology Department of the Technische Universität Darmstadt.

Andy Schürr's main research interests are model-driven development of embedded real-time systems with a special emphasis on graph-based model transformation techniques, object-oriented and visual modeling languages, meta CASE tools, and CASE tool integration techniques.

His research group develops the meta modeling tool MOFLON that combines the OMG standards MOF, OCL, and a QVT-like model translation approach with graph transformation technology. Finally, Andy Schürr is a member of the Steering Committees of the ECMDA, ICGT, MODELS, and VL/HCC conference series as well as the PC Chair of MODELS 2009.

Kontaktperson an der TU Wien

Gerlinde Notter, B.A., notter@big.tuwien.ac.at, Tel. 58801-18804

Anmeldung

Wir bitten um Anmeldung unter www.big.tuwien.ac.at/events.html

Hinweis

Vortrag in deutscher Sprache. Teilnahme kostenlos.