KIT | KIT-Bibliothek | Impressum | Datenschutz

Automated Inversion of Attribute Mappings in Bidirectional Model Transformations

Kramer, Max E. 1; Rakhman, Kirill
1 Karlsruher Institut für Technologie (KIT)

Abstract (englisch):

Bidirectional model transformations create or update a target model according to a base model and vice versa using a single transformation specification for both directions. Triple graph grammars, for example, define which model elements shall exist and how they should reference each other without repeating information for both directions. They can also copy values of simple-typed attributes, such as enumerations, strings, or numbers. But currently only the identity operator can be easily specified in bidirectional transformation languages: Other attribute mappings either have to be specified for both directions or with a special constraint language. In this paper, we present an approach that inverts attribute transformation expressions that can be written in a simple Java-like syntax. We also present an initial library of 30 operator-specific inverters that result in well-behaved view-update round-trips (GetPut) for all changes. For changes for which well-behaved update-view round-trips (PutGet) are impossible, we chose inversions that sustain as much information as possible. We realized our inversion approach for a prototypical transformation
... mehr


Volltext §
DOI: 10.5445/IR/1000071484
Scopus
Zitationen: 1
Cover der Publikation
Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2016
Sprache Englisch
Identifikator ISSN: 1613-0073
urn:nbn:de:swb:90-714842
KITopen-ID: 1000071484
Erschienen in 5th International Workshop on Bidirectional Transformations, Bx 2016, Eindhoven, Netherlands, 8 April 2016. Hrsg.: Anthony Anjorin
Verlag RWTH Aachen
Seiten 61–76
Serie CEUR Workshop Proceedings ; 1571
Projektinformation KASTEL_IoE (BMBF, 16KIS0346)
Bemerkung zur Veröffentlichung 1 Online-Ressource
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page