基于企业流程的需求形式化说明语言  

The Requirements Formal Specification Language Based on Business Process

作　　者：郑跃斌[1] 

机构地区：[1]北京华夏新达软件股份有限公司,北京100085

出　　处：《计算机工程与应用》2003年第27期227-229,232,共4页Computer Engineering and Applications

摘　　要：需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说明普通存在着三个严重的问题:模糊性、不准确性和不一致性。该文提出的基于企业流程的需求形式化说明语言,是以四元组作为描述机制,不仅能描述各活动之间的逻辑关系,而且能表达活动对信息流的操作形式,即将控制流和数据流合为一体。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.

关 键 词：企业流程 需求说明 形式化语言 

分 类 号：TP391[自动化与计算机技术—计算机应用技术] TP311[自动化与计算机技术—计算机科学与技术]