Research Topic

Incremental Model Synchronization with Precedence-Driven Triple Graph Grammars

Integration between a high-bay warehouse location-oriented view and a hardware configuration of a PLC.

Today's engineering processes rely heavily on interdisciplinary and concurrent activities. For example mechatronic engineering is set up from:

  • information technology
  • mechanical engineering
  • electrical engineering

Each domain uses its own domain-specific modeling tool, each representing its own domain-specific language. The goal is to support for concurrent interdisciplinary engineering processes in the exemplary field of automation engineering with:

  • model consistency checking
  • incremental change propagation
  • traceability link management
  • semantic model diff  and merge

Approach and Theory

MOFLON is a meta CASE tool that provides support for engineering software as well as engineering integrations between different data.

Integration can be achieved with MOFLON. With this meta-CASE tool we can

  • model any modeling language
  • model any data format
  • generate specific adapter

Any tool integration adapter owns a JMI-standard compliant interface, which is used for generic interchange. MOFLON generates modeling tool adapters and integration glue code for the Tool integration Environment (TiE). Triple Graph Grammars (TGGs) in MOFLON provide a fully graphical way to express relationships between two different models and their elements. These grammars describe in specific rules, how to build model instances and how to maintain traceability. A special derivation procedure4 retrieves different methods for manipulating and checking models that enable us to synchronize and check for consistency.

Ongoing Research Activities

Abstract schema of an integration between two models (left and right hand side). The center represents a so-called correspondence model that maintains traceability between data.

Ongoing research activities are related to different subtopics.

  • The definition of consistency and completeness properties of TGGs will help us to provide a formal foundation for further tasks as well as the formal proof of TGG properties with category theory
  • Enhancing expressiveness of TGGs for industrial applicability
  • Development of new TGG rule application strategies
  • Development of new tool integration framework
  • Evaluation of proof-of-concept ToolNet implementation for automotive system  development purposes (cooperation with DaimlerChrysler, ended in 2007)
  • Application of TiE for automation engineering (cooperation with Siemens AG, since 2008)

Key Research Area

Multi-Scale; Model Order Reduction; Model-Driven Software Engineering;


Dipl.-Inform. Marius Lauder


Dolivostr. 15

D-64293 Darmstadt



+49 6151 16 - 24401 or 24402


+49 6151 16 - 24404




lauder (at) gsc.tu...

 Print |  Impressum |  Sitemap |  Search |  Contact |  Privacy Policy
zum Seitenanfangzum Seitenanfang