Abstract
When automating work, it is often desirable to compensate completed work by undoing the work done by one or more activities. In the context of workflow, where compensation actions are defined on nested ’scopes’ that group activities, this requires a model of nested compensation–based transactions. The model must enable the automatic determination of compensation order by considering not only the nesting of scopes but also the control dependencies between them. The current standard for Web services workflows, Business Process Execution Language for Web Services (WS-BPEL), has such compensation capabilities. In this paper, we show that the current mechanism in WS-BPEL shows compensation processing anomalies, such as neglecting control link dependencies between nested non-isolated scopes. We then propose an alternate approach that through elimination of default handlers as well as the complete elimination of termination handlers not only removes those anomalies but also relaxes current WS-BPEL restrictions on control links. The result is a new and deterministic model for handling default compensation for scopes in structures where: (1)both fault handling and compensation handling are present and (2)the relationships between scopes include both structured nesting and graph–based links.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alonso, G., Agrawal, D., El Abbadi, A., Kamath, M., Gunthor, R., Mohan, C.: Advanced transaction models in workflow contexts. In: Int’l Conference on Data Engineering (1996)
Brogi, A., Popescu, R.: From BPEL Processes to YAWL Workflows. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 107–122. Springer, Heidelberg (2006)
Coleman, J.: Examining BPEL’s compensation construct. In: Workshop on Rigorous Engineering of Fault-Tolerant Systems, REFT (2005)
Curbera, F., Khalaf, R., Leymann, F., Weerawarana, S.: Exception handling in the BPEL4WS language. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 276–290. Springer, Heidelberg (2003)
König, D.: R26: Default Compensation Order Conflict (2006), http://www.oasis-open.org/committees/download.php/21303/WS_BPEL_review_issues_list.html#IssueR26 , http://www.oasis-open.org/committees/download.php/21199/Issue%20R26.ppt
Dayal, U., Hsu, M., Ladin, R.: Business process coordination: State of the art, trends, and open issues. In: Very Large Databases Conference, VLDB 2001 (2001)
Du, W., Davis, J., Shan, M.-C.: Flexible specification of workflow compensation scopes. In: GROUP 1997: Proceedings of the international ACM SIGGROUP conference on Supporting group work. ACM, New York (1997)
Fletcher, T., Furniss, P., Green, A., Haugen, R.: BPEL and business transaction management (2003), http://www.oasis-open.org/committees/download.php/3263/BPEL.and.Busines s.Transaction.Management.Choreology.Submission.html
Garcia-Molina, H., Salem, K.: Sagas. Proc. ACM Sigmod (1987)
Garcia-Molina, H., Gawlick, D., Klein, J., Kleissner, K., Salem, K.: Modeling long-running activities as nested sagas. IEEE Data Eng. Bull. 14(1) (1991)
Greenfield, P., Fekete, A., Jang, J., Kuo, D.: Compensation is not enough. In: International Conference on Enterprise Distributed Object Computing Conference (2003)
Khalaf, R.: Supporting Business Process Fragmentation While Maintaining Operational Semantics: A BPEL Perspective. PhD thesis, University of Stuttgart (2008), http://elib.uni-stuttgart.de/opus/volltexte/2008/3514/ ISBN 978-3-86624-344-6, dissertation.de
Kopp, O., Martin, D., Wutke, D., Leymann, F.: The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages. Enterprise Modelling and Information Systems 4(1), 3–13 (2009)
Leymann, F.: Supporting Business Transactions via Partial Backward Recovery in Workflow Management Systems. In: Proc. BTW 1995. Springer, Berlin (1995)
Leymann, F., Roller, D.: Production Workflow: Concepts and Techniques. Prentice-Hall, Upper Saddle River (2000)
OASIS. Web Services Atomic Transaction (WS-AtomicTransaction) version 1.1 (2007), http://docs.oasis-open.org/ws-tx/wstx-wsat-1.1-spec.pdf
OASIS. Web Services Business Activity (WS-BusinessActivity) version 1.1. (2007), http://docs.oasis-open.org/ws-tx/wstx-wsba-1.1-spec.pdf
OASIS. Web Services Business Process Execution Language (WS-BPEL) Version 2.0 (2007), http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html
Pottinger, S., Mietzner, R., Leymann, F.: Coordinate BPEL Scopes and Processes by Extending the WS-Business Activity Framework. In: Meersman, R., Tari, Z. (eds.) CoopIS 2007. LNCS, vol. 4803, pp. 336–352. Springer, Heidelberg (2007)
Tai, S., Khalaf, R., Mikalsen, T.A.: Composition of coordinated web services. In: Jacobsen, H.-A. (ed.) Middleware 2004. LNCS, vol. 3231, pp. 294–310. Springer, Heidelberg (2004)
Thatte, S., Roller, D.: Default compensation order (2003), http://www.oasis-open.org/committees/download.php/4449/Default%20Compensation%20Order.ppt
van der Aalst, W.M.P., ter Hofstede, A.H.M.: Yawl: yet another workflow language. Inf. Syst. 30(4) (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khalaf, R., Roller, D., Leymann, F. (2009). Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL. In: Meersman, R., Dillon, T., Herrero, P. (eds) On the Move to Meaningful Internet Systems: OTM 2009. OTM 2009. Lecture Notes in Computer Science, vol 5870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05148-7_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-05148-7_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05147-0
Online ISBN: 978-3-642-05148-7
eBook Packages: Computer ScienceComputer Science (R0)