A formal framework for reasoning on UML class diagrams

被引：0
|
作者：
Calì, A [1 ]
Calvanese, D [1 ]
De Giacomo, G [1 ]
Lenzerini, M [1 ]
机构：
[1] Univ Roma La Sapienza, Dipartimento Informat & Sistemist, I-00198 Rome, Italy
来源：
FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS | 2002年 / 2366卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper we formalize UML class diagrams in terms of a logic belonging to Description Logics, which are subsets of First-Order Logic that have been thoroughly investigated in Knowledge Representation. The logic we have devised is specifically tailored towards the high expressiveness of UML information structuring mechanisms, and allows one to formally model important properties which typically can only be specified by means of qualifiers. The logic is equipped with decidable reasoning procedures which can be profitably exploited in reasoning on UML class diagrams. This makes it possible to provide computer aided support during the application design phase in order to automatically detect relevant properties, such as inconsistencies and redundancies.
引用
收藏
页码：503 / 513
页数：11
相关论文
共 50 条
  • [1] Reasoning with UML class diagrams
    Evans, AS
    [J]. 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113
  • [2] Reasoning on UML class diagrams
    Berardi, D
    Calvanese, D
    De Giacomo, G
    [J]. ARTIFICIAL INTELLIGENCE, 2005, 168 (1-2) : 70 - 118
  • [3] Reasoning on UML class diagrams with OCL constraints
    Queralt, Anna
    Teniente, Ernest
    [J]. CONCEPTUAL MODELING - ER 2006, PROCEEDINGS, 2006, 4215 : 497 - +
  • [4] Redesign of UML class diagrams: a formal approach
    Piotr Kosiuczenko
    [J]. Software & Systems Modeling, 2009, 8 : 165 - 183
  • [5] Redesign of UML class diagrams: a formal approach
    Kosiuczenko, Piotr
    [J]. SOFTWARE AND SYSTEMS MODELING, 2009, 8 (02): : 165 - 183
  • [6] A Formal Specification of UML Class and State Diagrams
    Hu, Gongzhu
    [J]. SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, 149 : 247 - 257
  • [7] Formal semantics and reasoning about UML class diagram
    Szlenk, Marcin
    [J]. DEPCOS-RELCOMEX 2006, 2006, : 51 - 58
  • [8] A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams
    Meng, Sun
    Barbosa, Luis S.
    [J]. QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2008, : 17 - +
  • [9] A Framework for UML Class Diagrams and Software Patterns Integration
    Rungworawut, Wararat
    [J]. INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS (IMECS 2010), VOLS I-III, 2010, : 756 - 761
  • [10] Derivation of UML class diagrams as static views of formal B developments
    Idani, A
    Ledru, Y
    Bert, D
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 37 - 51
12345