技術領域

本發明涉及計算機領域，尤其是涉及一種軟件體系結構并行演化的沖突檢測方法。

背景技術

隨著計算機技術如普適計算、移動計算、云計算等的不斷發展，軟件的用戶需求、計算環境等也不斷發生改變。當面對這些不斷變化的需求和環境時，軟件往往變得力不從心。為了提高適應性和增強生命力，軟件必須能夠隨時間不斷被改變。軟件的這種不斷被改變、調整、加強的過程就是軟件演化。軟件演化已經成為軟件生命周期中的重要組成部分。研究人員嘗試從軟件需求、體系結構、代碼復用等方面揭示軟件演化的規則或規律，并探索軟件演化過程的描述及分析方法。

現代軟件的復雜性決定了軟件演化研究首先應從宏觀層面入手，這樣避免過早陷入瑣碎的細節中。軟件體系結構描述了軟件系統的結構組成、組成元素之間的交互、連接，及約束等。軟件體系結構通常以構件、連接件的形式描述系統的組成元素及其交互等信息，為人們在全局上把握軟件的演化提供了一條有效途徑。如何在軟件體系結構層次上刻畫和分析演化已成為研究軟件演化的關鍵問題。

雖然目前研究者在軟件體系結構演化方面做了較多的工作，但大多數方法都沒有考慮軟件體系結構演化的沖突問題。如何分析和檢測軟件體系結構演化沖突是保證軟件體系結構演化正確的必要手段之一，對保證軟件體系結構演化的正確性具有重要意義。然而，目前還很少見軟件體系結構演化沖突的檢測方法。

發明內容

本發明的目的是提供一種軟件體系結構并行演化沖突的檢測方法。

本發明的技術方案包括：

(1)?建立基于演化規則的軟件體系結構并行演化沖突定義；

(2)?建立軟件體系結構并行演化沖突的特征；

(3)?建立軟件體系結構并行演化臨界對的定義；

(4)?建立軟件體系結構并行演化沖突與臨界對的對應關系；

(5)?軟件體系結構并行演化沖突檢測的實現；

其中，軟件體系結構演化規則的定義如下：

設有一個軟件體系結構，它對應的超圖為H，給定一個超圖產生式規則p:?L?R，其中L稱為p的左手邊(left-hand?side)，R稱p的為右手邊(right-hand?side)，如果L是H的一個子圖，用超圖R對L替換，并保留H中其它部分不變，得到另一個超圖H'，且H'為另一個軟件體系結構超圖，則稱p為一個軟件體系結構演化規則，此時也稱演化規則p可應用于軟件體系結構超圖H。

優選：

通過首先建立基于演化規則的軟件體系結構并行演化沖突的定義和特征，以及軟件體系結構并行演化臨界對的定義，然后建立軟件體系結構并行演化沖突與臨界對的對應關系，接著對每對演化規則p₁:?L₁?R₁和p₂:?L₂?R₂，構造L₁和L₂所有能夠形成的聯合超圖滿射(m₁,?m₂)，以及所形成的體系結構超圖H，最后根據軟件體系結構并行演化沖突的特征，判斷和是否是臨界對；

其中H₁和H₂表示對軟件體系結構超圖H分別應用演化規則p₁和p₂進行演化后的軟件體系結構超圖，從而實現應用p₁和p₂進行軟件體系結構并行演化是否產出沖突的判定。

進一步優選：

（1）建立基于演化規則的軟件體系結構并行演化沖突定義如下：