CVSM Bibliography, Entry [ AlP2006MoDELS ]


Alanen, Marcus; Porres, Ivan: Basic Operations over Models Containing Subset and Union Properties;
p.469-483 in: Proc. Model Driven Engineering Languages and Systems - 9th International Conference, MODELS 2006, Genova, Italy, October 1-6, 2006; LNiCS 4199, Springer; 2006
Library Entries: Springer
Deskriptoren: CVSM, edit operations

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.