基于SWRL的软件需求一致性验证方法

• 作者: 张雷 胡海波
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 需求分解 领域本体 采用语义万维网规则语言(SWRL) 形式化方法 需求验证
• 年，卷（期）: 2010,（21）
• 页码范围: 72-75
• 分类号: TP311.5
• 字数: 3955字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.21.020

摘要

需求质量已经成为确保软件项目成功的一个重要因素,对复杂软件系统的需求进行检查和验证,是需求工程中非常重要的工作.在基于领域本体的需求获取和分析等相关工作基础上,提出了一种基于本体和语义规则的需求一致性验证方法,将自然语言描述的需求分解成若干结构良好的最小需求项,使用领域本体的概念模型对其进行形式化和结构化的表示.通过领域本体中的知识来映射需求语义,采用语义万维网规则语言(SWRL)来定义需求一致性验证的推理规则,并通过实例对此方法进行了分析和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡海波	重庆大学软件学院	36	229	9.0	13.0
2	张雷	重庆大学软件学院	20	125	6.0	10.0