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