摘要
需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说明普通存在着三个严重的问题:模糊性、不准确性和不一致性。该文提出的基于企业流程的需求形式化说明语言,是以四元组作为描述机制,不仅能描述各活动之间的逻辑关系,而且能表达活动对信息流的操作形式,即将控制流和数据流合为一体。
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.
出处
《计算机工程与应用》
CSCD
北大核心
2003年第27期227-229,232,共4页
Computer Engineering and Applications
关键词
企业流程
需求说明
形式化语言
Business process,Requirements specification,Formal specification language