• Calendar

September 9, Wednesday
12:00 – 13:30

UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone for any modeling effort. Class diagrams are widely used for purposes such as software specification, database and ontology engineering, meta-modeling, and model transformation. The central role played by class diagrams emphasizes the need for strengthening UML modeling tools with features such as recognition of erroneous models and the detection of errors’ sources.

Correctness of UML class diagrams refers to the capability of a diagram to denote a finite but not empty reality. This is a natural, unquestionable requirement. Nevertheless, incorrect diagrams are often designed, due to interaction of contradicting constraints and limitations of current tools. In this talk, I will discuss correctness problems in class diagrams, the methods we have develop for tackling them, and the latest results. I will also suggest directions for future work in this field.