direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars
Zitatschlüssel HEGO10
Autor Hermann, Frank and Ehrig, Hartmut and Golas, Ulrike and Orejas , Fernando
Buchtitel Proc. Int. Workshop on Model Driven Interoperability (MDI'10)
Seiten 22–31
Jahr 2010
ISBN 978-1-4503-0292-0
DOI http://doi.acm.org/10.1145/1866272.1866277
Ort Oslo, Norway
Adresse New York, NY, USA
Herausgeber Bézivin, J. and Soley, R.M. and Vallecillo, A.
Verlag ACM
Serie MDI '10
Zusammenfassung Triple Graph Grammars are a well-established, formal and intuitive concept for the specification and analysis of bidirectional model transformations. In previous work we have formalized and analyzed already termination, correctness, completeness, local confluence and functional behaviour. In this paper, we show how to improve the efficiency of the execution and analysis of model transformations in practical applications by using triple rules with negative application conditions (NACs). In addition to specification NACs, which improve the specification of model transformations, the generation of filter NACs improves the efficiency of the execution and the analysis of functional behaviour supported by critical pair analysis of the tool AGG. We illustrate the results for the well-known model transformation from class diagrams to relational database models.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe