Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Ontology mapping: the state of the art
The Knowledge Engineering Review
An Algebraic Framework for Merging Incomplete and Inconsistent Views
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
IBM Systems Journal - Model-driven software development
An Eclipse-based tool framework for software model management
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange
Managing Models through Macromodeling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Kodkod: a relational model finder
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance
Software and Systems Modeling (SoSyM)
Inter-modelling: from theory to practice
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
The model role level: a vision
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Taming the confusion of languages
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
TexMo: a multi-language development environment
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Modeling the linguistic architecture of software products
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Cross-language support mechanisms significantly aid software development
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Managing related models in vehicle control software development
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
The creation and manipulation of multiple related models is common in software development, however there are few tools that help to manage such collections of models. We propose a framework in which different types of model relationships --- such as submodelOfand refinementOf --- can be formally defined and used with a new type of model, called a macromodel , to express the required relationships between models at a high-level of abstraction. Macromodels can be used to support the development, comprehension, consistency management and evolution of sets of related models. We illustrate the framework with a detailed example from the telecommunications industry and describe a prototype implementation.