Toward a formal research framework for ontological analyses
Advanced Engineering Informatics
Validated model transformation-driven software development
International Journal of Computer Applications in Technology
COPE - Automating Coupled Evolution of Metamodels and Models
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Automatic Domain Model Migration to Manage Metamodel Evolution
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Structuring the modeling space and supporting evolution in software product line engineering
Journal of Systems and Software
Constructing and navigating non-invasive model decorations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
A comparison of model migration tools
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Model evolution and management
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Language evolution in practice: the history of GMF
SLE'09 Proceedings of the Second international conference on Software Language Engineering
A novel approach to semi-automated evolution of DSML model transformation
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Reconstructing complex metamodel evolution
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Evaluating disaster management knowledge model by using a frequency-based selection technique
PKAW'12 Proceedings of the 12th Pacific Rim conference on Knowledge Management and Acquisition for Intelligent Systems
Hi-index | 0.00 |
Model-integrated computing (MIC) is a methodology for the development of computer-based systems (CBSs). MIC predicates that models are developed according to a particular metamodel (that is, a language representation of the CBS's actual domain). MIC is the integration of models with a way to extract a “meaning” from those models. Using metamodeling, it is possible to model the domain of the CBS and generate a domain-specific modeling environment (DSME) whose ontology is the types of components in the CBS. With this DSME, models of the CBS are constructed and expressed with the ontology of the domain, and then interpreted to produce an executable model. The true value of domain-specific modeling is found not in the DSME, but the models that are created in that DSME. Changes to the physical system can be modeled, and the resulting executable model then is a working version of the CBS. Unfortunately, if the model of the domain—or metamodel—is changed, all models that were defined using that metamodel may require maintenance to have the semantics that represent the CBS correctly. Without ensuring the correctness of the domain models after a change to the domain, the true value of the DSME will be lost. The only way to use instance models based on the original metamodel is to migrate them for use in the modified metamodel. This problem is known as the Model Migration (MM) problem. Current state of the art for Model Migration heavily depends on low-level implementation, and treats the domain models like data files rather than domain-specific models. There are benefits to performing model migration using domain-specific concepts such as mapping objects from one domain to another, and leveraging the existing metamodel structure for designing these mappings. This dissertation extends the state of the art by implementing such a metamodel based model migration language, which is a modeling language in its own right. Furthermore, a model migration language is dependent on two components: the meta-metamodel, and the graph-rewriting language used to perform the actual to reveal a framework that any meta-metamodel and graph-rewriting language would use to perform model migration. This dissertation gives form and function to such a framework, and describes how it can be specialized to yield a particular instance of a framework: a domain evolution tool.