Exception Handling in the BPEL4WS Language
Graph oriented models are at the core of most business process management systems. In recent years, “algebraic” business process modeling languages based on different process calculi have been proposed. The semantics of these algebraic process languages are quite different, and seemingly incompatible, with those of graph oriented approaches. In this paper we study how the BPEL4WS exception handling mechanism is used to integrate the algebraic and graph process models. Unlike other approaches to exception handling in business processes, the BPEL4WS model does not require that the process topology be constrained by the exception handling hierarchy, thus allowing both highly structured and graph based processes to benefit from it. Based on this exception handling model, we explain “dead path elimination” (the runtime mechanism by which process termination is ensured) as a form of exception processing. The integration of dead path elimination with the exception handling mechanism provides the semantic base for the integration of the graph and algebraic processes models in BPEL4WS.
Subject ClassificationsBusiness process modeling reference models process patterns workflow management systems
Unable to display preview. Download preview PDF.
- 1.Process Definition Interchange Process Model. Published on the World Wide Web by the Workflow Management Coaltion as Document Number WfMC TC-1016-P, Version 1.1, at http://www.wfmc.org, 1999.
- 2.Assaf Arkin. Business process modeling language-bpml1.0 last call working draft. Published on the World Wide Web by BPMI.org at http://www.bpmi.org
- 3.E. Best and C. Fernandez. Non-Sequential Processes: A Petri Net View. Springer, Berlin Heidelberg, 1988.Google Scholar
- 4.Erik Christensen, Francisco Curbera, Greg Meredith, and Sanjiva Weerawarana. Web Services Description Language (WSDL) 1.1. Published on the World Wide Web by W3C at http://www.w3.org/TR/wsdl, Mar 2001.
- 5.F. Curbera, M. Duftler, R. Khalaf, N. Mukhi, W. Nagy, and S. Weerawarana. BPWS4J. Published on the World Wide Web by IBM at http://www.alphaworks.ibm.com/tech/bpws4j, Aug 2002.
- 6.Francisco Curbera, Yaron Goland, Johannes Klein, Frank Leymann, Dieter Roller, Satish Thatte, and Sanjiva Weerawarana. Business Process Execution Language for Web Service (BPEL4WS) 1.0. Published on the World Wide Web by BEA Corp., IBM Corp. and Microsoft Corp. at http://www.ibm.com/developerworks/library/ws-bpel
- 7.Francisco Curbera, Frank Leymann, Dieter Roller, and Sanjiva Weerawarana. Web Services Flow Language (WSFL) 1.0. Published on the World Wide Web by IBM Corp. at http://www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf
- 8.J. Eder and W. Liebhart. Workflow recovery. In Proc. Intl. Conf. on Cooperative Information Systems CoopIS’96, (Bruxelles, Belgium), 1996.Google Scholar
- 9.C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join calculus. In Proc. 23rd ACM Symposium on Principles of Programming Languages (POPL’ 96), pages 372–385, 1996.Google Scholar
- 11.Claus Hagen and Gustavo Alonso. Flexible exception handling in the OPERA process support system. In International Conference on Distributed Computing Systems, pages 526–533, 1998.Google Scholar
- 12.F. Leymann. Supporting business transactions via partial backward recovery in workflow management systems. In Proc. BTW’95 (Dresden, Germany), Springer 1995, March 1995.Google Scholar
- 14.F. Leymann and D. Roller. Production Workflow: Concepts and Techniques. Prentice Hall., 2000.Google Scholar
- 15.Robin Milner. Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, 1999.Google Scholar
- 16.A. Reuter. Managing distributed applications with contracts. In Proc. 3rd Intl. Workshop on High Performance Transaction System (Asilomar, CA), 1989.Google Scholar
- 17.Satish Thatte. XLANG. Published on the World Wide Web by Microsoft Corp. at http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm, 2001.