Abstract
Service Composition is one of the pillars under Service Oriented Architecture. BPEL becomes the de-facto standard within this area. A key aspect when aggregating business processes using BPEL is to realize a compensation-based reliable service composition, often referred to as BPEL LRT(Long Running Transaction). But there lacks precise modeling on how to combine BPEL control flow with long running transactions. The paper presents a formal language named BPTX, which is a simplified version of BPEL at syntactic level and offers effective directions to underlying transaction coordinator as semantics. The paper also proposes an optimization not contained in traditional transaction processing: detect the failure destiny of a branch and react to it as early as possible.
This paper is supported by the Shanghai Science and Technology Development Foundation under Grant No.05dz15005.
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
Curbera, F., Khalaf, R., Mukhi, N., Tai, S., Weerawarana, S.: The Next Step in Web Services. Communication of The. ACM 46(10), 29–34 (2003)
Butler, M., Hoare, T., Ferreira, C.: A Trace Semantics for Long-Running Transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol. 3525, pp. 133–150. Springer, Heidelberg (2005)
Bruni, R., Melgratti, H., Montanari, U.: Theoretical Foundations for Compensation in Flow Composition Languages. In: POPL’05, ACM Press, New York (2005)
Bruni, R., Butler, M., Ferreira, C., Hoare, T., Melgratti, H., Montanari, U.: Comparing Two Approaches to Compensable Flow Composition. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 383–397. Springer, Heidelberg (2005)
Butler, M., Ferreira, C.: An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, Springer, Heidelberg (2004)
Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of Control Flow in Workflows. Acta Informatica 39(3), 143–209 (2003)
WS-BusinessActivity Specification. Availabe at http://www-128.ibm.com/developerworks/library/specification/ws-tx/
Arkin, A., Askary, S., Bloch, B., et al.: Web Services Business Process Execution Language Version 2.0. Working Draft. OASIS (May 2005), http://www.oasis-open.org/committees/download.php/12791/
WS-CAF specification, http://www.arjuna.com/standards/ws-caf/
Furniss, P., Green, A.: Choreology Ltd. Feedback to the Authors of WS-Coordination, WS-AtomicTransaction and WS-BusinessActivity, http://www.choreology.com/downloads/2004-05-04.Choreology.WS-C+T.Detailed.Feedback.Revised.Edition.pdf
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Xiao, Q., Rao, R., You, J. (2007). A Language for Reliable Service Composition. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds) SOFSEM 2007: Theory and Practice of Computer Science. SOFSEM 2007. Lecture Notes in Computer Science, vol 4362. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69507-3_48
Download citation
DOI: https://doi.org/10.1007/978-3-540-69507-3_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69506-6
Online ISBN: 978-3-540-69507-3
eBook Packages: Computer ScienceComputer Science (R0)