Where academic tradition
meets the exciting future

Subset and Union Properties in Modeling Languages

Marcus Alanen, Ivan Porres, Subset and Union Properties in Modeling Languages. TUCS Technical Reports 731, Turku Centre for Computer Science, 2005.


This paper discusses the new property characteristics in the Meta
Object Facility 2.0, namely subset and union properties. They are
heavily used in the Unified Modeling Language 2.0 standard, but lack
a formal definition. We give our understanding of the new
characteristics by formalizing subsets and unions using
substitutability as our criterion. We present basic
operations to create and edit models that use subset and unions
properties. These operations form the basis of a model repository
component in a modeling tool and are required to support
Unified Modeling Language 2.0 models.


Full publication in PDF-format

BibTeX entry:

  title = {Subset and Union Properties in Modeling Languages},
  author = {Alanen, Marcus and Porres, Ivan},
  number = {731},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2005},
  keywords = {subsets, derived unions, metamodeling, MOF, UML},
  ISBN = {952-12-1653-0},

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

Edit publication