Extended Model Relations with Graphical Consistency Conditions - Hendrik Hausmann, Jan; Heckel, Reiko; Sauer, Stefan (Proceeding of the Workshop on Consistency Problems in UML-based Software Development (satellite event of the UML 2002), Dresden (Germany), 2002)
Consistency of models and model transformations are strongly interrelated topics. It is thus desirable to have a single notation to express model properties concerning both aspects. When using meta modeling techniques, graph transformations are a natural candidate to express model transformations. This paper explores the use of graph transformations for denoting consistency conditions between models. This technique yields benefits for different types of interrelation between transformation and consistency. A special focus is put on the generation of automatic consistency-establishing transformations.
Keywords: conference paper