Basic operations over models containing subset and union properties
M Alanen, I Porres - Model Driven Engineering Languages and Systems …, 2006 - Springer
M Alanen, I Porres
Model Driven Engineering Languages and Systems: 9th International Conference …, 2006•SpringerAbstract The Meta Object Facility 2.0 and Unified Modeling Language 2.0 Infrastructure
standards present novel metamodeling constructs called subset and union properties.
However, they do not provide a complete definition of these constructs. This definition is
necessary to construct modeling tools and to ensure their interoperability. In this article, we
present the basic model operations over models containing subset and union properties.
These operations are formalized using pre-and postconditions using substitutability as the …
standards present novel metamodeling constructs called subset and union properties.
However, they do not provide a complete definition of these constructs. This definition is
necessary to construct modeling tools and to ensure their interoperability. In this article, we
present the basic model operations over models containing subset and union properties.
These operations are formalized using pre-and postconditions using substitutability as the …
Abstract
The Meta Object Facility 2.0 and Unified Modeling Language 2.0 Infrastructure standards present novel metamodeling constructs called subset and union properties. However, they do not provide a complete definition of these constructs. This definition is necessary to construct modeling tools and to ensure their interoperability. In this article, we present the basic model operations over models containing subset and union properties. These operations are formalized using pre- and postconditions using substitutability as the main criterion for language specialization.
Springer