ONTOLOGY-BASED SEMANTIC VERIFICATION FOR UML BEHAVIORAL MODELS-Reference-Cited by-同舟云学术

ONTOLOGY-BASED SEMANTIC VERIFICATION FOR UML BEHAVIORAL MODELS

Published:2013-03 Issue:02 Volume:23 Page:117-145
ISSN:0218-1940
Container-title:International Journal of Software Engineering and Knowledge Engineering
language:en
Short-container-title:Int. J. Soft. Eng. Knowl. Eng.

Author:

HE HONGYUE¹,WANG ZHIXUE¹,DONG QINGCHAO¹,ZHANG WEIZHONG²,ZHU WEIXING³

Affiliation:

1. Institute of Command Information System, PLA University of Science and Technology, Nanjing 210007, China

2. Military Transportation Department, Military Transportation University, Tianjin 300161, China

3. Information Management Center, PLA University of Science and Technology, Nanjing 210007, China

Abstract

UML is now popularly applied as a requirements modeling language for software system analysis and design, and the dynamic behaviors of system are described in UML behavioral model. As the UML model suffers from lack of well-defined formal semantics, it is difficult to formally analyze and verify the behavioral model. The paper presents a method of UML behavioral model verification based on Description Logic system and its formal inference. The semantics of UML behavioral models is divided into static semantics and dynamic semantics, which are formally specified in OWL DL ontology and DL-Safe rules. To check the consistency of the behavioral models, the algorithms are provided for transforming UML behavioral models into OWL DL ontology, and hence model consistency can be verified through formal reasoning with a DL supporting reasoner Pellet. A case study is provided to demonstrate applicability of the method.

Publisher

World Scientific Pub Co Pte Lt

Subject

Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Software

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0218194013500010

Reference22 articles.

1. Pellet: A practical OWL-DL reasoner

2. G. Dragan, K. Nima and M. Milan, Handbook on Ontologies (2009) pp. 593–615.

3. S. Steffen, Reasoning Web. Semantic Technologies for Software Engineering, LNCS 6325 (2010) pp. 62–98.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. UCLAONT: Ontology-Based UML Class Models Verification Tool;Applied Sciences;2022-01-28

2. Semantic Modeling and Analysis of Natural Language System Requirements;IEEE Access;2022

3. Framework for manufacturing-tasks semantic modelling and manufacturing-resource recommendation for digital twin shop-floor;Journal of Manufacturing Systems;2021-01

4. Combining UML and ontology: An exploratory survey;Computer Science Review;2020-02

5. Virtual engineering of cyber-physical automation systems: The case of control logic;Advanced Engineering Informatics;2019-01