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

無效

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

技術(shù)領(lǐng)域

本發(fā)明涉及計(jì)算機(jī)領(lǐng)域，尤其是涉及一種軟件體系結(jié)構(gòu)并行演化的沖突檢測方法。

背景技術(shù)

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

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

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

發(fā)明內(nèi)容

本發(fā)明的目的是提供一種軟件體系結(jié)構(gòu)并行演化沖突的檢測方法。

本發(fā)明的技術(shù)方案包括：

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

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

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

(4)?建立軟件體系結(jié)構(gòu)并行演化沖突與臨界對的對應(yīng)關(guān)系；

(5)?軟件體系結(jié)構(gòu)并行演化沖突檢測的實(shí)現(xiàn)；

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

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

優(yōu)選：

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

其中H₁和H₂表示對軟件體系結(jié)構(gòu)超圖H分別應(yīng)用演化規(guī)則p₁和p₂進(jìn)行演化后的軟件體系結(jié)構(gòu)超圖，從而實(shí)現(xiàn)應(yīng)用p₁和p₂進(jìn)行軟件體系結(jié)構(gòu)并行演化是否產(chǎn)出沖突的判定。

進(jìn)一步優(yōu)選：

（1）建立基于演化規(guī)則的軟件體系結(jié)構(gòu)并行演化沖突定義如下：