2026-07-21T19:24:02Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:428 2024-03-06T11:06:20Z ddc:004 open_access

Termination Criteria for Model Transformation Ehrig, Hartmut Ehrig, Karsten Taentzer, Gabriele de Lara, Juan Varró, Dániel Varró-Gyapai, Szilvia Model transformation graph transformation consistency 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hartmut Ehrig and Karsten Ehrig and Gabriele Taentzer and Juan de Lara and Dániel Varró and Szilvia Varró-Gyapai 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.05161.9 urn:nbn:de:0030-drops-4280 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.9 eng https://creativecommons.org/licenses/by/4.0/legalcode