Consistency of UML class, object and statechart diagrams using ontology reasoners

被引：26
作者：
Khan, Ali Hanzala [1 ]
Porres, Ivan [1 ]
机构：
[1] Abo Akad Univ, Dept Informat Technol, FI-20520 Turku, Finland
来源：
JOURNAL OF VISUAL LANGUAGES AND COMPUTING | 2015年 / 26卷
关键词：
Consistency; Ontology; UML; Reasoning; CHECKING CONSISTENCY; OWL;
D O I：
10.1016/j.jvlc.2014.11.006
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for the Web Ontology Language OWL 2. We describe how to translate UML models in OWL 2 and we present a tool chain implementing this translation that can be used with any standard compliant UML modeling tool. The proposed approach is limited in scope, but is fully automatic and does not require any expertise about OWL 2 and its reasoners from the designer. (C) 2014 The Authors. Published by Elsevier Ltd.
引用
收藏
页码：42 / 65
页数：24
相关论文
共 62 条
[21]  
Egyed A, 2007, PROC INT CONF SOFTW, P793
[22]  
Epstein R., 2001, PREDICATE LOGIC SEMA
[23]  
Garcia M., 2007, ECLIPSE MODELING S E, P1
[24]  
Gordon M.J.C., 1993, Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
[25]  
Hnatkowska M.J., 2001, ISM 01, P1
[26]  
Horrocks I., 1999, Logic for Programming and Automated Reasoning. 6th International Conference, LPAR'99. Proceedings (Lecture Notes in Artificial Intelligence Vol.1705), P161, DOI 10.1007/3-540-48242-3_11
[27]  
Horrocks I., 2003, J WEB SEMANT, V1, P7
[28]  
Jouault F, 2006, LECT NOTES COMPUT SC, V4037, P171
[29]  
Kaneiwa K, 2006, LECT NOTES COMPUT SC, V3861, P219
[30]  
Kent S., 2002, Integrated Formal Methods. Third International Conference, IFM 2002. Proceedings (Lecture Notes in Computer Science Vol.2335), P286
1234567