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.
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
View Integration: A Step Forward in Solving Structural Conflicts
IEEE Transactions on Knowledge and Data Engineering
Recovering Traceability Links between Code and Documentation
IEEE Transactions on Software Engineering
View Maintenance for Hierarchical Semistructured Data
DaWaK 2000 Proceedings of the Second International Conference on Data Warehousing and Knowledge Discovery
Heterogeneous View Integration via Sketches and Equations
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Heterogeneous view integration and its automation
Heterogeneous view integration and its automation
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
View merging in the presence of incompleteness and inconsistency
Requirements Engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Merging models based on given correspondences
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
A General Approach for Scenario Integration
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
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
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
Model-driven interoperability: MDI 2010
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Specifying overlaps of heterogeneous models for global consistency checking
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Bridging the chasm between MDE and the world of compilation
Software and Systems Modeling (SoSyM)
View-centric engineering with synchronized heterogeneous models
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
Hi-index | 0.00 |
Software development often involves a set of models defined in different metamodels, each model capturing a specific view of the system. We call this set a mutlimodel, and its elements partial or local models. Since partial models overlap, they may be consistent or inconsistent wrt. a set of global constraints. We present a framework for specifying overlaps between partial models and defining their global consistency. An advantage of the framework is that heterogeneous consistency checking is reduced to the homogeneous case yet merging partial metamodels into one global metamodel is not needed. We illustrate the framework with examples and sketch a formal semantics for it based on category theory.