| 一种新的分析和检查需求模型 |
| |
| 引用本文： | 徐煜,毋国庆,刘翔,陈莘萌.一种新的分析和检查需求模型[J].武汉大学学报(理学版),1998(3). |
| |
| 作者姓名： | 徐煜 毋国庆 刘翔 陈莘萌 |
| |
| 作者单位： | 武汉大学软件工程国家重点实验室，武汉大学计算机科学与技术学院 |
| |
| 摘 要： | 由于ＳＣＲ（ＳｏｆｔｗａｒｅＣｏｓｔＲｅｄｕｃｔｉｏｎ）是较实用的定义软件系统需求的方法，以此方法为基础，提出一个形式化的分析和检查需求的模型．此分析和检查模型主要根据综合知识表示模型的一些基本原理，使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义，并通过执行规则来自动分析由ＳＣＲ定义的需求．为便于理解，给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性．
|
| 关 键 词： | 状态转换规则，语义计算规则，属性，软件需求 |
A FORMAL MODEL FOR ANALYZING THE SCR STYLE REQUIREMENTS SPECIFICATIONS |
| |
| Xu Yu,Wu Guoqing,Liu Xiang.A FORMAL MODEL FOR ANALYZING THE SCR STYLE REQUIREMENTS SPECIFICATIONS[J].JOurnal of Wuhan University:Natural Science Edition,1998(3). |
| |
| Authors: | Xu Yu Wu Guoqing Liu Xiang |
| |
| Abstract: | Based on SCR(Software Cost Reduction), this paper presents a formal model analyzing SCR style requirements. This model mainly apply state translation rules, semantic computing rules and attributes to define formal sementics of a tabular notation in the SCR requirements method, and may automatically analyze requirements specifications to be specified by the SCR method. Combining with a simple example, this paper introduces how to analyze consistency and completeness of requirements specifications. |
| |
| Keywords: | state transition rules semantic computing rules attributes requirements specification |
| 本文献已被 CNKI 等数据库收录！ |
