Semantics of Metamodel in UML
A modelling language can be defined by a meta model in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamodels to signatures of first order languages and an axiom mapping from metamodels to sets of axioms over the signature. Valid models, i.e. instances of the metamodel, are therefore mathematical structures in the signature that satisfies the axioms. This semantics definition enables us to analyse the logical consistency and completeness of metamodels. A software tool called LAMBDES is im plemented to translate metamodels into first order logic systems and analyse them by employing the theo rem prover SPASS. Case studies with the tool detected inconsistency and incompleteness in the metamodel of UML 2.0 and an AspectJ profile.
Lijun Shan Hong Zhu
Dept of Comp. Sci., National Univ. of Defence Tech.,Changsha, 410073, China Dept of Computing, Oxford Brookes University,Oxford OX33 1HX, UK
国际会议
天津
英文
55-62
2009-07-29（万方平台首次上网日期，不代表论文的发表时间）