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

摘要：

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

关键词：需求分解、领域本体、采用语义万维网规则语言(SWRL)、形式化方法、需求验证

所属期刊栏目：46

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金the National Natural Science Foundation of china under Crrant 60803027;国家高技术研究发展计划863the National High-Tech Research and Development Plan of China under Grant 2007AA01Z445;重庆市自然科学基金the Natural Science Foundation of Chongqing City of China under Grant 2008BB2312

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

页数：共4页

页码：72-75