Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Ehrig, Hartmut; Ehrig, Karsten; Taentzer, Gabriele; de Lara, Juan; Varró, Dániel; Varró-Gyapai, Szilvia License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-4280

; ; ; ; ;

Termination Criteria for Model Transformation



Nowadays the usage of model transformations in software engineering has become widespread. Considering current trends in software development such as model driven development (MDD), there is an emerging need to develop model manipulations such as model evolution and optimisation, semantics definition, etc. If a model transformation is described in a precise way, it can be analysed lateron. Models, especially visual models, can be described best by graphs, due to their multi-dimensional extension. Graphs can be manipulated by graph transformation in a rule-based manner. Thus, we specify model transformation by graph transformation. This approach offers visual and formal techniques in such a way that model transformations can be subjects to analysis. Various results on graph transformation can be used to prove important properties of model transformations such as its functional behaviour, a basic property for computations. Moreover, certain kinds of syntactical and semantical consistency properties can be shown on this formal basis.

BibTeX - Entry

  author =	{Hartmut Ehrig and Karsten Ehrig and Gabriele Taentzer and Juan de Lara and D{\'a}niel Varr{\'o} and Szilvia Varr{\'o}-Gyapai},
  title =	{Termination Criteria for Model Transformation},
  booktitle =	{Transformation Techniques in Software Engineering},
  year =	{2006},
  editor =	{James R. Cordy and Ralf L{\"a}mmel and Andreas Winter},
  number =	{05161},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: Model transformation, graph transformation, consistency}

Keywords: Model transformation, graph transformation, consistency
Seminar: 05161 - Transformation Techniques in Software Engineering
Issue date: 2006
Date of publication: 07.03.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI