SRLtoRadl生成系统及其范畴论语义.pdfVIP

第 １期 电 子 学 报 Ｖｏｌ．４２ Ｎｏ．１ 年 月 ２０１４ １ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｊａｎ． ２０１４ ＳＲＬｔｏＲａｄｌ生成系统及其范畴论语义 ，，， ， ，，， １２３４ １２ １２３４ 王昌晶 ，薛锦云 ，左正康 （ 江西师范大学省高性能计算技术重点实验室，江西南昌 ； 中国科学院软件研究所计算机科学国家重点实验室，北京 ； １． ３３００２２２． １００１９０ 中国科学院研究生院，北京 ； 江西师范大学计算机信息工程学院，江西南昌 ） ３． １００１９０４． ３３００２２ 摘 要： 形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段，但是形式化软件规约 的获取是需求工程中一项相当困难的任务 本文针对问题需求自动化转换为形式化规约这个重要问题，研究从结构化 ． 需求语言 到形式化规约语言 自动生成系统及其高可靠性理论 为此，设计了一种受控自然语言 结构化需求 ＳＲＬ Ｒａｄｌ ．  语言 来描述问题需求；使用基于规则的方法，将结构化需求语言 通过分析 转换 综合三阶段生成为形式化软 ＳＲＬ ＳＲＬ   件规约 ；在该方法的指导下，设计并实现了从结构化需求语言 到形式化软件规约 的生成系统 ； Ｒａｄｌ ＳＲＬ Ｒａｄｌ ＳＲＬｔｏＲａｄｌ 进一步，使用范畴论框架建立了 生成系统生成过程的语义模型 实际效果表明该系统能有效的生成高质量 ＳＲＬｔｏＲａｄｌ ． 形式化软件规约Ｒａｄｌ． 关键词： 结构化需求语言；形式化软件规约；自动生成系统；高可靠；范畴论语义 中图分类号： 文献标识码： 文章编号： （ ） ＴＰ３１１ Ａ ０３７２２１１２２０１４０１０１３７０７ 电子学报 ： ： ： ＵＲＬ ｈｔｔｐ／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ ＤＯＩ １０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１４．０１．０２２ ＳＲＬｔｏＲａｄｌＧｅｎｅｒａｔｉｏｎＳｙｓｔｅｍａｎｄＩｔｓＣａｔｅｇｏｒｙＳｅｍａｎｔｉｃｓ