A Dynamic Description Logic for UML

被引：1

作者：

Li, Ming ^{[1
]}

Zang, Fengkui ^{[1
]}

机构：

[1] Lanzhou Univ Technol, Coll Comp & Commun, Lanzhou 730050, Gansu, Peoples R China

来源：

FIRST IITA INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2009年

关键词：

UML; Description logic; Dynamic extension;

D O I：

10.1109/JCAI.2009.123

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

UML is a universal, standard modeling language. It can be applied to the modeling of any system with static framework and dynamic action. However, UML lacks precise semantics which might lead to problems, such as inconsistencies, redundancies and so on. In order to detect the UML behavior diagrams, a dynamic description logic and a sound and complete tableau-based satisfiability-checking decidable algorithm for UML are presented in this paper. This logic is a combination of a typical action theory and the description logic ALCQI, with the feature that actions are treated as citizens. Actions can be expressed in the construction of concepts and formulas. Reasoning tasks on concepts and actions can be realized with the help of the tableau-based satisfiability-checking decidable algorithm, which makes this logic more capable for the UML behavior diagrams.

引用

页码：175 / 178

页数：4

共 50 条

[1] Dynamic logic semantics for UML consistency
O'Keefe, Greg
[J]. MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2006, 4066 : 113 - 127
[2] Verification of fuzzy UML models with fuzzy Description Logic
Zhang, Fu
Cheng, Jingwei
[J]. APPLIED SOFT COMPUTING, 2018, 73 : 134 - 152
[3] Using description logic to maintain consistency between UML models
Van Der Straeten, R
Mens, T
Simmonds, J
Jonckers, V
[J]. UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 326 - 340
[4] Representing and reasoning on fuzzy UML models: A description logic approach
Ma, Z. M.
Zhang, Fu
Yan, Li
Cheng, Jingwei
[J]. EXPERT SYSTEMS WITH APPLICATIONS, 2011, 38 (03) : 2536 - 2549
[5] Spatio-Temporal UML Modeling and Verifying with Description Logic
Zhang, Fu
Cao, Dong-Xia
Cheng, Jing-Wei
[J]. JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2019, 35 (06) : 1279 - 1298
[6] A Dynamic Fuzzy Description Logic
FANG Wei
[J]. Wuhan University Journal of Natural Sciences, 2008, (04) : 417 - 420
[7] Dynamic Reasoning for Description Logic Terminologies
Ustymenko, Stanislav
Schwartz, Daniel G.
[J]. ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2010, 6085 : 340 - +
[8] Specifying dynamic software architectures with dynamic description logic
Zhao, Zhikun
Li, Wei
[J]. Journal of Software, 2012, 7 (01) : 169 - 175
[9] Description logic based on dynamic fuzzy logic for the semantic web
Institute of Intelligence Information Processing and Application, Soochow University, Suzhou 215006, China
[J]. Journal of Computational Information Systems, 2007, 3 (03): : 1000 - 1006
[10] Dynamic description logic model for data integration
Hao G.
Ma S.
Sui Y.
Lv J.
[J]. Frontiers of Computer Science in China, 2008, 2 (03): : 306 - 330

← 1 2 3 4 5 →