Bidirectionally Tolerating Inconsistency: Partial Transformations

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationFundamental Approaches to Software Engineering
Subtitle of host publication17th 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 pages15
ISBN (Electronic)978-3-642-54804-8
ISBN (Print)978-3-642-54803-1
Publication statusPublished - 5 Apr 2014
Event17th International Conference on Fundamental Approaches to Software Engineering - Grenoble, France
Duration: 5 Apr 201413 Apr 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Berlin, Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference17th International Conference on Fundamental Approaches to Software Engineering
Abbreviated titleFASE 2014
Internet address


Dive into the research topics of 'Bidirectionally Tolerating Inconsistency: Partial Transformations'. Together they form a unique fingerprint.

Cite this