ONTOLOGY BASED BEHAVIOR VERIFICATION FOR COMPLEX SYSTEMS

被引：0

作者：

Chen, Ruirui ^{[1
]}

Liu, Yusheng ^{[1
]}

Ye, Xiaoping ^{[2
]}

机构：

[1] Zhejiang Univ, State Key Lab CAD&CG, Hangzhou, Zhejiang, Peoples R China

[2] Lishui Univ, Sch Engn, Lishui, Peoples R China

来源：

PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2018, VOL 1B | 2018年

基金：

美国国家科学基金会;

关键词：

DESIGN;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

Model Based Systems Engineering (MBSE) is a mainstream methodology for the design of complex systems. Verification is a necessary part of MBSE. Although there is significant past research on verification, some deficiencies still exist, such as behavior requirement verification in the early design stage is lacking. In this study, behavior verification at the early design stage is presented. First, a unified modeling method based on SysML is proposed and some transformation rules are defined to ensure the correctness and definiteness of the ontology generation. Second, behavior requirements are classified and formalized as rules. Finally, a hierarchical behavior verification approach based on ontology reasoning is proposed. This approach is convenient for designers to use and no additional expertise is needed. A case study is provided to demonstrate its effectiveness.

引用

页数：9

共 50 条

[1] Ontology-based requirement verification for complex systems
Chen, Ruirui
Chen, Chun-Hsien
Liu, Yusheng
Ye, Xiaoping
ADVANCED ENGINEERING INFORMATICS, 2020, 46 (46)
[2] Ontology-based verification and validation of federated database systems
Masood, N
Eaglestone, B
VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 327 - 341
[3] An ontology-based approach to heterogeneous verification of embedded control systems
Kumar, R
Krogh, BH
Feiler, P
HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 : 370 - 385
[4] Ontology-based feature mapping and verification between CAD systems
Tessier, Sean
Wang, Yan
ADVANCED ENGINEERING INFORMATICS, 2013, 27 (01) : 76 - 92
[5] Construction and verification of knowledge repository of complex product collaborative design based on ontology
Xi, Wenkui
Han, Yong
Yin, Xueqin
Yuan, Xiaoyang
Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2010, 44 (03): : 72 - 76
[6] An Ontology of Specification Patterns for Verification of Concurrent Systems
Garanina, Natalia
Zubin, Vladimir
Lyakh, Tatiana
Gorlatch, Sergei
NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES (SOMET_18), 2018, 303 : 515 - 528
[7] Towards Ontology-Based Formal Verification Methods for Context Aware Systems
Schmidtke, Hedda R.
Woo, Woontack
PERVASIVE COMPUTING, PROCEEDINGS, 2009, 5538 : 309 - 326
[8] Driver Behavior Model Based on Ontology for Intelligent Transportation Systems
Fernandez, Susel
Ito, Takayuki
2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS (SOCA), 2015, : 227 - 231
[9] Towards Ontology-based Anti-Patterns for the Verification of Business Process Behavior
Roa, Jorge
Reynares, Emiliano
Laura Caliusco, Maria
Villarreal, Pablo
NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, 2016, 445 : 665 - 673
[10] Behavior reengineering based on knowledge ontology in complex administrative decision making
Gao, H
Dai, R
INTERNATIONAL CONFERENCE ON POLITICS AND INFORMATION SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS, 2003, : 148 - 152

← 1 2 3 4 5 →