|
|||||
|
|
| SRLtoRadl生成系统及其范畴论语义 | |
| 作者姓名： | 王昌晶 薛锦云 左正康 |
| 作者单位： | 江西师范大学省高性能计算技术重点实验室;中国科学院软件研究所计算机科学国家重点实验室;中国科学院研究生院;江西师范大学计算机信息工程学院; |
| 基金项目： | 国家自然科学基金重大国际(地区)合作与交流项目(No.61020106009);国家自然科学基金(No.61272075);江西省自然科学青年科学基金(No.20122BAB211030);江西省教育厅一般科学基金(No.GJJ13225) |
| 摘 要： | 形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段,但是形式化软件规约的获取是需求工程中一项相当困难的任务.本文针对问题需求自动化转换为形式化规约这个重要问题,研究从结构化需求语言SRL到形式化规约语言Radl自动生成系统及其高可靠性理论.为此,设计了一种受控自然语言-结构化需求语言SRL来描述问题需求;使用基于规则的方法,将结构化需求语言SRL通过分析-转换-综合三阶段生成为形式化软件规约Radl;在该方法的指导下,设计并实现了从结构化需求语言SRL到形式化软件规约Radl的生成系统SRLtoRadl;进一步,使用范畴论框架建立了SRLtoRadl生成系统生成过程的语义模型.实际效果表明该系统能有效的生成高质量形式化软件规约Radl. |
| 关 键 词： | 结构化需求语言 形式化软件规约 自动生成系统 高可靠 范畴论语义 |
| 本文献已被 CNKI 等数据库收录！ | |