KIT | KIT-Bibliothek | Impressum

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 possi ... mehr

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Forschungsbericht
Jahr 2016
Sprache Englisch
Identifikator DOI(KIT): 10.5445/IR/1000052702
ISSN: 2190-4782
URN: urn:nbn:de:swb:90-527025
KITopen ID: 1000052702
Verlag Karlsruhe
Umfang 22 S.
Serie Karlsruhe Reports in Informatics ; 2016,3
Projektinformation KASTEL_IoE (BMBF, 16KIS0346)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page