2014
DOI: 10.1007/978-3-642-54804-8_3
View full text
|
|
Share

Abstract: Abstract. A foundational property of bidirectional transformations is that they should be correct: that is, the transformation should succeed in restoring consistency between any models it is given. In practice, however, transformation engines sometimes fail to restore consistency, e.g. because there is no consistent model to return, or because the tool is unable to select a best model to return from among equally good candidates. In this paper, we formalise properties that may nevertheless hold in such circu…

Expand abstract

Search citation statements

Order By: Relevance

Citation Types

0
13
0

Paper Sections

0
0
0
0
0

Publication Types

0
0
0
0

Relationship

0
0

Authors

Journals