首页 | 本学科首页   官方微博 | 高级检索  
     


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号