Paper Info
Title
Endogenous Metamodeling Semantics for Structural UML 2 Concepts.
Abstract
A lot of work has been done in order to put the Unified Modeling Language (UML) on a formal basis by translating concepts into various formal languages, e. g., set theory or graph transformation. While the abstract UML syntax is defined by using an endogenous approach, i.e., UML describes its abstract syntax using UML, this approach is rarely used for its semantics. This paper shows how to apply an endogenous approach called metamodeling semantics for central parts of the UML standard. To this end, we enrich existing UML language elements with constraints specified in the Object Constraint Language (OCL) in order to describe a semantic domain model. The UML specification explicitly states that complete runtime semantics is not included in the standard because it would be a major amount of work. However, we believe that certain central concepts, like the ones used in the UML standard and in particular property features as subsets, union and derived, need to be explicitly modeled to enforce a common understanding. Using such an endogenous approach enables the validation and verification of the UML standard by using off-the-shelf UML and OCL tools.
Year
DOI
Venue
2013
10.1007/978-3-642-41533-3_30
Lecture Notes in Computer Science
Keywords
Field
DocType
Metamodeling,Semantics,Validation,UML,OCL
Formal language,Programming language,UML state machine,UML tool,Unified Modeling Language,Computer science,Applications of UML,Abstract syntax,Object Constraint Language,Metamodeling
Conference
Volume
ISSN
Citations 
8107
0302-9743
6
PageRank 
References 
Authors
0.81
22
2
Name
Order
Citations
PageRank
Lars Hamann123420.17
Martin Gogolla22398578.76