@conference {440,
	title = {Intermodeling, queries, and Kleisli categories},
	booktitle = {15th International Conference on Fundamental Approaches to Software Engineering (FASE{\textquoteright}12)},
	year = {2012},
	month = {01/2012},
	publisher = {LNCS, volume 7212, pp. 163-177},
	organization = {LNCS, volume 7212, pp. 163-177},
	address = {Tallinn, Estonia},
	abstract = {Specification and maintenance of relationships between models are vital
for MDE. We show that a wide class of such relationships can be specified
in a compact and precise manner, if intermodel mappings are allowed to
link derived model elements computed by corresponding queries.
Composition of such mappings is not straightforward and requires
specialized algebraic machinery. We present a formal framework, in which
such machinery can be defined generically for a wide class of metamodel
definitions. This enables algebraic specification of practical intermodeling
scenarios, e.g., model merge.},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/fase12.pdf},
	author = {Diskin, Zinovy and Tom Maibaum and Krzysztof Czarnecki}
}