English

System Model Semantics of Class Diagrams

Software Engineering 2014-09-24 v1

Abstract

Defining semantics for UML is a difficult task. Disagreements in the meaning of UML constructs as well as the size of UML are major obstacles. In this report, we describe our approach to define the semantics for UML. Semantics is defined denotationally as a mapping into our semantics domain called the system model [4, 5, 6]. We demonstrate our approach by defining the semantics for a comprehensive version of class diagrams. The semantics definition is detailed for UML/P class diagrams, a variant of class diagrams which restricts the use of a few methodologically and semantically involved concepts. Class diagrams are well-known and rather easy to understand and thus perfect to examine the usability of the system model for precise semantic mappings.

Keywords

Cite

@article{arxiv.1409.6635,
  title  = {System Model Semantics of Class Diagrams},
  author = {Maria Victoria Cengarle and Hans Grönninger and Bernhard Rumpe},
  journal= {arXiv preprint arXiv:1409.6635},
  year   = {2014}
}

Comments

32 pages, Informatik-Bericht 2008-05 Technische Universit\"at Braunschweig, Carl-Friedrich-Gauss-Fakult\"at, 2008

R2 v1 2026-06-22T06:03:47.248Z