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

A Metamodeling Language Supporting Subset and Union Properties

Marcus Alanen, Ivan Porres, A Metamodeling Language Supporting Subset and Union Properties. In: 4th Nordic Workshop on the Unified Modeling Language {NWUML}'2006, 2006.

Abstract:

The Meta Object Facility (MOF) 2.0 and the Unified Modeling Language
Infrastructure introduce new language features such as subsets,
(derived) unions and redefinitions, but without a precise semantics.
This is a problem since they are used throughout the definition of the
Unified Modeling Language (UML) 2.0. We give our understanding of
these new language features by formalizing the structural constraints
imposed by subsets and unions on metamodels and models using
Liskov substitutability as the main criterion. We expect that this article
provides a better understanding of the foundations of the MOF~2.0,
which is necessary to define model transformation languages
and tools.

BibTeX entry:

@INPROCEEDINGS{inpAlPo06a,
  title = {A Metamodeling Language Supporting Subset and Union Properties},
  booktitle = {4th Nordic Workshop on the Unified Modeling Language {NWUML}'2006},
  author = {Alanen, Marcus and Porres, Ivan},
  year = {2006},
}

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

Edit publication