Consistency Checking of Re-engineered UML Class Diagrams via Datalog plus /-

被引：0

作者：

Gottlob, Georg ^{[1
]}

Orsi, Giorgio ^{[1
]}

Pieris, Andreas ^{[2
]}

机构：

[1] Univ Oxford, Dept Comp Sci, Oxford, England

[2] Vienna Univ Technol, Inst Informat Syst, A-1040 Vienna, Austria

来源：

RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS | 2015年 / 9202卷

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

10.1007/978-3-319-21542-6_3

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

UML class diagrams (UCDs) are a widely adopted formalism for modeling the intensional structure of a software system. Although UCDs are typically guiding the implementation of a system, it is common in practice that developers need to recover the class diagram from an implemented system. This process is known as reverse engineering. A fundamental property of reverse engineered (or simply re-engineered) UCDs is consistency, showing that the system is realizable in practice. In this work, we investigate the consistency of re-engineered UCDs, and we show is pspace-complete. The upper bound is obtained by exploiting algorithmic techniques developed for conjunctive query answering under guarded Datalog+/-, that is, a key member of the Datalog+/- family of KR languages, while the lower bound is obtained by simulating the behavior of a polynomial space Turing machine.

引用

页码：35 / 53

页数：19

共 28 条

[11] Consistency checking between use case scenarios and UML sequence diagrams
Bartsch, K
Robey, M
Ivins, J
Lam, CP
[J]. PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2004, : 581 - 589
[12] Consistency checking of UML model diagrams using the XML semantics approach
[J]. Kotb, Y. (kotb@jaist.ac.jp), 1600, et al.; Fuji Xerox Co., Ltd.; Hitachi, Ltd.; NEC; World Wide Web Consortium (W3C); Yahoo (Association for Computing Machinery (ACM)):
[13] A formal methodology for semantics and time consistency checking of UML dynamic diagrams
Hammal, Youcef
[J]. JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2011, 34 (02) : 197 - 211
[14] Constraints checking in UML class diagrams:: SQL vs OCL
Berrabah, D.
Boufares, F.
[J]. DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2007, 4653 : 593 - +
[15] Consistency of UML class, object and statechart diagrams using ontology reasoners
Khan, Ali Hanzala
Porres, Ivan
[J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2015, 26 : 42 - 65
[16] Checking consistency between UML class and state models based on CSP and B
Yeung, WL
[J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2004, 10 (11) : 1540 - 1558
[17] An Automated Approach for Classifying Reverse-engineered and Forward-engineered UML Class Diagrams
Osman, Mohd Hafeez
Truong Ho-Quang
Chaudron, Michel R., V
[J]. 44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018), 2018, : 396 - 399
[18] Onion graphs for focus plus context views of UML class diagrams
Kagdi, Huzefa
Maletic, Jonathan I.
[J]. 4TH IEEE INTERNATIONAL WORKSHOP ON VISUALIZING SOFTWARE FOR UNDERSTANDING AND ANALYSIS, PROCEEDINGS, 2007, : 80 - +
[19] Assessing the comprehension of UML class diagrams via eye tracking
Yusuf, Shehnaaz
Kagdi, Huzefa
Maletic, Jonathan I.
[J]. ICPC 2007: 15TH IEEE INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION, PROCEEDINGS, 2007, : 113 - +
[20] An Approach to Checking Consistency between UML Class Model and Its Java']Java Implementation
Chavez, Hector M.
Shen, Wuwei
France, Robert B.
Mechling, Benjamin A.
Li, Guangyuan
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 42 (04) : 322 - 344

← 1 2 3 →