Intermodeling, queries and Kleisli categories

TitleIntermodeling, queries and Kleisli categories
Publication TypeReport
Year of Publication2011
AuthorsDiskin, Z., T. Maibaum, and K. Czarnecki
Series TitleGenerative Software Development Laboratory
Date Published10/2011
InstitutionUniversity of Waterloo

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.

zFase12-TR.pdf848.66 KB