A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs

Authors:
Thomas S. Heinze;Wolfram Amme;Simon Moser
Affiliations:
Institute of Computer Science, Friedrich Schiller University of Jena, Jena, Germany 07743;Institute of Computer Science, Friedrich Schiller University of Jena, Jena, Germany 07743;IBM Software Laboratory Böblingen, Business Process Solutions, Böblingen, Germany 71032
Venue:
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Year:
2009

Citing 6
Cited 2

Analyzing process models using graph reduction techniques

Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Concurrent Static Single Assignment Form and Constant Propagation for Explicitly Parallel Programs

LCPC '97 Proceedings of the 10th International Workshop on Languages and Compilers for Parallel Computing
An Alternative Way to Analyze Workflow Graphs

CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Analyzing Compatibility of BPEL Processes

AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
Comprehensive path-sensitive data-flow analysis

Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization
Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping

ICIW '08 Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services

Workflow soundness revisited: checking correctness in the presence of data while staying conceptual

CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Process restructuring in the presence of message-dependent variables

ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Much research effort has been spent on the provision of analysis methods for business processes specified by means of Web Services Business Process Execution Language (WS-BPEL). Nevertheless, most approaches neglect conditional control flow, though running the risk of erroneous analysis results. In this paper, we present a restructuring approach for WS-BPEL processes, which helps to partly remedy conditional control flow. We therefore use a combination of workflow graphs and Concurrent Static Single Assignment Form. Based on the hybrid format, we are able to identify loops with static quasi-constant loop condition and transform them in such a way, that conditional control flow is replaced by unconditional control flow. Augmenting an existing analysis with the proposed restructuring then enables more precise results, as is shown for a compatibility analysis of WS-BPEL business processes.