Intermodeling, queries and Kleisli categories

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.