需求不一致性的管理是复杂软件系统开发中的关键问题,此问题解决的如何直接关系到软件需求规格说明的质量,进而影响到最终获得的软件产品的质量.但是,目前虽然已经有大量的工作致力于需求不一致性问题的解决,大部分工作局限在语法层次上,我们仍然缺乏系统而有效的语义层次的需求不一致性管理方案. 基于我们所提出的一个抽象的需求精化过程,本文以领域本体作为语义层次需求不一致性管理的基础,根据对系统的安全性、活性约束以及领域本体系统地抽取需求一致性模式,作为待检验的特性,并通过模型检测工具来检测用户需求是否符合待检验特性的约束,以此实现语义层次的用户需求不一致性检测.同时,本文还在不一致检测的基础上,根据领域本体对每种不一致性提出相应的解决方案.最后,本文以图书馆管理系统为例子对我们的方法进行了验证.本文的主要研究内容包括:1.基于系统外部展现和内部结构的需求精化模型:软件系统的需求抽取过程是需求的逐步精化过程.软件系统的需求由表达与所处环境交互的外部需求和体现系统分解的内部结构两部分组成,其中外部需求表达了软件系统需求的语义.需求精化过程根据外部需求通过系统分解得到系统的内部结构,并通过不断的系统分解,得到逐步求精的需求精化树.需求精化树的每个切平面均为一完整的软件系统需求.2.基于状态变迁系统的领域本体:我们提出:软件系统与所处环境的交互,其真实效果是改变环境中实体的状态,因此我们将软件系统的需求表达为该软件系统可作用的环境中的一组实体的状态变迁图,环境中的每个实体对应一个状态变迁图.这样,由领域专家提供的领域实体的状态变迁,构成了基于状态变迁系统的领域本体.3.基于领域本体的需求一致性规则抽取:目前的需求不一致性管理方法,基木上都是针对系统的特定属性,不能系统地实现对需求不一致性的管理.本文在所构造的基于状态变迁系统的领域本体的基础上,系统地实现了安全性、活性以及领域特性等需求一致性模式的抽取.4.基于领域本体的需求不一致性管理:根据用户输入的需求描述和状态变迁规则,经过推理生成描述用户需求的实体状态变迁系统;以由领域本体所抽取的需求一致性模式作为待检验特性,采用模型检测工具检验用户需求是否符合待检验特性的约束:并在需求不一致性检测的基础上,根据领域本体对每一种不一致性提出相应的解决方案.5.实例研究:以IWSSD4<1>中所介绍的图书馆管理系统为实例,综合验证我们的方法,主要内容包括领域本体的构造、需求一致性模式的抽取、需求的表达与不一致性的检测、需求不一致性的解决等.