## 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