Finite Model Reasoning on UML Class Diagrams via Constraint Programming

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, and Toni Mancini

Proc. of the 10th Congress of the Italian Assoc. for Artificial Intelligence (AI*IA 2007). Volume 4733 of Lecture Notes in Artificial Intelligence. 2007.

Finite model reasoning in UML class diagrams is an important task for assessing the quality of the analysis phase in the development of software applications in which it is assumed that the number of objects of the domain is finite. In this paper, we show how to encode finite model reasoning in UML class diagrams as a constraint satisfaction problem (CSP), exploiting techniques developed in description logics. In doing so we set up and solve an intermediate CSP problem to deal with the explosion of "class combinations" arising in the encoding. To solve the resulting CSP problems we rely on the use of off-the-shelf tools for constraint modeling and programming. As a result, we obtain, to the best of our knowledge, the first implemented system that performs finite model reasoning on UML class diagrams.


@inproceedings{AIIA-2007-dlfinite,
   title = "Finite Model Reasoning on UML Class Diagrams via Constraint
Programming",
   year = "2007",
   author = "Marco Cadoli and Diego Calvanese and De Giacomo, Giuseppe
and Toni Mancini",
   booktitle = "Proc. of the 10th Congress of the Italian Assoc. for Artificial
Intelligence (AI*IA 2007)",
   pages = "36--47",
   volume = "4733",
   publisher = "Springer",
   series = "Lecture Notes in Artificial Intelligence",
   doi = "10.1007/978-3-540-74782-6_5",
}
pdf