Bidirectionally Tolerating Inconsistency: Partial Transformations

Perdita Stevens

doi:10.1007/978-3-642-54804-8_3

Bidirectionally Tolerating Inconsistency: Partial Transformations

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 circumstances and discuss relationships and implications.

Original language	English
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
Publisher	Springer
Pages	32-46
Number of pages	15
ISBN (Electronic)	978-3-642-54804-8
ISBN (Print)	978-3-642-54803-1
DOIs	https://doi.org/10.1007/978-3-642-54804-8_3
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 https://etaps.org/2014/fase

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer, Berlin, Heidelberg
Volume	8411
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	17th International Conference on Fundamental Approaches to Software Engineering
Abbreviated title	FASE 2014
Country/Territory	France
City	Grenoble
Period	5/04/14 → 13/04/14
Internet address	https://etaps.org/2014/fase

Access to Document

10.1007/978-3-642-54804-8_3Licence: All Rights Reserved

fase14Accepted author manuscript, 184 KB

https://link.springer.com/chapter/10.1007%2F978-3-642-54804-8_3Licence: All Rights Reserved

A Theory of Least Change for Bidirectional Transformations
Stevens, P., Cheney, J. & Mckinna, J.
EPSRC
15/03/13 → 1/12/16
Project: Research

Perdita Stevens
- perditainf.ed.acuk
- School of Informatics - Personal Chair in Mathematics of Software Engineering
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active

Cite this

Stevens, P. (2014). Bidirectionally Tolerating Inconsistency: Partial Transformations. In Fundamental Approaches to Software Engineering: 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 (pp. 32-46). (Lecture Notes in Computer Science; Vol. 8411). Springer. https://doi.org/10.1007/978-3-642-54804-8_3

Stevens, Perdita. / Bidirectionally Tolerating Inconsistency: Partial Transformations. Fundamental Approaches to Software Engineering: 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. Springer, 2014. pp. 32-46 (Lecture Notes in Computer Science).

@inproceedings{71de058ec1164647885218d32c6b417f,

title = "Bidirectionally Tolerating Inconsistency: Partial Transformations",

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 circumstances and discuss relationships and implications.",

author = "Perdita Stevens",

year = "2014",

month = apr,

day = "5",

doi = "10.1007/978-3-642-54804-8_3",

language = "English",

isbn = "978-3-642-54803-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "32--46",

booktitle = "Fundamental Approaches to Software Engineering",

note = "17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 ; Conference date: 05-04-2014 Through 13-04-2014",

url = "https://etaps.org/2014/fase",

}

Stevens, P 2014, Bidirectionally Tolerating Inconsistency: Partial Transformations. in Fundamental Approaches to Software Engineering: 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. Lecture Notes in Computer Science, vol. 8411, Springer, pp. 32-46, 17th International Conference on Fundamental Approaches to Software Engineering, Grenoble, France, 5/04/14. https://doi.org/10.1007/978-3-642-54804-8_3

Bidirectionally Tolerating Inconsistency: Partial Transformations. / Stevens, Perdita.

Fundamental Approaches to Software Engineering: 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. Springer, 2014. p. 32-46 (Lecture Notes in Computer Science; Vol. 8411).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Bidirectionally Tolerating Inconsistency: Partial Transformations

AU - Stevens, Perdita

PY - 2014/4/5

Y1 - 2014/4/5

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-54804-8_3

DO - 10.1007/978-3-642-54804-8_3

M3 - Conference contribution

SN - 978-3-642-54803-1

T3 - Lecture Notes in Computer Science

SP - 32

EP - 46

BT - Fundamental Approaches to Software Engineering

PB - Springer

T2 - 17th International Conference on Fundamental Approaches to Software Engineering

Y2 - 5 April 2014 through 13 April 2014

ER -

Stevens P. Bidirectionally Tolerating Inconsistency: Partial Transformations. In Fundamental Approaches to Software Engineering: 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. Springer. 2014. p. 32-46. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-54804-8_3

Bidirectionally Tolerating Inconsistency: Partial Transformations

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

A Theory of Least Change for Bidirectional Transformations

Profiles

Perdita Stevens

Cite this