Title :
Formal Semantics and Reasoning about UML Class Diagram
Author_Institution :
Inst. of Control & Comput. Eng., Warsaw Univ. of Technol.
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;
Conference_Titel :
Dependability of Computer Systems, 2006. DepCos-RELCOMEX '06. International Conference on
Conference_Location :
Szklarska Poreba
Print_ISBN :
0-7695-2565-2
DOI :
10.1109/DEPCOS-RELCOMEX.2006.27
