A metamodeling language supporting subset and union properties |
| |
Authors: | Marcus Alanen Ivan Porres |
| |
Affiliation: | 1.TUCS Turku Centre for Computer Science, Department of Information Technologies,?bo Akademi University,Turku,Finland |
| |
Abstract: | In this article, we describe successive versions of a metamodeling language using a set-theoretic formalization. We focus
on language extension mechanisms, particularly on the relatively new subset and union properties of MOF 2.0 and the UML 2.0
Infrastructure. We use Liskov substitutability as the rationale for our formalization. We also show that property redefinitions
are not a safe language extension mechanism. Each language version provides new features, and we note how such features cannot
be mixed arbitrarily. Instead, constraints over the metamodel and model structures must be established. We expect that this
article provides a better understanding of the foundations of MOF 2.0, which is necessary to define new extensions, model
transformation languages and tools. |
| |
Keywords: | Subsets Unions Redefinitions UML Package merges Extension mechanisms Graphs Graph theory Software modeling languages Metamodeling MOF |
本文献已被 SpringerLink 等数据库收录! |
|