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 条
  • [41] 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
  • [42] Caesar automatic layout of UML class diagrams
    Gutwenger, C
    Jünger, M
    Klein, K
    Kupke, J
    Leipert, S
    Mutzel, P
    [J]. GRAPH DRAWING, 2002, 2265 : 461 - 462
  • [43] Supporting collaborative modelling in UML class diagrams
    Cortiana Neto, Raul Antonio
    Farias, Kleinner
    Bischoff, Vinicius
    Goncales, Lucian Jose
    [J]. REVISTA BRASILEIRA DE COMPUTACAO APLICADA, 2019, 11 (03): : 39 - 46
  • [44] On the use of association redefinition in UML class diagrams
    Costal, Dolors
    Gomez, Cristina
    [J]. CONCEPTUAL MODELING - ER 2006, PROCEEDINGS, 2006, 4215 : 513 - +
  • [45] Refactoring OCL annotated UML class diagrams
    Markovic, SA
    Baar, T
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 280 - 294
  • [46] Refactoring OCL annotated UML class diagrams
    Markovic, Slavisa
    Baar, Thomas
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (01): : 25 - 47
  • [47] Structural complexity metrics for UML class diagrams
    Kong, Qing-Yan
    Lun, Li-Jun
    Wang, Yi-He
    Ding, Xue-Mei
    [J]. Journal of Harbin Institute of Technology (New Series), 2008, 15 (02) : 211 - 214
  • [48] A structural complexity measure for UML class diagrams
    Xu, BW
    Kang, DH
    Lu, JJ
    [J]. COMPUTATIONAL SCIENCE - ICCS 2004, PT 1, PROCEEDINGS, 2004, 3036 : 421 - 424
  • [49] Guidelines on the aesthetic quality of UML class diagrams
    Eichelberger, Holger
    Schmid, Klaus
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (12) : 1686 - 1698
  • [50] Expressing UML class diagrams properties with OCL
    Gogolla, M
    Richters, M
    [J]. OBJECT MODELING WITH THE OCL: THE RATIONALE BEHIND THE OBJECT CONSTRAINT LANGUAGE, 2002, 2263 : 85 - 114
12345