基于本體的特征模型演化一致性驗(yàn)證研究與應(yīng)用.pdf

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

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