Conference
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case
Abstract
A bidirectional transformation (BX) keeps a pair of interrelated models synchronized. Symmetric BXs are those for which neither model in the pair fully determines the other. We build two algebraic frameworks for symmetric BXs, with one correctly implementing the other, and both being delta-based generalizations of known state-based frameworks. We identify two new algebraic laws-weak undoability and weak invertibility, which capture important …
Authors
Diskin Z; Xiong Y; Czarnecki K; Ehrig H; Hermann F; Orejas F
Series
Lecture Notes in Computer Science
Volume
6981
Pagination
pp. 304-318
Publisher
Springer Nature
Publication Date
2011
DOI
10.1007/978-3-642-24485-8_22
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743