Conference
Intermodeling, Queries, and Kleisli Categories
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 …
Authors
Diskin Z; Maibaum T; Czarnecki K
Series
Lecture Notes in Computer Science
Volume
7212
Pagination
pp. 163-177
Publisher
Springer Nature
Publication Date
2012
DOI
10.1007/978-3-642-28872-2_12
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743