[發明專利]一種軟件體系結構并行演化沖突的檢測方法

無效

• 申請號: 201210319784.5
• 申請日: 2012-09-03
• 公開（公告）號: CN102831063A
• 公開（公告）日: 2012-12-19
• 發明（設計）人: 徐洪珍;朱雪琴;宋文琳
• 申請（專利權）人: 東華理工大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 南昌新天下專利商標代理有限公司 36115
• 代理人: 涂志剛

1.一種軟件體系結構并行演化沖突的檢測方法，其特征在于技術方案包括：

(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。

2.如權1所述，其特征在于：

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

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

3.如權1或2所述，其特征在于所述建立基于演化規則的軟件體系結構并行演化沖突定義如下：

設H是一個軟件體系結構超圖，p₁:?L₁?R₁和p₂:?L₂?R₂是兩個軟件體系結構演化規則，和是兩個單步軟件體系結構演化，如果不同時滿足以下條件：

1)?存在包含超圖態射h₁:?L₁?H₂，使得h₁=p₂*?m₁，其中m₁為L₁到H的包含超圖態射；

2)?存在包含超圖態射h₂:?L₂?H₁，使得h₂=p₁*?m₂，其中m₂為L₂到H的包含超圖態射；

則稱和是并行沖突的軟件體系結構演化。