@article {423,
	title = {Intermodeling, queries and Kleisli categories},
	year = {2011},
	month = {10/2011},
	institution = {University of Waterloo},
	address = {Waterloo},
	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 inter-model mappings involve 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 generically defined for a wide class of metamodel definitions, and thus important intermodeling scenarios can be algebraically specified and formalized.
},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/zFase12-TR_0.pdf},
	author = {Diskin, Zinovy and Tom Maibaum and Krzysztof Czarnecki}
}