• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Basic Operations Over Models Containing Subset and Union Properties

Marcus Alanen, Ivan Porres, Basic Operations Over Models Containing Subset and Union Properties. In: Jon Whittle David Harel Oscar Nierstrasz, Gianna Reggio (Eds.), Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Lecture Notes in Computer Science 4199, 469–483, Springer Berlin / Heidelberg, 2006.

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.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpAlPo06b,
  title = {Basic Operations Over Models Containing Subset and Union Properties},
  booktitle = {Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006)},
  author = {Alanen, Marcus and Porres, Ivan},
  volume = {4199},
  series = {Lecture Notes in Computer Science},
  editor = {Oscar Nierstrasz, Jon Whittle David Harel and Gianna Reggio},
  publisher = {Springer Berlin / Heidelberg},
  pages = {469–483},
  year = {2006},
  keywords = {subset and derived properties, metamodeling, MOF, UML},
}

Belongs to TUCS Research Unit(s): Software Construction Laboratorium

Publication Forum rating of this publication: level 1

Edit publication