TY - GEN
T1 - Universal updates for symmetric lenses
AU - Johnson, Michael
AU - Rosebrugh, Robert
N1 - Copyright by the paper's authors. Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.
PY - 2017
Y1 - 2017
N2 - Asymmetric c-lenses are the special cases of asymmetric d-lenses (also called delta lenses) whose updates satisfy a universal property which in many applications ensures "least-change". There has therefore been hope that symmetric c-lenses might characterize those symmetric dlenses which satisfy a similar universal property. This paper begins an analysis of symmetric c-lenses and their relationship to symmetric dlenses and explains why the authors do not expect symmetric c-lenses, that is, equivalence classes of spans of c-lenses, to be central to developing universal properties for symmetric lenses. Instead, we consider cospans of c-lenses and show that they generate symmetric c-lenses with an appropriate universal property. That property is further analysed and used to motivate proposed generalisations to obtain universal, least-change, properties for symmetric d-lenses. In addition we explore how to characterise the symmetric d-lenses that arise from cospans of c-lenses among all symmetric d-lenses.
AB - Asymmetric c-lenses are the special cases of asymmetric d-lenses (also called delta lenses) whose updates satisfy a universal property which in many applications ensures "least-change". There has therefore been hope that symmetric c-lenses might characterize those symmetric dlenses which satisfy a similar universal property. This paper begins an analysis of symmetric c-lenses and their relationship to symmetric dlenses and explains why the authors do not expect symmetric c-lenses, that is, equivalence classes of spans of c-lenses, to be central to developing universal properties for symmetric lenses. Instead, we consider cospans of c-lenses and show that they generate symmetric c-lenses with an appropriate universal property. That property is further analysed and used to motivate proposed generalisations to obtain universal, least-change, properties for symmetric d-lenses. In addition we explore how to characterise the symmetric d-lenses that arise from cospans of c-lenses among all symmetric d-lenses.
UR - http://www.scopus.com/inward/record.url?scp=85019192977&partnerID=8YFLogxK
M3 - Conference proceeding contribution
AN - SCOPUS:85019192977
SN - 9783319574172
T3 - CEUR workshop proceedings
SP - 39
EP - 53
BT - BX 2017: Bidirectional Transformations
A2 - Eramo, Romina
A2 - Johnson, Michael
PB - Rheinisch-Westfaelische Technische Hochschule Aachen
CY - Aachen
T2 - International Workshop on Bidirectional Transformations (6th : 2017)
Y2 - 29 April 2017 through 29 April 2017
ER -