Universal updates for symmetric lenses

Michael Johnson, Robert Rosebrugh

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

3 Citations (Scopus)
3 Downloads (Pure)

Abstract

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.

Original languageEnglish
Title of host publicationBX 2017: Bidirectional Transformations
Subtitle of host publicationProceedings of the 6th International Workshop on Bidirectional Transformations
EditorsRomina Eramo, Michael Johnson
Place of PublicationAachen
PublisherRheinisch-Westfaelische Technische Hochschule Aachen
Pages39-53
Number of pages15
ISBN (Electronic)9783319574189
ISBN (Print)9783319574172
Publication statusPublished - 2017
EventInternational Workshop on Bidirectional Transformations (6th : 2017) - Uppsala, Sweden
Duration: 29 Apr 201729 Apr 2017

Publication series

NameCEUR workshop proceedings
Volume1827
ISSN (Electronic)1613-0073

Conference

ConferenceInternational Workshop on Bidirectional Transformations (6th : 2017)
CountrySweden
CityUppsala
Period29/04/1729/04/17

Bibliographical note

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.

Fingerprint Dive into the research topics of 'Universal updates for symmetric lenses'. Together they form a unique fingerprint.

  • Cite this

    Johnson, M., & Rosebrugh, R. (2017). Universal updates for symmetric lenses. In R. Eramo, & M. Johnson (Eds.), BX 2017: Bidirectional Transformations: Proceedings of the 6th International Workshop on Bidirectional Transformations (pp. 39-53). (CEUR workshop proceedings; Vol. 1827). Aachen: Rheinisch-Westfaelische Technische Hochschule Aachen. CEUR Workshop Proceedings