基于本体的概念体系结构导出的一致性验证  

Ontology-based Consistency Verification of Conceptual Architecture Derivation

作　　者：江东宇 康达周[1,2] 王顺[1] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,江苏南京210016 [2]软件新技术与产业化协同创新中心,江苏南京210016

出　　处：《计算机与现代化》2017年第8期84-90,97,共8页Computer and Modernization

基　　金：中央高校基本科研业务费专项资金资助项目(NS2014099);江苏省自然科学基金基础研究计划资助项目(BK20130812);武汉大学软件工程国家重点实验室开放基金资助项目(SKLSE2012-09-09);国防基础科研计划重点项目(JCKY2016206B001)

摘　　要：软件产品线工程方法中利用需求特征模型自动导出概念体系结构,然而手工检测概念体系结构对需求的表达是否一致是降低导出效率的主要因素。鉴于此,本文提出一种基于本体的概念体系结构导出的一致性验证方法,首先建立概念体系结构元模型,然后在此基础上构建概念体系结构本体并提出相应的推理规则;在产品特征模型到概念体系结构映射过程中,使用该本体对映射后的概念体系结构进行本体描述;利用SWRL规则描述语言将自然语言描述的推理规则转换成本体推理机能够识别的数据格式;将本体模型和规则文件作为推理机的输入进行推理,通过检验模型满足规则的程度完成模型的一致性验证。通过一个VOIP系统案例对上述步骤进行详细描述,以此验证该方法的可行性,并且在理论上与其他常见的一致性验证方法进行对比来评估其优缺点。In the software product line engineering,the feature model is used to automatically derive the conceptual architecture.However,it is the main factor to reduce the export efficiency whether manual detection concept architecture is consistent with the demand expression or not. In order to assist designers to carry out efficient conceptual architecture derivation,this paper proposed an ontology-based method for consistency verification. Firstly,the paper modeled the conceptual architecture meta-model. On the basis of this,the conceptual architecture ontology model was constructed and the corresponding reasoning rules were proposed.Then in the process of deriving the conceptual architecture,the ontology was used to describe it. After that the SWRL language is used to convert the inference rules of the natural language description into the data format which can be recognized by the ontology reasoning machine. Finally,the rule file and ontology description file were imported into the Jena inference engine to verify the consistency. In this paper,a case of VOIP system is described in detail,which verifies the feasibility of the method,and compares the advantages and disadvantages of the method in theory with other common consistency verification methods.

关 键 词：本体 概念体系结构 一致性验证 特征模型 Jena推理 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]