【摘 要】網(wǎng)構(gòu)軟件在運(yùn)行的過(guò)程中，需要和多種結(jié)構(gòu)相組合，進(jìn)而更好地應(yīng)對(duì)動(dòng)態(tài)變化且具有復(fù)雜性的網(wǎng)絡(luò)環(huán)境，達(dá)到最佳的服務(wù)性能。在進(jìn)行動(dòng)態(tài)演化的過(guò)程中，需要將數(shù)據(jù)流充分應(yīng)用到其中，因此，需要形成不同的軟件模型。需要注意的是，在進(jìn)行動(dòng)態(tài)演化工作中可能會(huì)產(chǎn)生數(shù)據(jù)流的變化，進(jìn)而造成嚴(yán)重的服務(wù)障礙。因此，本文主要對(duì)面向數(shù)據(jù)流的網(wǎng)構(gòu)軟件服務(wù)動(dòng)態(tài)演化進(jìn)行細(xì)致地分析，希望能夠給相關(guān)的工作人員提供借鑒和參考。

【關(guān)鍵詞】網(wǎng)構(gòu)軟件；數(shù)據(jù)流；動(dòng)態(tài)演化；遷移

現(xiàn)如今，計(jì)算機(jī)技術(shù)正在不斷發(fā)展，相應(yīng)的計(jì)算機(jī)軟件需要具有開(kāi)放性以及多邊形的特點(diǎn)才能適應(yīng)社會(huì)發(fā)展以及日常工作的需要。網(wǎng)構(gòu)軟件是一種集自主性、動(dòng)態(tài)性以及連續(xù)性于一體的軟件類型。網(wǎng)構(gòu)軟件促進(jìn)了網(wǎng)絡(luò)構(gòu)建和資源數(shù)量的不斷增多，同時(shí)形成了跨網(wǎng)絡(luò)的數(shù)據(jù)連接，進(jìn)而形成了軟件實(shí)體，可以隨時(shí)提供智能化、多邊形的服務(wù)。可見(jiàn)，網(wǎng)構(gòu)軟件可以對(duì)外部環(huán)境的動(dòng)態(tài)性進(jìn)行感知，同時(shí)也可以按照一定的動(dòng)態(tài)目標(biāo)進(jìn)行具體的演化。

1、網(wǎng)構(gòu)軟件的運(yùn)行

從技術(shù)層面來(lái)說(shuō)，網(wǎng)購(gòu)軟件的結(jié)構(gòu)較為復(fù)雜，主要有兩方面組成，包括能夠提供具體的軟件實(shí)體和底層的支撐平臺(tái)。網(wǎng)購(gòu)軟件在正常運(yùn)行的過(guò)程中，需要底層的支撐平臺(tái)能夠?qū)?nèi)部的狀態(tài)以及相關(guān)的行為信息等進(jìn)行暴露，與此同時(shí)，還要保證上層軟件的實(shí)體和行為等進(jìn)行展現(xiàn)。然后要經(jīng)過(guò)一定的監(jiān)測(cè)和切換機(jī)制來(lái)達(dá)到網(wǎng)構(gòu)軟件的適應(yīng)性特點(diǎn)。而數(shù)據(jù)流就是包括操作數(shù)據(jù)和控制狀態(tài)在內(nèi)的內(nèi)部狀態(tài)。因此，數(shù)據(jù)流在進(jìn)行網(wǎng)構(gòu)軟件服務(wù)動(dòng)態(tài)演化的過(guò)程中起著至關(guān)重要的作用。

網(wǎng)構(gòu)軟件在進(jìn)行服務(wù)動(dòng)態(tài)演化的過(guò)程中，主要是將當(dāng)前的源模式遷移到目標(biāo)模式下，然后進(jìn)行嚴(yán)格地執(zhí)行工作。這里有很多注意事項(xiàng)，主要包括以下幾個(gè)方面：

（1）目標(biāo)模式能夠?qū)υ茨Ｊ竭M(jìn)行繼承。主要是要求源模式本身具有一定的繼承性，包括一定的數(shù)據(jù)、關(guān)系以及相應(yīng)的結(jié)果。除此之外，還可以保證其在以后的執(zhí)行工作中得到應(yīng)用。

