基于本體的特征模型演化一致性驗證研究與應用.pdf

1、隨著領域需求的不斷變化，使得領域軟件的規(guī)模和復雜性不斷增加，導致領域需求分析與建模成為領域工程研究中的嚴峻挑戰(zhàn)。鑒于領域工程的相關性與穩(wěn)定性，通過特征方法對領域需求進行分析，并建立領域特征模型，通過領域特征模型來管理領域中的核心資產(chǎn)。然而，領域需求的不斷變化導致領域中的特征模型發(fā)生演化。如何有效對演化后的特征模型進行一致性驗證，這個問題已經(jīng)成為領域工程中新的一個研究熱點。
　　針對上述問題，本文提出一種基于本體的特征模型演化一致性

2、驗證方法。
　　首先，在分析特征模型和特征模型演化的基礎上，抽取特征模型演化所涉及到的基本概念，構建了本體特征模型的元模型和元模型規(guī)約。結合元模型對特征模型的演化，提出了一組特征模型的演化操作。
　　然后，結合元模型規(guī)約和特征模型，提出了基于本體的特征模型演化一致性驗證方法。對特征模型的不一致（即特征間的沖突），提供了消除特征間沖突的演化策略。
　　最后，借助Jena推理機，設計并實現(xiàn)特征模型一致性驗證工具，為領域需求