OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Engineering Modelling Languages: A Precise Meta-Modelling Approach
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Design Patterns: Abstraction and Reuse of Object-Oriented Design
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Eclipse Modeling Framework
Template Semantics for Model-Based Notations
IEEE Transactions on Software Engineering
Package merge in UML 2: practice vs. theory?
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Code generation from UML models with semantic variation points
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Variability within Modeling Language Definitions
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Enhancing UML extensions with operational semantics behaviored profiles with templates
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Bridging the chasm between MDE and the world of compilation
Software and Systems Modeling (SoSyM)
Genericity for model management operations
Software and Systems Modeling (SoSyM)
Using model types to support contract-aware model substitutability
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Hi-index | 0.00 |
In the field of Domain Languages Engineering, Semantic Variation Points are an important issue. This crucial information is often related to the dynamic semantics of systems. Identifying and understanding it is a requisite for all model-based activities (design, simulation, test, formal verification, etc.). Most of the time, semantic variation points are only informally identified in a documentation associated with a metamodel: they are not part of the metamodel itself, and there is currently no mechanism to capture them explicitly. We propose a template-based notation enabling semantic variation points to be clearly and explicitly identified within the metamodel, using template parameter definitions. Semantic variation points can then be intuitively fixed by parameter binding at both model and metamodel levels. We illustrate our proposal with a templated version of the UML 2 state machine metamodel. Finally, we describe a prototype implementation of our mechanisms in the context of the Eclipse Modeling Framework.