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

针对特征模型的演化导致特征间的冲突问题, 从特征模型的演化方面进行研究, 提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模, 建立本体的特征模型元模型; 其次基于上述元模型, 为网上购物系统实例建立相应的网上购物的领域特征模型, 根据需求裁剪出产品特征模型; 然后在Eclipse集成开发环境下, 通过Jena推理机加载规则和产品特征模型进行一致性验证, 当检测到冲突时, 采用演化策略来消除冲突; 最后通过实例研究说明了该方法的有效性。

Ontology-based consistency verification for evolving feature models

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.