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

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

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

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