@inproceedings{ce1200b0cd4c4705a75916f6a3088c88,
title = "A Novel Approach to Maintain Traceability between Safety Requirements and Model Design",
abstract = "One of the major challenges confronting System Modeling Language(SysML) is that it cannot always provide verifiable guarantees of formalization and rigorousness. To verify model designs, the research of transformation from SysML to ontology emerges because of ontology's formal standards and verifiability obtained by ontology reasoners. However, existing transformation approaches are mostly limited to a single view without traceability or lack a clear process so that it can't be automated. In this paper, we propose a novel approach to maintain precious traceability between requirements and model multi-views design based on ontology. In addition, our approach contains a normative process of ontology building in support of an automated implementation. We use this approach to obtain the ontology of a safety-critical system and carry out the ontology evaluation experiment, whose results demonstrate the feasibility and efficiency of our approach.",
keywords = "Description Logic, Knowledge Engineering, Model Transformation, Ontology, SysML, Traceability",
author = "Qian Wang and Jing Liu and John Zhang and Hui Dou and Haiying Sun and Chen, \{Hong Tao\} and Xiaohong Chen and Jifeng He",
note = "Publisher Copyright: {\textcopyright} 2022 Knowledge Systems Institute Graduate School. All rights reserved.; 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022 ; Conference date: 01-07-2022 Through 10-07-2022",
year = "2022",
doi = "10.18293/SEKE2022-140",
language = "英语",
series = "Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE",
publisher = "Knowledge Systems Institute Graduate School",
pages = "31--34",
booktitle = "SEKE 2022 - Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering",
address = "美国",
}