| 基于企业流程的需求形式化说明语言 |
| |
| 引用本文： | 郑跃斌. 基于企业流程的需求形式化说明语言[J]. 计算机工程与应用, 2003, 39(27): 227-229,232 |
| |
| 作者姓名： | 郑跃斌 |
| |
| 作者单位： | 北京华夏新达软件股份有限公司,北京,100085 |
| |
| 摘 要： | 需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说明普通存在着三个严重的问题:模糊性、不准确性和不一致性。该文提出的基于企业流程的需求形式化说明语言,是以四元组作为描述机制,不仅能描述各活动之间的逻辑关系,而且能表达活动对信息流的操作形式,即将控制流和数据流合为一体。
|
| 关 键 词： | 企业流程 需求说明 形式化语言 |
| 文章编号： | 1002-8331-(2003)27-0227-03 |
The Requirements Formal Specification Language Based on Business Process |
| |
| Zheng Yuebin. The Requirements Formal Specification Language Based on Business Process[J]. Computer Engineering and Applications, 2003, 39(27): 227-229,232 |
| |
| Authors: | Zheng Yuebin |
| |
| Abstract: | Requirements specification is a documentation work for requirements analysis.Software requirements specification is very important in software system development ,test,quality guarantee,and project management.Existing software requirements specification is written with natural languages.Since natural languages are not rigorous,there are three serious problems in software specification:fuzziness,inaccuracy,and variance.This paper presents a requirements formal specification language based on business process.This formal language can not only describe the logic relationship between business activities,but also represent how business activities operate data flow.That is,it combines control flow with data flow. |
| |
| Keywords: | Business process Requirements specification Formal specification language |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
