Projects per year
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 circumstances and discuss relationships and implications.
|Title of host publication||Fundamental Approaches to Software Engineering|
|Subtitle of host publication||17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings|
|Number of pages||15|
|Publication status||Published - 5 Apr 2014|
|Event||17th International Conference on Fundamental Approaches to Software Engineering - Grenoble, France|
Duration: 5 Apr 2014 → 13 Apr 2014
|Name||Lecture Notes in Computer Science|
|Publisher||Springer, Berlin, Heidelberg|
|Conference||17th International Conference on Fundamental Approaches to Software Engineering|
|Abbreviated title||FASE 2014|
|Period||5/04/14 → 13/04/14|
FingerprintDive into the research topics of 'Bidirectionally Tolerating Inconsistency: Partial Transformations'. Together they form a unique fingerprint.
- 1 Finished
A Theory of Least Change for Bidirectional Transformations
Stevens, P., Cheney, J. & Mckinna, J.
15/03/13 → 1/12/16
- School of Informatics - Personal Chair in Mathematics of Software Engineering
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active