1、軟件產(chǎn)品線是當前最為成功且有效的系統(tǒng)化復(fù)用手段。軟件產(chǎn)品線工程主要涵蓋領(lǐng)域工程和應(yīng)用系統(tǒng)工程這兩個階段，模型是這兩個階段中被生產(chǎn)和使用的最為重要的制品。在領(lǐng)域工程中涉及到的制品稱為領(lǐng)域模型，在應(yīng)用系統(tǒng)工程中涉及到的制品稱為應(yīng)用模型。前者以可變性為核心描述了軟件產(chǎn)品線的需求與設(shè)計決策中的共性和可變性;而后者則是基于用戶的實際需求對領(lǐng)域模型可變性進行定制的結(jié)果。領(lǐng)域模型和應(yīng)用模型之間的一致性是保證軟件產(chǎn)品線長期穩(wěn)定與發(fā)展的重要原則。然而，在

2、實際情況中，領(lǐng)域模型和應(yīng)用模型通常是由不同的團隊開發(fā)和維護的。這些模型往往會獨立演化，一旦沒有有效的機制保證模型間的一致性，則會使得模型間的差異日益增大，對軟件產(chǎn)品線的成功實施造成負面影響。因此，能夠支持各種類型的領(lǐng)域模型與應(yīng)用模型之間同步演化的機制對于軟件產(chǎn)品線的長期發(fā)展是至關(guān)重要的。然而，由于不同類型模型的結(jié)構(gòu)類似且針對這些特定類型模型的同步操作也較為相近，因此為不同類型的模型分別開發(fā)同步機制可能會變成一件冗余且容易出錯的工作。

3、r>　　針對上述關(guān)注點，本文提出一種軟件產(chǎn)品線領(lǐng)域模型與應(yīng)用模型的通用同步演化方法。該方法的核心是一個被稱為SPL-GSync的基于模型的通用同步框架。框架涵蓋一個通用元模型，能夠通過一種通用的描述方式表示不同種類的產(chǎn)品線模型的內(nèi)容，尤其是領(lǐng)域模型所包含的可變性?；谠撛Ｐ筒⒔Y(jié)合產(chǎn)品線通用同步演化場景，我們定義了一套可復(fù)用的同步規(guī)則集，這套規(guī)則集涵蓋了從領(lǐng)域模型到應(yīng)用模型的正向傳播規(guī)則，以及從應(yīng)用模型到領(lǐng)域模型的逆向反饋規(guī)則。使用這套

4、框架，開發(fā)者只需定義不同類型的模型與通用模型之間的雙向轉(zhuǎn)換程序，SPL-GSync便能間接地實現(xiàn)不同類型的領(lǐng)域模型與應(yīng)用模型之間的一致性同步。另外，同步過程會涉及模型的合并，而合并的過程可能會產(chǎn)生沖突，本文對可能出現(xiàn)的沖突場景進行分析，并提出了典型的沖突解決方案。最后，我們將SPL-GSync實現(xiàn)為遵循C/S架構(gòu)的軟件工具原型，并以特征模型以及UML類圖為例展示了該工具原型在實現(xiàn)產(chǎn)品線領(lǐng)域模型與應(yīng)用模型的同步演化過程中的實用性與通用性。