Paper Info
Title
Path Feasibility Analysis Of Bpel Processes Under Dead Path Elimination Semantics
Abstract
Web Service Business Process Execution Language (BPEL) has become the de facto standard for developing instant service-oriented workflow applications in open environment. The correctness and reliability of BPEL processes have gained increasing concerns. However, the unique features (e.g., dead path elimination (DPE) semantics, parallelism, etc.) of BPEL language have raised enormous problems to it, especially in path feasibility analysis of BPEL processes. Path feasibility analysis of BPEL processes is the basis of BPEL testing, for it relates to the test case generation. Since BPEL processes support both parallelism and DPE semantics, existing techniques can't be directly applied to its path feasibility analysis. To address this problem, we present a novel technique to analyze the path feasibility for BPEL processes. First, to tackle unique features mentioned above, we transform a BPEL process into an intermediary model-BPEL control flow graph, which is proposed to abstract the execution flow of BPEL processes. Second, based on this abstraction, we symbolically encode every path of BPEL processes as some Satisfiability formulas. Finally, we solve these formulas with the help of Satisfiability Modulo Theory (SMT) solvers and the feasible paths of BPEL processes are obtained. We illustrate the applicability and feasibility of our technique through a case study.
Year
DOI
Venue
2016
10.1587/transinf.2015EDP7121
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
Keywords
Field
DocType
BPEL processes, path feasibility analysis, dead path elimination, BPEL control flow graph, SMT solver
Computer science,Theoretical computer science,Business Process Execution Language,Semantics,Satisfiability modulo theories
Journal
Volume
Issue
ISSN
E99D
3
1745-1361
Citations 
PageRank 
References 
0
0.34
21
Authors
7
Name
Order
Citations
PageRank
Hongda Wang1123.46
Jianchun Xing26618.64
Juelong Li361.83
Qiliang Yang45814.54
Xuewei Zhang51810.14
Deshuai Han692.72
Kai Li724.49