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

王昌晶; 薛锦云; 左正康

doi:10.3969/j.issn.0372-2112.2014.01.022

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2025-07-16

- SRLtoRadl生成系统及其范畴论语义
- SRLtoRadl Generation System and Its Category Semantics
- 电子学报 2014年42卷第1期页码：137-143
- 作者机构：
  
  1. 江西师范大学省高性能计算技术重点实验室,江西,南昌,330022
  2. 中国科学院软件研究所计算机科学国家重点实验室,北京,100190
  3. 中国科学院研究生院,北京,100190
  4. 江西师范大学计算机信息工程学院,江西,南昌,330022
  5. 江西师范大学省高性能计算技术重点实验室,江西,南昌,330022
  6. 中国科学院软件研究所计算机科学国家重点实验室,北京,100190
  7. 中国科学院研究生院,北京,100190
  8. 江西师范大学计算机信息工程学院,江西,南昌,330022
- 作者简介：
- 基金信息：
  
  国家自然科学基金重大国际 (地区）合作与交流项目 (No.61020106009）;国家自然科学基金 (No.61272075）;江西省自然科学青年科学基金 (No.20122BAB211030）;江西省教育厅一般科学基金 (No.GJJ13225）
- DOI：10.3969/j.issn.0372-2112.2014.01.022
  中图分类号： TP311
- 纸质出版：2014
- 稿件说明：
移动端阅览
王昌晶, 薛锦云, 左正康. SRLtoRadl生成系统及其范畴论语义[J]. 电子学报, 2014,42(1):137-143.

WANG Chang-jing, XUE Jin-yun, ZUO Zheng-kang. SRLtoRadl Generation System and Its Category Semantics[J]. Acta Electronica Sinica, 2014, 42(1): 137-143.
王昌晶, 薛锦云, 左正康. SRLtoRadl生成系统及其范畴论语义[J]. 电子学报, 2014,42(1):137-143. DOI： 10.3969/j.issn.0372-2112.2014.01.022.

WANG Chang-jing, XUE Jin-yun, ZUO Zheng-kang. SRLtoRadl Generation System and Its Category Semantics[J]. Acta Electronica Sinica, 2014, 42(1): 137-143. DOI： 10.3969/j.issn.0372-2112.2014.01.022.

摘要

形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段，但是形式化软件规约的获取是需求工程中一项相当困难的任务.本文针对问题需求自动化转换为形式化规约这个重要问题，研究从结构化需求语言SRL到形式化规约语言Radl自动生成系统及其高可靠性理论.为此，设计了一种受控自然语言-结构化需求语言SRL来描述问题需求；使用基于规则的方法，将结构化需求语言SRL通过分析-转换-综合三阶段生成为形式化软件规约Radl；在该方法的指导下，设计并实现了从结构化需求语言SRL到形式化软件规约Radl的生成系统SRLtoRadl；进一步，使用范畴论框架建立了SRLtoRadl生成系统生成过程的语义模型.实际效果表明该系统能有效的生成高质量形式化软件规约Radl.

Abstract

Formal specification techniques are very useful and important for improving quality and productivity of software.But acquisition of formal software specification is a quite difficult task in requirement engineering.The research objective aims to the important problem about automating conversion from problem requirement into a formal specification.This paper studies the automatic generation system from structural requirement language (SRL) into formal specification-Radl and its high reliability theory.We design a controlled natural language-SRL to describe the problem requirement.Using rule-based method

convert SRL into Radl by analysis-transformation-synthesis three stages.Under the guidance of the rule-based generation method

we design and implement the generation system SRLtoRadl from SRL to Radl.Furthermore

establish the generation process semantic model of SRLtoRadl using category theory framework.Practical effects manifest it can effectively generate formal software specification of high quality.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据