[發明專利]一種基于BPEL組合服務的修改影響分析方法

在審

• 申請號: 201710650776.1
• 申請日: 2017-08-02
• 公開（公告）號: CN107480058A
• 公開（公告）日: 2017-12-15
• 發明（設計）人: 吉順慧;馬魏;張鵬程
• 申請（專利權）人: 河海大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 南京蘇高專利商標事務所(普通合伙)32204
• 代理人: 王安琪

1.一種基于BPEL組合服務的修改影響分析方法，其特征在于，包括如下步驟：

(1)構造BPEL組合服務基線版本和演化版本的XCFG模型；

(2)分析組合服務兩個版本的數據流；

(3)識別演化版本中受修改影響的定義-使用對。

2.如權利要求1所述的基于BPEL組合服務的修改影響分析方法，其特征在于，步驟(1)中，構造BPEL組合服務的XCFG模型，除了要解析BPEL組合流程并將BPEL元素轉換為XCFG模型的對應元素，還要解析與BPEL流程相關聯的組合服務以及各成員服務的WSDL描述文檔，分析各消息元素的組成類型，并賦值給V中相應變量的concreteType域。

3.如權利要求1所述的基于BPEL組合服務的修改影響分析方法，其特征在于，步驟(2)中，基于XCFG模型計算變量的定義-使用對按如下步驟處理：

(a)擴展基于控制流圖CFG的可到達定義的計算方程式，定義基于XCFG的可到達定義的計算方程式，以考慮BPEL中的特有元素；

(b)采用經典的最大不動點MFP方法求解可到達定義的計算方程式；

(c)遍歷XCFG結點，基于結點的可到達定義信息，計算變量的定義-使用對，并根據使用結點是將變量用于計算還是用于謂詞表達式，設定其類型是計算型Computation或謂詞型Predicate。

4.如權利要求1所述的基于BPEL組合服務的修改影響分析方法，其特征在于，步驟(3)中，從服務集成者的角度，相比較基線版本，演化版本可觀測到的修改類型包括流程修改、綁定修改和接口修改三種，比較組合服務兩個版本的XCFG模型以及定義-使用對，分別針對流程修改、綁定修改和接口修改，分析它們對數據流的影響，計算受影響的定義-使用對，包括直接受影響的定義-使用對、受定義值影響的定義-使用對以及受控制依賴條件影響的定義-使用對，從而確定演化版本中需要進行回歸測試的定義-使用對；具體方法如下：

(a)進行流程修改影響分析：首先對兩個版本中的定義-使用對集合作比較，識別直接受影響的Computation類型的定義-使用對；然后分析演化版本中定義值發生修改的XCFG結點，識別受定義值修改影響的Computation類型的定義-使用對；最后識別演化版本中控制依賴條件發生修改的XCFG結點，識別受影響的Predicate類型的定義-使用對以及受控制依賴條件修改影響的定義-使用對；

(b)進行綁定修改影響分析：首先比較兩個版本中的伙伴鏈接集合，識別演化版本中發生綁定修改的伙伴鏈接，然后查找演化版本中與綁定發生修改的成員服務進行交互的活動，進而分析定義值以及控制依賴條件發生修改的XCFG結點，識別受值修改以及受控制依賴條件影響的定義-使用對；

(c)進行接口修改影響分析：比較兩個版本的變量集合，找出演化版本中具體類型發生修改的變量集合，與這些變量相關的定義-使用對都需要進行回歸測試。