Proceedings of a tutorial and workshop on Category theory and computer programming
Notions of computation and monads
Information and Computation
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Category theory for computing science, 2nd ed.
Category theory for computing science, 2nd ed.
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Categories for Software Engineering
Categories for Software Engineering
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
View merging in the presence of incompleteness and inconsistency
Requirements Engineering
The Objects and Arrows of Computational Design
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Realizing Correspondences in Multi-viewpoint Specifications
EDOC '09 Proceedings of the 2009 IEEE International Enterprise Distributed Object Computing Conference (edoc 2009)
Inter-modelling: from theory to practice
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Model synchronization: mappings, tiles, and categories
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Specifying overlaps of heterogeneous models for global consistency checking
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Query-driven soft interconnection of EMF models
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Modeling the linguistic architecture of software products
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
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.