计算机与现代化Issue(8)：84-90,97,8.DOI:10.3969/j.issn.1006-2475.2017.08.018
基于本体的概念体系结构导出的一致性验证
Ontology-based Consistency Verification of Conceptual Architecture Derivation
摘要
Abstract
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推理Key words
ontology/conceptual architecture/consistency verification/feature model/Jena inference分类
信息技术与安全科学引用本文复制引用
江东宇,康达周,王顺..基于本体的概念体系结构导出的一致性验证[J].计算机与现代化,2017,(8):84-90,97,8.基金项目
中央高校基本科研业务费专项资金资助项目(NS2014099) （NS2014099）
江苏省自然科学基金基础研究计划资助项目(BK20130812) （BK20130812）
武汉大学软件工程国家重点实验室开放基金资助项目(SKLSE2012-09-09) （SKLSE2012-09-09）
国防基础科研计划重点项目(JCKY2016206B001) （JCKY2016206B001）
