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 intermodel mappings are allowed to link 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. This enables algebraic specification of practical intermodeling scenarios, e.g., model merge. © 2012 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Diskin, Z., Maibaum, T., & Czarnecki, K. (2012). Intermodeling, queries, and kleisli categories. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7212 LNCS, pp. 163–177). https://doi.org/10.1007/978-3-642-28872-2_12
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
