论文部分内容阅读
随着领域需求的不断变化,使得领域软件的规模和复杂性不断增加,导致领域需求分析与建模成为领域工程研究中的严峻挑战。鉴于领域工程的相关性与稳定性,通过特征方法对领域需求进行分析,并建立领域特征模型,通过领域特征模型来管理领域中的核心资产。然而,领域需求的不断变化导致领域中的特征模型发生演化。如何有效对演化后的特征模型进行一致性验证,这个问题已经成为领域工程中新的一个研究热点。针对上述问题,本文提出一种基于本体的特征模型演化一致性验证方法。首先,在分析特征模型和特征模型演化的基础上,抽取特征模型演化所涉及到的基本概念,构建了本体特征模型的元模型和元模型规约。结合元模型对特征模型的演化,提出了一组特征模型的演化操作。然后,结合元模型规约和特征模型,提出了基于本体的特征模型演化一致性验证方法。对特征模型的不一致(即特征间的冲突),提供了消除特征间冲突的演化策略。最后,借助Jena推理机,设计并实现特征模型一致性验证工具,为领域需求分析与建模,提供了工具支持。以机载质量评估系统为例,建立该系统的本体领域特征模型,并裁剪出相应的本体产品特征模型。同时,通过工具对其进行一致性验证,采用演化策略特征模型的不一致,其验证结果表明本文所提的方法的可行性和有效性。