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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-28872-2_12 | FASE |
Keywords | Field | DocType |
practical intermodeling scenario,metamodel definition,corresponding query,algebraic machinery,algebraic specification,intermodel mapping,precise manner,model element,wide class,kleisli category,formal framework | Algebraic specification,Query language,Programming language,Algebraic number,Computer science,Theoretical computer science,Category theory,View model,Merge (version control),Metamodeling | Conference |
Volume | ISSN | Citations |
7212 | 0302-9743 | 21 |
PageRank | References | Authors |
0.80 | 13 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Zinovy Diskin | 1 | 611 | 63.32 |
Tom Maibaum | 2 | 281 | 31.90 |
Krzysztof Czarnecki | 3 | 6064 | 411.57 |