Formal Semantics and Reasoning about UML Class Diagram

Authors:
Marcin Szlenk
Affiliations:
Warsaw University of Technology, Poland
Venue:
DEPCOS-RELCOMEX '06 Proceedings of the International Conference on Dependability of Computer Systems
Year:
2006

Citing 0
Cited 4

UML Static Models in Formal Approach

Balancing Agility and Formalism in Software Engineering
Towards Class Diagram Algebra for Composing Data Models

Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Enhancing the semantics of UML association redefinition

Data & Knowledge Engineering
Formal semantics and ontological analysis for understanding subsetting, specialization and redefinition of associations in UML

ER'11 Proceedings of the 30th international conference on Conceptual modeling

Quantified Score

Hi-index	0.00

Visualization

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.