Management of correctness Problems in UML class diagrams towards a pattern-based approach

Mira Balaban, Azzam Maraee, Arnon Sturm

Research output: Contribution to journalArticlepeer-review

13 Scopus citations


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 the interaction of contradicting constraints and the limitations of current tools. In this paper, the authors clarify the notion of class diagram correctness, discuss various approaches for detecting correctness problems, and propose a pattern-based approach for identifying situations in which correctness problems occur, and for providing explanations and repair advices.

Original languageEnglish
Pages (from-to)24-47
Number of pages24
JournalInternational Journal of Information System Modeling and Design
Issue number4
StatePublished - 1 Dec 2010


  • Consistency
  • Finite Satisfiability
  • Incorrectness Patterns
  • Model Driven Engineering
  • Modeling Languages
  • Redundancy
  • UML Class Diagrams

ASJC Scopus subject areas

  • Information Systems
  • Management of Technology and Innovation


Dive into the research topics of 'Management of correctness Problems in UML class diagrams towards a pattern-based approach'. Together they form a unique fingerprint.

Cite this