基于本体的特征模型演化的一致性验证  

Ontology-based consistency verification for evolving feature models

作　　者：何文民[1] 沈国华[1] 黄志球[1] 王进[1] 范大娟[1] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京210016

出　　处：《计算机应用研究》2013年第7期2072-2076,共5页Application Research of Computers

基　　金：国家自然科学基金资助项目(61100034;61170043);南京航空航天大学软件质量保障与测试技术研究生主题创新实验室支持

摘　　要：针对特征模型的演化导致特征间的冲突问题,从特征模型的演化方面进行研究,提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模,建立本体的特征模型元模型;其次基于上述元模型,为网上购物系统实例建立相应的网上购物的领域特征模型,根据需求裁剪出产品特征模型;然后在Eclipse集成开发环境下,通过Jena推理机加载规则和产品特征模型进行一致性验证,当检测到冲突时,采用演化策略来消除冲突;最后通过实例研究说明了该方法的有效性。To detect conflict of feature model resulted from evolution of feature model,this paper proposed a method of ontology-based evolving feature model consistency verification.At first,it analyzed evolving feature model and built ontology-based feature model meta-model by adopting ontology.Secondly,according to the feature meta-model,it built domain model for domain of online shopping and it cut into a product feature model with specific application needs.Thirdly,it verified the consistency of the product feature model with Jena inference engine loading the rules and the product feature model.Detecting conflicts,it used evolution strategy to eliminate the conflicts.At last,the result of a case in the paper illustrates the effectiveness of the proposed method.

关 键 词：本体 演化 一致性验证 本体特征模型的元模型 领域特征模型 产品特征模型 演化策略 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]