点击次数：

所属单位：计算机科学与技术学院/人工智能学院/软件学院

发表刊物：计算机与现代化

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

摘要：软件产品线工程方法中利用需求特征模型自动导出概念体系结构,然而手工检测概念体系结构对需求的表达是否一致是降低导出效率的主要因素。鉴于此,本文提出一种基于本体的概念体系结构导出的一致性验证方法,首先建立概念体系结构元模型,然后在此基础上构建概念体系结构本体并提出相应的推理规则;在产品特征模型到概念体系结构映射过程中,使用该本体对映射后的概念体系结构进行本体描述;利用SWRL规则描述语言将自然语言描述的推理规则转换成本体推理机能够识别的数据格式;将本体模型和规则文件作为推理机的输入进行推理,通过检验模型满足规则的程度完成模型的一致性验证。通过一个VOIP系统案例对上述步骤进行详细描述,以此验证该方法的可行性,并且在理论上与其他常见的一致性验证方法进行对比来评估其优缺点。

是否译文：否

发表时间：2017-09-01

合写作者：江东宇,王顺

通讯作者：康达周