Abstract
Bidirectional model transformations (bx) are mechanisms for automatically
restoring consistency between multiple concurrently modified models.
They are, however, challenging to implement; many model transformation languages
not supporting them at all. In this paper, we propose an approach for
automatically obtaining the consistency guarantees of bx without the complexities
of a bx language. First, we show how to “fake” true bidirectionality using
pairs of unidirectional transformations and inter-model consistency constraints in
Epsilon. Then, we propose to automatically verify that these transformations are
consistency preserving—thus indistinguishable from true bx—by defining translations
to graph rewrite rules and nested conditions, and leveraging recent proof
calculi for graph transformation verification.
restoring consistency between multiple concurrently modified models.
They are, however, challenging to implement; many model transformation languages
not supporting them at all. In this paper, we propose an approach for
automatically obtaining the consistency guarantees of bx without the complexities
of a bx language. First, we show how to “fake” true bidirectionality using
pairs of unidirectional transformations and inter-model consistency constraints in
Epsilon. Then, we propose to automatically verify that these transformations are
consistency preserving—thus indistinguishable from true bx—by defining translations
to graph rewrite rules and nested conditions, and leveraging recent proof
calculi for graph transformation verification.
Original language | English |
---|---|
Title of host publication | AMT 2014 - Analysis of Model Transformations Workshop Proceedings |
Editors | Juergen Dingel, Juan de Lara, Levi Lucio, Hans Vangheluwe |
Publisher | CEUR Workshop Proceedings |
Pages | 70-75 |
Volume | 1277 |
Publication status | Published - 2014 |
Event | ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems - Valencia, Spain Duration: 28 Sept 2014 → 3 Oct 2014 |
Publication series
Name | CEUR Workshop Proceedings |
---|---|
ISSN (Print) | 1613-0073 |
Conference
Conference | ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems |
---|---|
Country/Territory | Spain |
City | Valencia |
Period | 28/09/14 → 3/10/14 |