A New Code Generation Method for Software Engineering: From Requirements Model to Source Code

被引：0
作者：
Huang, Bo [1 ,3 ]
Fang, Zhijun [1 ]
Wu, Guoqing [2 ]
Sun, Xiankun [1 ]
Gao, Yongbin [1 ]
机构：
[1] SUES, Sch Elect & Elect Engn, Shanghai, Peoples R China
[2] Wuhan Univ, Sch Comp Sci, Wuhan, Hubei, Peoples R China
[3] Jiangxi Univ Finance & Econ, Sch Informat Technol, Nanchang, Jiangxi, Peoples R China
来源：
NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES | 2017年 / 297卷
基金：
中国国家自然科学基金;
关键词：
Code generation; development pattern; architecture refinement tree;
D O I：
10.3233/978-1-61499-800-6-747
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
the existing software engineering techniques for software synthesis from requirements model to source code have many limitations. The synthesis approach shows that these limitations focused on the refinement relationship between the requirements specification and the desired system. We have to propose a new approach for code generation to overcome such limitations, i.e. refining the software behaviors in requirements model to code, distinguishing function information and architecture information from requirements model, among others. Hence, in this thesis we aim at the problems that how to modeling based on software behaviors, how to delimitate the system architecture and so on. And we also will show a sample, ultimately, to demonstrate our approach. Meanwhile, some additional techniques for synthesis to ensure the correctness of the source code will be recommended.
引用
收藏
页码：747 / 765
页数：19
相关论文
共 48 条
[1]  
Abrial J.R., 1996, B BOOK ASSIGNING PRO
[2]  
Alur R, 1999, LECT NOTES COMPUT SC, V1664, P114
[3]  
Anderl R, 2007, LJUBLJANA SLOVENIA
[4]  
[Anonymous], 1976, A discipline of programming
[5]   Goal programming model: A glorious history and a promising future [J].
Aouni, B ;
Kettani, O .
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2001, 133 (02) :225-231
[6]  
Armoni R, 2002, LECT NOTES COMPUT SC, V2280, P296
[7]  
Baur H, 2003, DE, Patent No. [10145608 A1[P], 10145608]
[8]  
Baur H, 2011, US, Patent No. [US8005261[P], 8005261]
[9]   A FORMAL SEMANTICS FOR OBJECT MODEL DIAGRAMS [J].
BOURDEAU, RH ;
CHENG, BHC .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (10) :799-821
[10]   Model mapping using formalism extensions [J].
Caplat, G ;
Sourrouille, JL .
IEEE SOFTWARE, 2005, 22 (02) :44-+
12345