@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} }