基于企业流程的需求形式化验证技术  

The Requirements Formal Verification Technology Based on Business Process

作　　者：郑跃斌[1] 

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

出　　处：《计算机工程与应用》2003年第28期216-220,共5页Computer Engineering and Applications

摘　　要：需求验证是为了确保需求规格说明具有良好特性(完整性、一致性、无二义性)而对需求规格说明进行的一种审查活动。目前广泛使用的需求验证技术存在着两个问题:难以处理大型、复杂的需求文档;审查过程需要相当长的时间。该文所研究的基于企业流程的需求形式化验证技术,通过对需求文档中企业流程各活动之间的逻辑关系进行验证,从而发现其中的不一致性和二义性。For insuring that software requirements specification has good characteristic(integrality,consistency,unambigu-ous),requirements verification is an examination work for software requirements specification.Today,the requirements ver-ification technologies that are widely used exist two problems :difficult to deal with grate,complicated requirements speci-fication;take too long time in requirements specification verification.This paper presents a requirements formal verifica-tion technology based on business process.By validating the logic relationship between business activities of requirements specification,it can find inconsistency and ambiguous from requirements specification.

关 键 词：企业流程 需求验证 软件工程 

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