（2）要對(duì)目標(biāo)狀態(tài)進(jìn)行保護(hù)。目標(biāo)模式的有效性是至關(guān)重要的，應(yīng)該避免出現(xiàn)動(dòng)態(tài)演化的錯(cuò)誤，減少死鎖或者是流程異常的問(wèn)題，這樣會(huì)直接影響到整個(gè)服務(wù)狀態(tài)，使其出現(xiàn)差錯(cuò)。另一方面，網(wǎng)構(gòu)軟件也是一種感知系統(tǒng)，不僅可以對(duì)環(huán)境的變化進(jìn)行感知，同時(shí)也能夠?qū)ψ陨淼臓顟B(tài)進(jìn)行感知。因此，動(dòng)態(tài)演化工作就具有一定的復(fù)雜性，需要考慮到控制流和數(shù)據(jù)流兩個(gè)方面。

具體來(lái)說(shuō)，控制流主要是為了保證軟件服務(wù)動(dòng)態(tài)演化的正確性和一致性，可以被分成兩種方式，一是將相應(yīng)的變量作為過(guò)程模型的重要組成部分，一是將活動(dòng)變量作為相應(yīng)的標(biāo)準(zhǔn)，添加到活動(dòng)過(guò)程中。以上提到的這兩種方式主要是對(duì)數(shù)據(jù)流進(jìn)行嚴(yán)格地控制，對(duì)其具體的位置進(jìn)行規(guī)定，這種方式不僅影響到數(shù)據(jù)流的服務(wù)動(dòng)態(tài)演化的特征，同時(shí)也不能滿足網(wǎng)構(gòu)軟件的基本運(yùn)行需求。另外，網(wǎng)構(gòu)軟件的核心理論也呈現(xiàn)出形式化的特征，進(jìn)行動(dòng)態(tài)演化需要首先做好建模工作，其中較為常見(jiàn)的就是Petri網(wǎng)?，F(xiàn)如今，這種網(wǎng)絡(luò)的網(wǎng)構(gòu)軟件建模無(wú)法對(duì)動(dòng)態(tài)演化進(jìn)行細(xì)致地分析和支持，需要從控制流的角度出發(fā)來(lái)對(duì)其進(jìn)行改進(jìn)，并且在此模型的基礎(chǔ)上實(shí)現(xiàn)網(wǎng)構(gòu)軟件的動(dòng)態(tài)演化過(guò)程。

在這里應(yīng)該首先談到Perti網(wǎng)絡(luò)，這是一種較為新型的網(wǎng)絡(luò)技術(shù)，在運(yùn)用的過(guò)程中，綜合了網(wǎng)絡(luò)和高級(jí)語(yǔ)言的優(yōu)點(diǎn)，同時(shí)突出了數(shù)據(jù)的重要性?？梢葬槍?duì)不同的模型特點(diǎn)來(lái)對(duì)行為進(jìn)行分析，并且可以詳細(xì)地進(jìn)行表達(dá)。因此，文章主要以Petri網(wǎng)絡(luò)為基礎(chǔ)，分析了面向數(shù)據(jù)流的網(wǎng)構(gòu)軟件服務(wù)動(dòng)態(tài)演化過(guò)程。主要是為了將數(shù)據(jù)流的基本特點(diǎn)引入到網(wǎng)構(gòu)軟件動(dòng)態(tài)演化中，并且從靜態(tài)和動(dòng)態(tài)關(guān)系兩個(gè)方面來(lái)對(duì)其進(jìn)行細(xì)致地分析和介紹

2、網(wǎng)購(gòu)軟件服務(wù)模型

2.1網(wǎng)構(gòu)軟件服務(wù)模型描述

在具體的網(wǎng)構(gòu)軟件運(yùn)行的過(guò)程中，為了實(shí)現(xiàn)此軟件的動(dòng)態(tài)形式化管理，需要將數(shù)據(jù)流和控制流的相關(guān)技術(shù)進(jìn)行引進(jìn)，同時(shí)文中主要分析了CPN系統(tǒng)建模的形式，進(jìn)而對(duì)網(wǎng)構(gòu)軟件的相關(guān)服務(wù)模式進(jìn)行詳細(xì)地探討和分析。

