Over the years, a number of approaches have been proposed on the description of systems
and software in terms of multiple views represented by models. This modelling branch, so …

A bidirectional transformation (BX) keeps a pair of interrelated models synchronized.
Symmetric BXs are those for which neither model in the pair fully determines the other. We …

Graphs are important structures in mathematics, computer science and several other
research and application areas. The concepts of graph transformation and graph grammars …

Consistency management, the ability to detect, diagnose and handle inconsistencies, is
crucial during the development process in Model-driven Engineering (MDE). As the …

The model-driven development of systems involves multiple models, metamodels and
transformations, and relationships between them. A bidirectional transformation (bx) is …

Abstract Model transformation design patterns have been proposed by a number of
researchers, but their usage appears to be sporadic and sometimes patterns are applied …

The model-driven development of systems involves multiple models, metamodels and
transformations, and relationships between them. A bidirectional transformation (bx) is …

Triple graph grammars (TGGs) have been used successfully to analyse correctness of
bidirectional model transformations. Recently, also a corresponding formal approach to …

As a contribution to the adoption of the Model-Driven Engineering (MDE) paradigm, the
research community has proposed concrete model transformation solutions for the MDE …

Abstract Triple Graph Grammars (TGGs) are a rule-based technique with a formal
background for specifying bidirectional and incremental model transformation. In practical …