DocumentCode
2834468
Title
Formal Semantics and Reasoning about UML Class Diagram
Author
Szlenk, Marcin
Author_Institution
Inst. of Control & Comput. Eng., Warsaw Univ. of Technol.
fYear
2006
fDate
25-27 May 2006
Firstpage
51
Lastpage
59
Abstract
The main way of coping with the complexity of software systems is to construct and use models expressed in UML. Unfortunately, the semantics (meaning) of models written in UML is not precisely defined. It may result in the incorrect interpretation of a model and make it hard to strictly verify a model and its transformation. In this paper we formally (mathematically) define UML class diagram and its semantics. The problem of consistency of the diagram is then introduced and some examples of inconsistencies are forwarded
Keywords
Unified Modeling Language; program verification; programming language semantics; UML class diagram; formal reasoning; formal semantics; model transformation; model verification; software system complexity; Control engineering computing; Metamodeling; Natural languages; Security; Software systems; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependability of Computer Systems, 2006. DepCos-RELCOMEX '06. International Conference on
Conference_Location
Szklarska Poreba
Print_ISBN
0-7695-2565-2
Type
conf
DOI
10.1109/DEPCOS-RELCOMEX.2006.27
Filename
4024032
Link To Document