2.2IW_CPN數(shù)據(jù)依賴關(guān)系分析

IW_CPN的活動(dòng)（變遷）中，當(dāng)輸入?yún)?shù)vi在活動(dòng)ti中產(chǎn)生作用并輸出參數(shù)vj時(shí)，這兩個(gè)參數(shù)就產(chǎn)生了依賴關(guān)系（稱為參數(shù)依賴關(guān)系viRDvj），參數(shù)依賴關(guān)系可以分為直接參數(shù)依賴關(guān)系（記為viRDDvj）和間接參數(shù)依賴關(guān)系（記為viRDIvj）。當(dāng)一個(gè)活動(dòng)ti的輸出參數(shù)成為另一個(gè)活動(dòng)tj的輸入?yún)?shù)時(shí)，這兩個(gè)活動(dòng)就發(fā)生了數(shù)據(jù)依賴關(guān)系（稱為活動(dòng)數(shù)據(jù)依賴關(guān)系tiRTtj），同樣可以分為直接活動(dòng)數(shù)據(jù)依賴關(guān)系（記為tiRTDtj）和間接活動(dòng)數(shù)據(jù)依賴關(guān)系（記為tiRTItj）.在IW_CPN模型的活動(dòng)序列=t1t2…tn中，有活動(dòng)ti，ti+1和ti+2，它們的輸入?yún)?shù)分別為IN1={inv11，inv12，…，inv1n}，IN2={inv21，inv22，…，inv2n}和IN3={inv31，inv32，…，inv3n}，輸出參數(shù)分別為OUT1={outv11，outv12，…，outv1n}，OUT2={outv21，outv22，…，outv2n}和OUT3={outv31，outv32，…，outv3n}，經(jīng)實(shí)施后的標(biāo)識(shí)分別為Mi1，Mi2，Mi3，Mi0為ti的初始標(biāo)識(shí)。

3、網(wǎng)構(gòu)軟件服務(wù)數(shù)據(jù)流動(dòng)態(tài)演化錯(cuò)誤分析

網(wǎng)構(gòu)軟件要想實(shí)現(xiàn)服務(wù)，需要從源模式轉(zhuǎn)換到目標(biāo)模式下，因此，數(shù)據(jù)流需要滿足以下幾個(gè)方面的特點(diǎn)：

（1）要實(shí)現(xiàn)數(shù)據(jù)流的動(dòng)態(tài)性以及合理性，不能出現(xiàn)數(shù)據(jù)缺失的現(xiàn)象，這里所謂的數(shù)據(jù)缺失就是指數(shù)據(jù)沒(méi)有建立或者是數(shù)據(jù)沒(méi)有被充分利用等。可見(jiàn)數(shù)據(jù)的真實(shí)性和準(zhǔn)確是在網(wǎng)構(gòu)軟件運(yùn)行中起到了至關(guān)重要的作用。

（2）要使得數(shù)據(jù)流滿足數(shù)據(jù)依賴關(guān)系的一致性。這也是對(duì)于數(shù)據(jù)流最基本的要求。

（3）要同時(shí)滿足數(shù)據(jù)流和控制流的動(dòng)態(tài)性。需要注意的是不能由于數(shù)據(jù)依賴關(guān)系而產(chǎn)生數(shù)據(jù)的死鎖問(wèn)題。

