Observations relating to the equivalences induced on model sets by bidirectional transformations

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

A bidirectional transformation on a pair of sets of models induces two principal equivalence relations on each set of models. Since a model can be uniquely identified by specifying its equivalence class in each of these relations, they function as a coordinate system for the model sets, with respect to the transformation. We prove some results relating to this observation. Using them we give the implication relationships between various properties of bidirectional transformations. In particular, we characterise the bidirectional transformations that can be decomposed into a pair of lenses working "tail to tail".
Original languageEnglish
Pages (from-to)1-16
Number of pages16
JournalElectronic Communications of the EASST
Volume49
Issue numbern/a
Publication statusPublished - 2012

Keywords / Materials (for Non-textual outputs)

  • bidirectional transformation

Fingerprint

Dive into the research topics of 'Observations relating to the equivalences induced on model sets by bidirectional transformations'. Together they form a unique fingerprint.

Cite this