一種基于基數(shù)的領(lǐng)域特征模型檢驗(yàn)方法.pdf

1、基于基數(shù)(Cardinality)的領(lǐng)域特征建模是一種特殊的領(lǐng)域建模技術(shù)。該技術(shù)通過引入特征基數(shù)、特征組基數(shù)、特征屬性和特征圖引用等技術(shù)對(duì)FODA[2](Feature－OrientedDomainAnalysis面向特征的領(lǐng)域分析方法)方法進(jìn)行了擴(kuò)展。基數(shù)機(jī)制允許在領(lǐng)域模型定制應(yīng)用模型過程中，對(duì)領(lǐng)域模型中的特征和約束關(guān)系進(jìn)行復(fù)制，因此在應(yīng)用模型中將存在同一特征的多個(gè)克隆體。采用基數(shù)思想將帶來以下兩個(gè)問題：一個(gè)問題是特征間的附加約束關(guān)系

2、語義缺失，從而導(dǎo)致依賴約束檢驗(yàn)應(yīng)用模型的方法失效。另一問題是，在定制后的應(yīng)用模型中，由于包含了大量的特征和約束克隆體，造成應(yīng)用特征模型龐大復(fù)雜，模型的正確性檢驗(yàn)效率明顯降低。 針對(duì)目前基數(shù)特征模型驗(yàn)證中遇到的以上問題，參考領(lǐng)域特征模型檢驗(yàn)方法，結(jié)合附加約束關(guān)系在特征模型中的語義信息，本文提出基數(shù)特征模型檢驗(yàn)方法，解決了由基數(shù)機(jī)制引起的模型檢驗(yàn)問題。本文主要研究為以下幾方面。 對(duì)于語義缺失問題，首先通過對(duì)特征間的關(guān)系的分析

3、，給出了特征間附加約束的兩個(gè)具體約束種類，即二元約束關(guān)系和復(fù)合約束關(guān)系。然后，根據(jù)約束關(guān)系的完整語義在模型定制后所需求的信息，給出了兩類附加約束關(guān)系的Schema定義和約束表達(dá)形式。以便于本方法對(duì)特征模型進(jìn)行檢驗(yàn)。 針對(duì)克隆機(jī)制致使模型中存在大量的特征和附加約束關(guān)系拷貝，從而導(dǎo)致模型檢驗(yàn)效率較低的問題。本文依據(jù)特征的屬性和選擇狀態(tài)對(duì)附加約束判定的影響，利用無效附加約束關(guān)系的充分條件作為判定規(guī)則，在特征模型檢驗(yàn)前篩除無效附加約束關(guān)