將網(wǎng)構(gòu)軟件的服務(wù)模式從源模式朝著目標(biāo)模式的改進(jìn)，需要經(jīng)過(guò)多個(gè)環(huán)節(jié)，主要包括對(duì)基本活動(dòng)、判斷條件的細(xì)化工作，對(duì)于不符合規(guī)定的活動(dòng)序列進(jìn)行刪除或者是增加，對(duì)于循環(huán)分支或者是變量進(jìn)行添加或者是刪除，這樣才能更好地實(shí)現(xiàn)網(wǎng)構(gòu)軟件的動(dòng)態(tài)化。對(duì)于數(shù)據(jù)流來(lái)說(shuō)，需要將其分成三類，動(dòng)態(tài)演化錯(cuò)誤也可以從以下幾個(gè)方面來(lái)進(jìn)行細(xì)致地分析和介紹：將基本活動(dòng)進(jìn)行細(xì)化，主要就是指將一個(gè)活動(dòng)分成兩個(gè)或者是多個(gè)活動(dòng)，但是該操作并不會(huì)改變?cè)械臄?shù)據(jù)輸出的特點(diǎn)或者是相互之間的依賴關(guān)系。如果進(jìn)行基本活動(dòng)的細(xì)化操作對(duì)內(nèi)部的活動(dòng)產(chǎn)生了一定的影響，也不會(huì)影響到整個(gè)模型的操作方式?？傊?，需要最大限度地避免基本活動(dòng)產(chǎn)生的數(shù)據(jù)輸出或輸入的錯(cuò)誤。

4、網(wǎng)構(gòu)軟件服務(wù)實(shí)力動(dòng)態(tài)演化準(zhǔn)則

在進(jìn)行網(wǎng)構(gòu)軟件動(dòng)態(tài)演化的過(guò)程中，如果用戶的需求或者是相應(yīng)的環(huán)境出現(xiàn)了明顯的變化，當(dāng)前的服務(wù)需要進(jìn)行遷移，要朝著一個(gè)有效的目標(biāo)狀態(tài)進(jìn)行執(zhí)行，進(jìn)而滿足用戶的基本需求，或者是使得網(wǎng)構(gòu)軟件能夠適應(yīng)新的環(huán)境。但是，在實(shí)例遷移的過(guò)程中，還會(huì)受到諸多因素的限制，同時(shí)會(huì)導(dǎo)致動(dòng)態(tài)演化的錯(cuò)誤，影響到整個(gè)網(wǎng)構(gòu)軟件的動(dòng)態(tài)演化工作。因此，需要采取一些切實(shí)可行的措施來(lái)對(duì)其進(jìn)行完善和改進(jìn)。主要需要遵循以下幾個(gè)方面的原則：

4.1面向數(shù)據(jù)流的網(wǎng)構(gòu)軟件服務(wù)實(shí)例可遷移準(zhǔn)則。要保證源模式中所執(zhí)行的一系列活動(dòng)數(shù)據(jù)之間的相互依賴的關(guān)系，在進(jìn)行實(shí)例遷移之后也要保證這種關(guān)系。

4.2網(wǎng)構(gòu)軟件服務(wù)實(shí)例遷移過(guò)程中，要求不產(chǎn)生數(shù)據(jù)缺失、數(shù)據(jù)冗余和數(shù)據(jù)丟失等錯(cuò)誤，并保持?jǐn)?shù)據(jù)依賴關(guān)系的一致性，同時(shí)還需要避免由數(shù)據(jù)流/控制流交叉依賴關(guān)系而導(dǎo)致的動(dòng)態(tài)演化錯(cuò)誤。

4.3從數(shù)據(jù)流和控制流相結(jié)合的角度，保證服務(wù)實(shí)例從源模式到目標(biāo)模式可遷移的一致性、合理性和正確性。

5、相關(guān)工作

現(xiàn)如今，網(wǎng)構(gòu)軟件的服務(wù)動(dòng)態(tài)演化技術(shù)已經(jīng)得到了廣泛地應(yīng)用，主要體現(xiàn)在工作流和動(dòng)態(tài)演化兩個(gè)方面。相關(guān)的專家和學(xué)者對(duì)其進(jìn)行了深入研究和探討，提出了動(dòng)態(tài)演化的特殊性。同時(shí)將變量作為一階實(shí)體，并且將其引入到有向圖模型中去，可以對(duì)活動(dòng)本身以及相互之間的依賴關(guān)系進(jìn)行細(xì)致地描述，刻畫(huà)了數(shù)據(jù)的讀寫(xiě)操作規(guī)則。數(shù)據(jù)流要想保證其正確性，需要滿足一下兩個(gè)方面的條件：

