Intermodeling, queries, and Kleisli categories

Photograph of Tom Maibaum

Tom Maibaum

(McMaster University)

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. This requires that intermodel 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 defined generically for a wide class of metamodel definitions, enabling algebraic specification of practical intermodeling scenarios.

This work is in collaboration with Zinovy Diskin and Krzysztof Czarnecki.
Thursday 13th December 2012, 14:00
Board Room
Department of Computer Science