KIT | KIT-Bibliothek | Impressum | Datenschutz

Proofs for the Automated Inversion of Attribute Mappings in Bidirectional Model Transformations

Kramer, Max E.; Rakhman, Kirill

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 technical report, we present proofs for an approach that inverts attribute transformation expressions that can be written in a simple Java-like syntax by extending the original paper [KR16]. 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. ... mehr

Volltext §
DOI: 10.5445/IR/1000052702
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2016
Sprache Englisch
Identifikator ISSN: 2190-4782
KITopen-ID: 1000052702
Verlag Karlsruher Institut für Technologie (KIT)
Umfang 22 S.
Serie Karlsruhe Reports in Informatics ; 2016,3
Projektinformation KASTEL_IoE (BMBF, EU 6. RP, 16KIS0346)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page