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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alanen, M., Porres, I.: Subset and union properties in modeling languages. Technical Report 731, TUCS (December 2005)
Albano, A., Ghelli, G., Orsini, R.: A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language. In: Proceedings of the 17th Conference on Very Large Databases, Morgan Kaufman pubs, Los Altos CA, Barcelona (1991)
Álvarez, J., Evans, A., Sammut, P.: MML and the Metamodel Architecture. In: Whittle, J. (ed.) WTUML: Workshop on Transformation in UML 2001 (April 2001)
Amelunxen, C., Rötschke, T., Schürr, A.: Graph Transformations with MOF 2.0. In: Giese, H., Zündorf, A. (eds.) Fujaba Days 2005 (September 2005)
Baar, T.: Metamodels without Metacircularities. L’Objet 9(4), 95–114 (2003)
Bierman, G., Wren, A.: First-class relationships in an object-oriented language. In: Workshop on Foundations of Object-Oriented Languages (FOOL 2005) (January 2005)
Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. Addison Wesley Professional, Reading (2003)
Castagna, G.: Covariance and Contravariance: Conflict without a Cause. ACM Transactions on Programming Languages and Systems 17(3), 431–447 (1995)
Clark, T., Evans, A., Kent, S.: The Metamodelling Language Calculus: Foundation Semantics for UML. In: Hussmann, H. (ed.) ETAPS 2001 and FASE 2001. LNCS, vol. 2029, pp. 17–31. Springer, Heidelberg (2001)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)
Kleppe, A.: Discussion on the mailing-list puml-list@cs.york.ac.uk
Nickel, U.A., Niere, J., Zündorf, A.: Tool demonstration: The FUJABA environment. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE), pp. 742–745. ACM Press, New York (2000)
OMG. MOF 2.0 Query/View/Transformation Final Adopted Specification. OMG Document ptc/05-11-01 (2005), available at www.omg.org
OMG. UML 2.0 Superstructure Specification. Document formal/05-07-04 (August 2005), Available at http://www.omg.org/
OMG. Meta Object Facility (MOF) Core Specification, version 2.0. Document formal/06-01-01 (January 2006), available at http://www.omg.org/
OMG. UML 2.0 Infrastructure Specification. Document formal/05-07-05 (March 2006), available at http://www.omg.org/
Scheidgen, M.: On Implementing MOF 2.0—New Features for Modelling Language Abstractions (July 2005), Available at http://www.informatik.hu-berlin.de/~scheidge/
Varró, D., Pataricza, A.: VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. Journal of Software and Systems Modeling 2(3), 187–210 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alanen, M., Porres, I. (2006). Basic Operations over Models Containing Subset and Union Properties. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds) Model Driven Engineering Languages and Systems. MODELS 2006. Lecture Notes in Computer Science, vol 4199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11880240_33
Download citation
DOI: https://doi.org/10.1007/11880240_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45772-5
Online ISBN: 978-3-540-45773-2
eBook Packages: Computer ScienceComputer Science (R0)