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

• 作者: 郑跃斌
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 企业流程 需求验证 软件工程
• 年，卷（期）: 2003,（28）
• 所属期刊栏目: 工程与应用
• 页码范围: 216-220
• 页数: 5页
• 分类号: TP391
• 字数: 3318字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.28.067

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑跃斌		3	13	2.0	3.0