Complements Witness Consistency (Short Paper)

James McKinna

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

Abstract

Much of the existing bx literature, especially that from the PL community on lenses, has described extensional, state-based formalisms. More recently, attention has turned to incorporating intensional information about edits (typically based on monoid actions), or more generally,deltas (typically based on categories), describing how models are updated.Pervasive in both the conceptual modelling, and the mathematics,of varieties of such bx, is the role played by the complement, which generalises the ‘constant complement’ case of the view-update problem in databases. Complements typically reify, or correspond to, data which is abstracted away by passing from a source to a view. In this paper, we present an alternative perspective, which has perhaps been implicit in the lens literature, but not, to our knowledge, previously made explicit anywhere: namely that elements of the complement are witnesses to the consistency relation maintained by the transformation. We illustrate this idea with examples drawn from the bx literature, especially that on lenses.
Original languageEnglish
Title of host publicationProceedings of the 5th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software (ETAPS 2016)
Place of PublicationEindhoven, The Netherlands
PublisherCEUR Workshop Proceedings (CEUR-WS.org)
Pages90-94
Number of pages5
Volume1571
Publication statusPublished - 29 Mar 2016
Event5th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software - Eindhoven, Netherlands
Duration: 8 Apr 20168 Apr 2016
http://bx-community.wikidot.com/bx2016:home

Conference

Conference5th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software
Abbreviated titleBx 2016
CountryNetherlands
CityEindhoven
Period8/04/168/04/16
Internet address

Fingerprint Dive into the research topics of 'Complements Witness Consistency (Short Paper)'. Together they form a unique fingerprint.

Cite this