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.

Finite model reasoning on UML class diagrams via constraint programming / Cadoli, Marco; D., Calvanese; DE GIACOMO, Giuseppe; Mancini, Toni. - In: INTELLIGENZA ARTIFICIALE. - ISSN 1724-8035. - STAMPA. - 7(1):(2013), pp. 57-65. [10.3233/IA-130045]

Finite model reasoning on UML class diagrams via constraint programming

CADOLI, Marco;DE GIACOMO, Giuseppe;MANCINI, Toni
2013

Abstract

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.
2013
UML class diagrams; description logics; constraint satisfaction problem; automated reasoning
01 Pubblicazione su rivista::01a Articolo in rivista
Finite model reasoning on UML class diagrams via constraint programming / Cadoli, Marco; D., Calvanese; DE GIACOMO, Giuseppe; Mancini, Toni. - In: INTELLIGENZA ARTIFICIALE. - ISSN 1724-8035. - STAMPA. - 7(1):(2013), pp. 57-65. [10.3233/IA-130045]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/559334
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact