RM2Doc: A Tool for Automatic Generation of Requirements Documents from Requirements Models

被引:0
作者
Bao, Tianshu [1 ]
Yang, Jing [1 ]
Yang, Yilong [2 ]
Yin, Yongfeng [2 ]
机构
[1] Guizhou Univ, Sch Comp Sci & Technol, Guiyang, Guizhou, Peoples R China
[2] Beihang Univ, Sch Software, Beijing, Peoples R China
来源
2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022) | 2022年
基金
美国国家科学基金会;
关键词
Automatic Documentation; Requirements; Requirements Model; Requirements Documents; SPECIFICATIONS;
D O I
10.1145/3510454.3516850
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Automatic generation of requirements documents is an essential feature of the model-driven CASE tools such as UML and SysML designers. However, the quality of the generated documents from the current tools highly depends on the attached descriptions of models but not the quality of the model itself. Besides, if the stockholders ask to generate ISO/IEC/IEEE 29148-2018 conformed documents, extra templates are required. In this paper, we propose a CASE tool named RM2Doc, which can automatically generate ISO/IEC/IEEE 29148-2018 conformed requirements documents from UML models without any templates. In addition, the flow description can be generated from a use case without additional information. Moreover, it can automatically generate the semantic description of system operations only based on the formal expression of OCL. We have conducted four case studies with over 50 use cases. Overall, the result is satisfactory. The 95% requirements documents can be generated from the requirements model without any human interactions in 1 second. The proposed tools can be further developed for the industry of software engineering. The tool can be downloaded at http://rm2pt.com/rm2doc, and a demo video casting its features is at https://youtu.be/4z0Z5mrLfBc
引用
收藏
页码:188 / 192
页数:5
相关论文
共 13 条
[1]  
[Anonymous], 2007, P 22 IEEE ACM INT C
[2]  
Burden H., 2011, Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, p8:1, DOI DOI 10.1145/2095654.2095665
[3]   From UML/OCL to SBVR specifications: A challenging transformation [J].
Cabot, Jordi ;
Pau, Raquel ;
Raventos, Ruth .
INFORMATION SYSTEMS, 2010, 35 (04) :417-440
[4]   Natural language processing-enhanced extraction of SBVR business vocabularies and business rules from UML use case diagrams [J].
Danenas, Paulius ;
Skersys, Tomas ;
Butleris, Rimantas .
DATA & KNOWLEDGE ENGINEERING, 2020, 128
[5]  
Delp C, 2013, AEROSP CONF PROC
[6]  
Kroha Petr, 2006, P 9 INT C INFORM SYS, P31
[7]   Supporting Process Model Validation through Natural Language Generation [J].
Leopold, Henrik ;
Mendling, Jan ;
Polyvyanyy, Artem .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2014, 40 (08) :818-840
[8]  
Meziane F, 2008, REQUIR ENG, V13, P1, DOI [10.1007/s00766-007-0054-0, 10.1007/S00766-007-0054-0]
[9]  
Morkevicius A, 2015, 2015 IEEE INTERNATIONAL SYMPOSIUM ON SYSTEMS ENGINEERING (ISSE) PROCEEDINGS, P92, DOI 10.1109/SysEng.2015.7302739
[10]  
Wang Chao, 2010, 2010 2 INT C COMPUTE, V4