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
An Algebraic Framework for Merging Incomplete and Inconsistent Views
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
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
Using Macromodels to Manage Collections of Related Models
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Improving Model Quality Using Diagram Coverage Criteria
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance
Software and Systems Modeling (SoSyM)
A systematic review and an expert survey on capabilities supporting multi product lines
Information and Software Technology
Bridging the chasm between MDE and the world of compilation
Software and Systems Modeling (SoSyM)
Towards a distributed modeling process based on composite models
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |
Software development involves the creation and use of many related models yet there are few tools that address the issue of how to work with and manage such collections of models, or "multimodels." We propose a formal multimodeling framework that allows specialized model relationship types to be defined on existing types of models and provides a new type of model with a formal semantics called a macromodel. Macromodels can be used to enhance multimodel development, comprehension, consistency management and evolution. A preliminary evaluation of the framework is done using a detailed example from the telecommunications domain.