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

摘要：

需求验证是为了确保需求规格说明具有良好特性(完整性、一致性、无二义性)而对需求规格说明进行的一种审查活动.目前广泛使用的需求验证技术存在着两个问题:难以处理大型、复杂的需求文档;审查过程需要相当长的时间.该文所研究的基于企业流程的需求形式化验证技术,通过对需求文档中企业流程各活动之间的逻辑关系进行验证,从而发现其中的不一致性和二义性.

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

所属期刊栏目：39

分类号：TP391(计算技术、计算机技术)

在线出版日期：2004-02-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：216-220