鲍阳^1,2,杨志斌^1,2,杨永强^1,2,谢健^1,2,周勇^1,2,岳涛^1,2,黄志球^1,2,郭鹏³

¹（南京航空航天大学计算机科学与技术学院 南京 211106);²（高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学) 南京 211106);³（航空工业计算所 西安 710065) (baoyang_864@163.com)

出版日期: 2021-04-01


基金资助:国家自然科学基金项目(62072233);航空科学基金项目(201919052002);中央高校基本科研业务费专项资金项目(NP2017205)

An Automated Approach to Generate SysML Models from Restricted Natural Language Requirements in Chinese

Bao Yang^1,2, Yang Zhibin^1,2, Yang Yongqiang^1,2, Xie Jian^1,2, Zhou Yong^1,2, Yue Tao^1,2, Huang Zhiqiu^1,2, Guo Peng³

¹（School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106);²（Key Laboratory of Safety-critical Software,Ministry of Industry and Information Technology (Nanjing University of Aeronautics and Astronautics),Nanjing 211106);³（Aviation Computing Technology Research Institute,Xi'an 710065)

Online: 2021-04-01


Supported by:This work was supported by the National Natural Science Foundation of China (62072233), the Aviation Science Fund of China (201919052002), and the Fundamental Research Funds for the Central Universities (NP2017205).

摘要/Abstract

摘要： 模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system, SC-CPS)设计与开发的重要手段.然而，安全关键信息物理融合系统需求往往是通过自然语言描述的，如何自动化或半自动化链接自然语言需求和基于模型驱动的系统设计与开发过程是目前面临的重要挑战.面向安全关键信息物理融合系统，提出基于限定中文自然语言需求的SysML模型自动生成方法RNL2SysML.首先，为了降低自然语言需求表达的二义性，提出一种结构化的限定自然语言需求模板进行需求规约，并通过基于人工智能的(AI)安全关键信息物理融合系统术语提取和推荐方法，对系统需求中的领域术语和数据字典加以自动提取，提高限定自然语言需求规约工作的自动化程度.然后，给出限定自然语言需求规约到SysML系统设计模型的转换方法.最后，基于开源工具Papyrus对所提方法进行了原型工具实现，并通过航空领域的飞机空气增压系统(airplane air compressor system)案例验证了方法的有效性和实用性.

参考文献

相关文章 2

[1]	何啸, 麻志毅, 邵维忠, 胡长军. 一种针对模型转换的图形化建模语言[J]. 计算机研究与发展, 2015, 52(9): 2145-2162.
[2]	朱世佳 王亚东 季春光 陶海军. 基于TGG的SBML与其他生物建模语言间的自动转换研究[J]. , 2011, 48(5): 885-896.

PDF全文下载地址:

https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=4397