WS-BPEL流程之資料流測試與異常分析

Data Flow Testing and Anomaly Analysis of WS-BPEL Process

廖光勳(Kuang-Hsun Liao)

指導教授 ： 劉建宏

國立臺北科技大學/電資學院/資訊工程系研究所/碩士(2010年)

https://doi.org/10.6841/NTUT.2010.00181

摘要

網際服務商業流程執行語言(Web Service Business Process Execution Language，簡稱WS-BPEL)是目前企業界廣泛接受的標準編排語言，可用來組合鬆散耦合的網際服務(Web service)以進行商業流程的工作。一個WS-BPEL商業流程是由許多活動(activity)所串連而成，這些活動能與夥伴網際服務(partner Web service)互動並交換訊息以提供完整的商業服務。然而，不正確的使用這些訊息資料將導致WS-BPEL流程發生錯誤。此外，以XML為基礎的WS-BPEL流程描述極為複雜難懂，加上WS-BPEL具有平行、同步和死亡路徑排除等特殊語意，以致於難以分析和測試WS-BPEL資料流程。
有鑑於此，本論文從資料流的面向探討WS-BPEL流程資料的流向和相依關係，藉以偵測資料使用的異常情況和推導測試路徑來驗證資料使用的正確性。在WS-BPEL流程的資料流異常分析方面：本論文探討WS-BPEL流程資料可能的相依關係與異常情況，分析WS-BPEL流程活動產生的資料流資訊(artifacts)，以及提出演算法偵測WS-BPEL資料流異常的情形。在WS-BPEL流程的資料流測試方面：本論文建構WS-BPEL資料流測試模型，萃取流程資料的使用資訊，並根據測試模型提出演算法計算資料定義與使用配對(definition-use pairs)來推導測試路徑以協助產生測試案例確保WS-BPEL流程的正確性。另外，本論文亦開發一套WS-BPEL資料流分析與測試的輔助工具，以協助WS-BPEL流程的分析與測試。

關鍵字

WS-BPEL ； 資料流測試 ； 資料流異常分析

並列摘要

Recently, Web Service Business Process Execution Language (WS-BPEL) has become an industry-wide accepted standard for specifying compositions of loosely coupled Web Services over Internet in order to fulfill the tasks in a business process. A WS-BPEL process is a collection of activities that manipulate the messages exchanged from the partner Web services so as to carry out the business transactions. Improper uses of these message data, however, can result in errors in the WS-BPEL process. Nevertheless, the XML-based WS-BPEL process description is complex and difficult to understand. Most specifically, WS-BPEL allows specifying concurrent, synchronous, and dead path elimination semantics, which further complicates the analysis and testing of WS-BPEL data flow process.
In view of this, this thesis aims to explore the data flow and dependencies of WS-BPEL process and propose analysis and testing methods to detect data flow anomalies and to derive test paths for uncovering incorrect data usages in the WS-BPEL process. In particular, for data flow anomaly analysis of WS-BPEL process, we investigate the possible data dependencies and anomalies existed in the WS-BPEL process, analyze various data flow artifacts introduced by WS-BPEL activities, and devise algorithms to detect WS-BPEL data flow anomalies. For data flow testing of WS-BPEL process, we propose a data flow test model to abstract the data usage information of WS-BPEL process. Based on the test model, algorithms to compute data definition-use pairs are presented to derive test paths and that can be used to generate test cases in order to ensure the correctness of WS-BPEL process. Moreover, a supporting tool is also developed to facilitate the data flow analysis and testing of WS-BPEL process.

並列關鍵字

WS-BPEL ； Data Flow Testing ； Data Flow Anomaly Analysis

參考文獻

[24] Chunxiang Xu, Hanpin Wang, Wanling Qu, Meixia Zhu, and Yu Huang, “A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics,” In Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009, pp.203-211.

[41] Jun Hou, Baowen XU, Lei XU, Di WANG, and Junling XU, “A Testing Method for Web Services Composition Based on Data-Flow,” In Wuhan University Journal of Natural Sciences, 2008, pp.455-460.

[19] Gun-Woo Kim, Jeong Hwa Lee, and Jin Hyun Son, “Classification and Analyses of Business Process Anomalies,” International Conference on Communication Software and Networks (ICCSN’09), Feb. 2009, pp.433-437.

[40] Chien-Hung Liu, Shu-Ling Chen, and Xue-Yuan Li, “A WS-BPEL Based Structural Testing Approach for Web Service Compositions,” In IEEE International Symposium on Service-Oriented System Engineering (SOSE’08), Dec. 2008, pp.135-141.

[23] C. Ouyang, H.M.W. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, and A.H.M. ter Hofstede, “WofBPEL: A Tool for Automated Analysis of BPEL Processes,” In Proceeding of Third International Conference on Service-Oriented Computing (ICSOC’05), Dec. 2005, pp.484-489.