一種基于XCFG的組合服務可信性演化影響分析方法技術

本發明專利技術公布了一種基于XCFG的組合服務可信性演化影響分析方法。首先，將演化前的組合服務建模為XCFG，并根據組件服務間的數據依賴關系建立組件服務之間的數據依賴圖；其次，將演化后的組合服務轉換為XCFG及對應的組件服務數據依賴圖；根據組合服務可信性計算方法識別出演化操作對哪些組件服務的可信性產生影響并確定需要重新計算可信性的流程片段；最后，計算整個組合服務演化后的可信性并評估該演化操作對組合服務可信性的影響。本發明專利技術所提出的組合服務可信性演化影響分析方法能夠準確評估該演化對組合服務可信性的影響。

【技術實現步驟摘要】
本專利技術提出了一種基于XCFG的組合服務可信性演化影響分析方法，主要是利用擴展的控制流圖解決組合服務演化過程中可信性影響分析問題，屬于可信軟件演化影響分析的

技術介紹
隨著Web服務技術的日趨成熟，越來越多穩定易用的Web服務共享在網絡上供服務消費者使用。服務組合逐漸成為構建分布式應用和電子商務解決方案的主要方法。面對眾多的服務，服務集成者如何選擇可信的組件服務并保障組合服務的可信性成為一個挑戰。組合服務的可信性是由組件服務及其交互模式共同決定的。目前已有大量的文獻 研究組合服務可信性的計算方法，主要可以分為約減法、乘積法、概率法。本文采用的組合服務可信性的計算方法基于組件服務之間的數據依賴。組合服務通常運行于動態多變的網絡環境下，用戶需求的改變以及環境的改變都要求組合服務能夠快速的演化以適應改變。組合服務面臨的演化操作可以分為組件服務的替換(綁定的變化)和流程結構的調整，其中流程結構的調整又可以分為組件服務的增加、刪除和組件服務執行順序的調整等。當組合服務演化后如何識別這些演化帶來的影響并評估該演化對組合服務可信性的影響顯得格外重要。BPEL (Business Process Execution Language)是一種供服務生產者或消費者進行流程設計的服務組合語言。BPEL得到工業界和學術界的廣泛支持逐漸成為事實上的標準。因此本文的方法是基于BPEL語言進行的。本文提出了一種基于擴展控制流程圖(XCFG)的組合服務可信性演化影響分析方法，該方法的特點在于不僅可以很好地描述BPEL流程中的控制流還有助于分析BPEL流程中的數據流，從而可以為組合服務可信性的演化影響分析提供必要的幫助。
技術實現思路
本專利技術的目的是提出一種基于XCFG來分析各種演化操作對組合服務可信性的影響程度的方法。為了實現上述目的，采用如下技術方案基于XCFG的組合服務可信性演化影響分析方法，包括如下步驟I)將演化前的BPEL流程建模為XCFG即基于擴展控制流圖，并根據控制結構將流程劃分為若干片段；2).根據XCFG構建組件服務之間的數據依賴圖，并計算組件服務在該組合服務中的實際可信性；3).在步驟I與步驟2的基礎上，計算每個流程片段的可信性進而計算整個組合服務的可信性；4).構造演化后的XCFG及對應的組件服務數據依賴圖；5)根據組件服務數據依賴圖找出受影響的組件服務，并且重新計算其可信性；根據受影響的組件服務重新計算受影響的流程片段的可信性，進而計算整個組合服務的可信性；6).在步驟3)與步驟5)的基礎之上，比較演化前后組合服務可信性的值，從而計算出演化對整個組合服務的影響程度。有益效果本專利技術方法提出了一種基于XCFG的組合服務可信性演化影響分析方法，通過比較演化前后的BPEL流程識別修改影響的數據流和控制流，進而找出需要重新計算可信性的流程片段，主要用于解決組合服務演化中可信性影響分析問題。主要有以下一些優點(I)在信息豐富的模型層面進行修改分析，能夠較準確識別出受演化操作影響的部分。利用數據流和控制流可以有效識別出和演化操作相關的BPEL流程部分。這些部分·都有可能使得組合服務的可信性產生變化。本專利技術的演化影響分析方法基于信息豐富的XCFG，所以綜合考慮了數據流和控制流，提高了演化影響分析的精確性。(2)利用組件服務之間的數據依賴圖，能夠直觀地、高效地得出組件服務之間的數據依賴關系。將演化前后的數據依賴圖進行對比可以方便地計算出哪些組件服務的可信性需要重新估算。(3)將整個組合服務流程劃分為若干片段并分別計算可信性。演化發生后，首先根據數據依賴圖找到需要重新計算可信性的組件服務；其次，找出該組件服務所在的流程片段并重新計算該流程片段的可信性。其余未受影響的流程片段可以不再計算其可信性，這樣的處理方法可以有效地減少了計算量。附圖說明圖I是本專利技術對組合服務進行可信性演化影響分析的流程圖。圖2是本專利技術所使用的BPEL流程的可信性計算方法。圖3是本專利技術所采用的組合服務流程劃分片段示意圖。圖4是本專利技術所使用的XCFG模型中各種元素的示意圖。圖5是本專利技術所使用的針對BPEL流程的XCFG模型。圖6是本法明所構建的組件服務之間的數據依賴圖。圖7、圖8、圖9、圖10、圖11、圖12都是實施例中用到的用來說明組合服務演化的示意圖，詳細內容將在實施例部分給出。具體實施例方式下面結合附圖對本專利技術的具體實施方式進行詳細說明。基于XCFG的組合服務可信性演化影響分析方法，包括如下步驟I)將演化前的BPEL流程建模為XCFG即基于擴展控制流圖，并根據控制結構將流程劃分為若干片段；(現有技術不進一步描述)2).根據XCFG構建組件服務之間的數據依賴圖，并計算組件服務在該組合服務中的實際可信性；(現有技術不進一步描述)3).在步驟I與步驟2的基礎上，計算每個流程片段的可信性進而計算整個組合服務的可信性；(現有技術不進一步描述)4).構造演化后的XCFG及對應的組件服務數據依賴圖；(現有技術不進一步描述)5)根據組件服務數據依賴圖找出受影響的組件服務，并且重新計算其可信性；根據受影響的組件服務重新計算受影響的流程片段的可信性，進而計算整個組合服務的可信性；(現有技術不進一步描述)6).在步驟3)與步驟5)的基礎之上，比較演化前后組合服務可信性的值，從而計算出演化對整個組合服務的影響程度。圖I描述了本專利技術對組合服務進行可信性演化影響分析方法的流程圖首先，確定組合服務可信性的計算方法是基于數據依賴和控制結構的，這是進行分析的前提；其次，將演化前后的BPEL流程建模為XCFG及其對應的數據依賴圖；然后，根據演化前后的數據依賴圖找出需要重新計算可信性的組件服務集合并由此確定需要重新進行可信性計算的最小流程片段有哪些；最后，根據組合服務可信性計算方法重新計算找出的受影響的集合并 計算其可信性并評估該演化操作對組合服務可信性的影響。下面給出幾個部分的具體說明。一、組合服務可信性的特點及計算方法組合服務的可信性是由組件服務及其交互模式共同決定的。目前已有大量的文獻研究組合服務可信性的計算方法，主要可以分為約減法、乘積法和概率法(公知技術不進一步說明)。如圖2所示，首先根據組件服務之間的數據依賴以及每個組件服務之間的原始可信性計算出每個組件服務在該組合服務中的可信性(我們把參與組合前每個組件服務的可信性稱為原始可信性，參與組合后每個組件服務的可信性稱為實際可信性)；然后，根據不同的控制結構約減規則計算每個控制結構的可信性；最后，計算出整個組合服務的可信性。假設SI，S2是BPEL流程中的2個組件服務，Tl和T2分別表示2個組件服務根據信任模型計算出來的可信性(也稱為原始可信性)，tl和t2分別表示2個組件服務在該組合服務中的可信性(也稱為實際可信性)，如果SI的輸出是S2的輸入，則稱S2數據依賴于SI。如果S2數據依賴于SI，則tl=Tl, t2=Tl*T2。在計算出每個組件服務在該組合服務中的實際可信性之后，根據BPEL流程的控制結構分別計算每種控制結構的可信性。通常，BPEL的控制結構可以分為順序、選擇、并發和循環，相應的計算方法如下表所示。 順序選擇并發循環-----可信性 T(C) HfdTiV U T (C、= (fji)丨 n T(C)^pi*本文檔來自技高網...

【技術保護點】
一種基于XCFG的組合服務可信性演化影響分析方法，其特征在于，包括如下步驟：1)將演化前的BPEL流程建模為XCFG即基于擴展控制流程圖，并根據控制結構將流程圖劃分為若干片段；2).根據XCFG構建組件服務之間的數據依賴圖，并計算組件服務在該組合服務中的實際可信性；3).在步驟1與步驟2的基礎上，計算每個流程片段的可信性進而計算整個組合服務的可信性；4).構造演化后的XCFG及對應的組件服務數據依賴圖；5)根據組件服務數據依賴圖找出受影響的組件服務，并且重新計算其可信性；根據受影響的組件服務重新計算受影響的流程片段的可信性，進而計算整個組合服務的可信性；6).在步驟3）與步驟5）的基礎之上，比較演化前后組合服務可信性的值，從而計算出演化對整個組合服務的影響程度。

【技術特征摘要】
1.一種基于XCFG的組合服務可信性演化影響分析方法，其特征在于，包括如下步驟 1)將演化前的BPEL流程建模為XCFG即基于擴展控制流程圖，并根據控制結構將流程圖劃分為若干片段； 2).根據XCFG構建組件服務之間的數據依賴圖，并計算組件服務在該組合服務中的實際可信性； 3).在步驟I與步驟2的基礎上，計算每個流程片段的可信性進而計算整...

【專利技術屬性】
技術研發人員：李必信，齊珊珊，劉翠翠，吳曉娜，宋銳，李偉，
申請(專利權)人：東南大學，
類型：發明
國別省市：