Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
UMLDiff: an algorithm for object-oriented design differencing
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Model management 2.0: manipulating richer mappings
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Engineering a DSL for Software Traceability
Software Language Engineering
Using Macromodels to Manage Collections of Related Models
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Establishing Correspondences between Models with the Epsilon Comparison Language
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance
Software and Systems Modeling (SoSyM)
The epsilon object language (EOL)
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Taming the confusion of languages
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Intermodeling, queries, and kleisli categories
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
TexMo: a multi-language development environment
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Information and Software Technology
Bridging the chasm between MDE and the world of compilation
Software and Systems Modeling (SoSyM)
Cross-language support mechanisms significantly aid software development
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Software and Systems Modeling (SoSyM)
A visual language for modeling and executing traceability queries
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
We define inter-modelling as the activity of building models that describe how modelling languages should be related. This includes many common activities in Model Driven Engineering, like the specification of model-to-model transformations, the definition of model matching and model traceability constraints, the development of inter-model consistency maintainers and exogenous model management operators. Recently, we proposed a formal approach to specify the allowed and forbidden relations between two modelling languages by means of bidirectional declarative patterns. Such specifications were used to generate graph rewriting rules able to enforce the relations in (forward and backward) model-to-model transformation scenarios. In this paper we extend the usage of patterns for two further inter-modelling scenarios - model matching and model traceability - and report on an EMF-based tool implementing them. The tool allows a high-level analysis of specifications based on the theory developed so far, as well as manipulation of traces by compilation of patterns into the Epsilon Object Language.