Finite model reasoning on UML class diagrams via constraint programming

被引：0

作者：

Cadoli, Marco ^{[1
]}

Calvanese, Diego ^{[2
]}

De Giacomo, Giuseppe ^{[1
]}

Mancini, Toni ^{[1
]}

机构：

[1] Univ Roma La Sapienza, Dipartimento Informat & Sistemist, Via Ariosto 25, I-00185 Rome, Italy

[2] Univ Bozen-Bolzano, Fac Comp Sci, I-39100 Bolzano, Italy

来源：

AI(ASTERISK)IA 2007: ARTIFICIAL INTELLIGENCE AND HUMAN-ORIENTED COMPUTING | 2007年 / 4733卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：36 / +

页数：2

共 50 条

[1] Finite model reasoning on UML class diagrams via constraint programming(1,2,3)
Cadoli, Marco
Calvanese, Diego
De Giacomo, Giuseppe
Mancini, Toni
[J]. INTELLIGENZA ARTIFICIALE, 2013, 7 (01) : 57 - 65
[2] Reasoning about UML/OCL class diagrams using constraint logic programming and formula
Perez, Beatriz
Porres, Ivan
[J]. INFORMATION SYSTEMS, 2019, 81 : 152 - 177
[3] On the verification of UML/OCL class diagrams using constraint programming
Cabot, J.
Clariso, R.
Riera, D.
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2014, 93 : 1 - 23
[4] Reasoning on UML class diagrams
Berardi, D
Calvanese, D
De Giacomo, G
[J]. ARTIFICIAL INTELLIGENCE, 2005, 168 (1-2) : 70 - 118
[5] Reasoning with UML class diagrams
Evans, AS
[J]. 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113
[6] Reasoning on UML class diagrams with OCL constraints
Queralt, Anna
Teniente, Ernest
[J]. CONCEPTUAL MODELING - ER 2006, PROCEEDINGS, 2006, 4215 : 497 - +
[7] A formal framework for reasoning on UML class diagrams
Calì, A
Calvanese, D
De Giacomo, G
Lenzerini, M
[J]. FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2002, 2366 : 503 - 513
[8] Efficient reasoning about finite satisfiability of UML class diagrams with constrained generalization sets
Maraee, Azzam
Balaban, Mira
[J]. MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, 2007, 4530 : 17 - +
[9] Finite Satisfiability of UML Class Diagrams with Constrained Class Hierarchy
Balaban, Mira
Maraee, Azzam
[J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2013, 22 (03) : 1 - 42
[10] A constraint-based collaborative environment for learning UML class diagrams
Baghaei, Nilufar
Mitrovic, Antonija
[J]. INTELLIGENT TUTORING SYSTEMS, PROCEEDINGS, 2006, 4053 : 176 - 186

← 1 2 3 4 5 →