首先，只要是輸出的變量必須要經(jīng)過(guò)定義。其次，同一個(gè)變量不能接收兩個(gè)或者是兩個(gè)以上的執(zhí)行的活動(dòng)。

總之，相關(guān)的研究工作正在不斷發(fā)展和繼續(xù)，同時(shí)也取得了一定的成效。本文主要在網(wǎng)構(gòu)軟件的基礎(chǔ)上增加了對(duì)數(shù)據(jù)流的分析部分。同時(shí)著重地強(qiáng)調(diào)了數(shù)據(jù)以來(lái)關(guān)系對(duì)動(dòng)態(tài)演化所產(chǎn)生的影響和制約作用。因此，需要將數(shù)據(jù)流分離出來(lái)進(jìn)行探究，而不應(yīng)該將其依附在控制流上。在此基礎(chǔ)上，從過(guò)程模型和活動(dòng)間的數(shù)據(jù)依賴關(guān)系等方面來(lái)進(jìn)行特別的研究，最終保證判定結(jié)果的準(zhǔn)確性和科學(xué)性。這就是網(wǎng)構(gòu)軟件服務(wù)動(dòng)態(tài)性的可行性操作。

6、結(jié)束語(yǔ)

綜上所述，為了保證網(wǎng)構(gòu)軟件動(dòng)態(tài)模式的正常運(yùn)行，需要保證其運(yùn)行狀態(tài)的有效性，這也是網(wǎng)構(gòu)軟件服務(wù)動(dòng)態(tài)演化的重中之重。本文主要根據(jù)網(wǎng)構(gòu)軟件運(yùn)行的基本特點(diǎn)以及著色Petri網(wǎng)的運(yùn)行模式等對(duì)網(wǎng)構(gòu)軟件進(jìn)行支持。并且分析了網(wǎng)構(gòu)軟件服務(wù)數(shù)據(jù)之間的依賴關(guān)系，并且將其分成慘呼和活動(dòng)數(shù)據(jù)兩方面的依賴關(guān)系，進(jìn)而明確了數(shù)據(jù)流的約束關(guān)系。在此基礎(chǔ)上，還對(duì)不同操作可能產(chǎn)生的數(shù)據(jù)錯(cuò)誤進(jìn)行了細(xì)致地分析和介紹，同時(shí)還提出了幾點(diǎn)科學(xué)的可遷移性準(zhǔn)則，保證了數(shù)據(jù)依賴關(guān)系上的一致性特征。通過(guò)具體的實(shí)驗(yàn)和相關(guān)的實(shí)例，得出真實(shí)且準(zhǔn)確的數(shù)據(jù)，根據(jù)這些資料和數(shù)據(jù)，進(jìn)一步保證了網(wǎng)構(gòu)軟件動(dòng)態(tài)演化的可行性和實(shí)用性特點(diǎn)。已得到的結(jié)論對(duì)于網(wǎng)構(gòu)軟件的發(fā)展起到一定的促進(jìn)作用，在這里提出一些展望目標(biāo)，要對(duì)數(shù)據(jù)流和控制流應(yīng)用到具體的工作中，進(jìn)一步研究檢測(cè)服務(wù)實(shí)例的可遷移性特征，并且實(shí)現(xiàn)遷移。

參考文獻(xiàn)：

[1]宋巍，馬曉星，胡昊，呂建.過(guò)程感知信息系統(tǒng)中過(guò)程的動(dòng)態(tài)演化[J].軟件學(xué)報(bào).2011（03）

[2]周航，黃志球，張廣泉，祝義，胡軍.基于PTCPN的網(wǎng)構(gòu)軟件建模與分析[J].軟件學(xué)報(bào).2010（06）

[3]曾晉，孫海龍，劉旭東，鄧婷，懷進(jìn)鵬.基于服務(wù)組合的可信軟件動(dòng)態(tài)演化機(jī)制[J].軟件學(xué)報(bào).2010（02）

作者簡(jiǎn)介：趙振（1992-），男，河南省三門(mén)峽人，周口師范學(xué)院計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院2013級(jí)軟件工程專升本班，研究方向?yàn)檐浖こ?/p>