[发明专利]一种基于本体的RUCM模型一致性检查方法

权利要求书

1.一种基于本体的RUCM模型一致性检查方法，其特征在于，包括如下步骤：

步骤S1、建立用于RCUM模型检验的本体模型库；

本体模型库中的本体概念元素模板包括概念节点，用于描述领域中的相关概念；概念之间的关系，用于描述概念之间的关系；概念节点属性，描述概念节点的其它属性，起到对概念的解释和补充作用，用于软件需求分析推导，为检验一致性提供附加的信息和标准；

步骤S2、建立步骤S1中的本体模型库到RUCM模型的概念映射关系，形成关系映射模板；

所述步骤S2包括如下子步骤：

步骤S201、确定和标注本体的核心概念属性；

步骤S202、识别和标注软件需求的概念；

针对概念、概念之间的关系和概念属性这三类元素分别设计了扩展支持本体模型检查的RUCM模型，即OntoRUCM模型；模型中包含对本体中概念识别的支持，针对本体中概念扩展了附件模板的附属模板，附属模板包含RUCM模型中具体使用的概念的名字、概念的描述、概念的依赖和概念对于本体的节点引用；将RUCM模型中使用的领域概念和本体模型关联起来，包含对本体模型中概念之间的关系识别的支持，并将概念识别的关系进行标注；

步骤S203、在标注好本体的核心概念属性和软件需求的概念的基础上，得到两者之间的对应规则；

步骤S3、根据所述步骤S2建立的映射关系定义相应的一致性检验规则，通过规则自动检测RUCM需求中描述的不一致，从而形成相应的评估报告；

所述步骤S3包括如下子步骤：

步骤S301、根据所述步骤S2建立的映射关系定义相应的软件需求一致性检验规则和完整性检验规则；

所述软件需求一致性检验规则包括：

本体模型的同一概念，RUCM模型在使用时不能出现不一致词汇；

本体模型的概念关系，RUCM模型在使用时不能误用；

RUCM模型中对本体模型中同一概念的引用必须完全规约到一类；

所述软件需求完整性检验规则包括：

RUCM模型中引用的领域概念，都应在领域本体中有定义；

本体模型中概念的关系流，RUCM模型中概念在使用时必须要完整引用；

步骤S302、设计相应的分析需求的算法，自动形成相应的评估报告；

所述分析需求的算法，在建立好的领域本体和需求信息库中做分析，自动检测RUCM需求中描述的不一致，从而形成相应的评估报告；所述需求信息库是包括对自由文本需求和RUCM需求模型这两类软件需求提取生成的需求信息的集合；

所述分析需求的算法采用以下三步：

对需求信息库进行遍历，查找不符合规则的需求；

对领域本体进行遍历，查找需求信息库中不完整的需求；

统计查找到的需求并生成相应的分析需求的报告。

2.根据权利要求1所述的基于本体的RUCM模型一致性检查方法，其特征在于，

所述步骤S1包括如下子步骤：

步骤S101、通过分析领域相关的背景材料，形成抽象的领域核心概念，构建领域相关的本体概念库；

步骤S102、结合软件需求所需要实现的目标软件系统的领域背景分析核心概念之间的关系，得到本体关系库；

步骤S103、根据领域核心概念之间的关系，添加领域核心概念特定属性得到本体概念属性库；

步骤S104、根据上述的本体概念库、本体关系库和本体概念属性库，形成本体模型的模板集合，然后将模板集合整合形成用于RUCM模型检验的本体模型库即领域本体库。

3.根据权利要求1所述的基于本体的RUCM模型一致性检查方法，其特征在于，所述OntoRUCM模型的建模工具框架在基础层复用了Eclipse的工作台、Eclipse的插件开发环境PDE、Eclipse建模框架EMF的部分功能，在扩展层提供了扩展类库，在编辑器层使用了编辑器和插件相互独立的架构方式；所述Eclipse的工作台提供基本图形界面元素和文件资源管理功能，所述Eclipse的插件开发环境PDE实现元模型层面和编辑器层面的动态扩展功能，所述Eclipse建模框架EMF用以实现模型文件与其他工具的兼容性，所述扩展类库用于增加一致性检查的扩展点。