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

無效

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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