Formal Semantics and Reasoning about UML Class Diagram

Marcin Szlenk
2006 2006 International Conference on Dependability of Computer Systems  
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
more » ... ome examples of inconsistencies are forwarded.
doi:10.1109/depcos-relcomex.2006.27 dblp:conf/depcos/Szlenk06 fatcat:eqivpgxi6rgqnkiuheiwglal4u