论文研究-基于SWRL的软件需求一致性验证方法.pdf

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