Electronic Communications of the EASST Volume 49 ( 2012 ) Proceedings of the First International Workshop on Bidirectional Transformations ( BX 2012 ) Observations relating to the equivalences induced on model sets by bidirectional transformations

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… (More)