Engineering a DSL for Software Traceability
Software Language Engineering
The Grand Challenge of Scalability for Model Driven Engineering
Models in Software Engineering
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Supporting Parallel Updates with Bidirectional Model Transformations
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Extending variability for OCL interpretation
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Integrating OCL and textual modelling languages
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Rigorous identification and encoding of trace-links in model-driven engineering
Software and Systems Modeling (SoSyM)
Synchronizing concurrent model updates based on bidirectional transformation
Software and Systems Modeling (SoSyM)
Applying MDE to the (semi-)automatic development of model transformations
Information and Software Technology
Change propagation due to uncertainty change
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
With the advent of Domain Specific Languages for Model Engineering, detecting inconsistencies between models is becoming increasingly challenging. Nowadays, it is not uncommon for models participating in the same development process to be captured using different modelling languages and even different modelling technologies. We present a classification of the types of relationships that can arise between models participating in a software development process and outline the types of inconsistencies each relationship can suffer from. From this classification we identify a set of requirements for a generic inconsistency detection and reconciliation mechanism and use a case study to demonstrate how those requirements are implemented in the Epsilon Validation Language (EVL), a task-specific language developed in the context of the Epsilon GMT component.