Abstract
We address the problem of composing Web Services in long-running transactional business processes, where compensations must be dealt with appropriately. The framework presented in this paper is a Java API called Java Transactional Web Services (jtws), which provides suitable primitives for wrapping and invoking Web Services as activities in long-running transactions. jtws adheres to a process calculi formalisation of long-running transactions, called saga, which fixes unambiguously the implemented compensation policy. In particular, the primitives provided by jtws are in one-to-one correspondence with the primitives of sagas,and they are abstract enough to hide the complex details of their realization, thus favouring usability. Moreover, jtws orchestrates business processes in a distributed way.
Research supported by the Project FET-GC II Sensoria and by the Project HPRN-CT-2002-00275 SegraVis.
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
Anderson, B., Shasha, D.: Persistent linda: Linda + transactions + query processing. In: Banâtre, J.-P., Le Métayer, D. (eds.) Research Directions in High-Level Parallel Programming Languages 1991. LNCS, vol. 574, pp. 93–109. Springer, Heidelberg (1992)
BizTalk Server Web site, http://www.microsoft.com/biztalkserver
Bocchi, L., Laneve, C., Zavattaro, G.: A calculus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 124–138. Springer, Heidelberg (2003)
BPEL Specification (v.1.1), http://www.ibm.com/developerworks/library/ws-bpel .
BPEL and BTP issues list, http://www.choreology.com/external
Business Process Modeling Language, http://www.bpmi.org/BPML.htm
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)
Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: extending Join. In: Proc. of IFIP-TCS 2004, pp. 569–582. Kluwer, Dordrecht (2004)
Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proc. of POPL 2005, pp. 209–220. ACM Press, New York (2005)
Bruni, R., Montanari, U.: Concurrent models for Linda with Transactions. Mathematical Structure in Computer Science 14(3), 421–468 (2004)
Busi, N., Zavattaro, G.: On the serializability of transactions in javaspaces. Elect. Notes in Th. Comput. Sci, vol. 54. Elsevier, Amsterdam (2001)
Butler, M., Chessell, M., Ferreira, C., Griffin, C., Henderson, P., Vines, D.: Extending the concept of transaction compensation. IBM Systems Journal 41(4), 743–758 (2002)
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, pp. 87–104. Springer, Heidelberg (2004)
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)
Chothia, T., Duggan, D.: An architecture for secure fault-tolerant global applications. Theor. Comput. Sci. 322(3), 567–613 (2004)
Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292–307. Springer, Heidelberg (2004)
Gelernter, D.: Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7(1), 80–112 (1985)
Hosking, A., Jagannathan, S., Vitek, J., Welc, A.: A semantic framework for designer transactions. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol. 2986, pp. 249–263. Springer, Heidelberg (2004)
Houston, I., Little, M., Robinson, I., Shrivastava, S., Wheater, S.: The corba activity service framework for supporting extended transactions. Softw. Pract. Exper. 33(4), 351–373 (2003)
Jagannathan, S., Vitek, J.: Optimistic concurrency semantics for transactions in coordination languages. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 183–198. Springer, Heidelberg (2004)
Java Transactional Web Services, http://www.di.unipi.it/~etuosto/jtws.html
Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282–298. Springer, Heidelberg (2005)
Leymann, F.: Web Services Flow Language (v.1.0), http://www-306.ibm.com/software/solutions/webservices/pdf/WSFL.pdf
Mazzara, M., Govoni, S.: A case study of web services orchestration. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 1–16. Springer, Heidelberg (2005)
Mazzara, M., Lucchi, R.: Proc. of WS-FM 2004. Elect. Notes in Th. Comput. Sci, vol. 105, pp. 133–145. Elsevier, Amsterdam (2004)
Oracle BPEL Process Manager, http://www.oracle.com/technology/bpel
Strollo, D.: Composizionalità di transazioni e Web Services nell’ambito della telefonia mobile. Master’s thesis, Dipartimento di Informatica, Pisa (2005) (in Italian)
WebSphere, http://www-306.ibm.com/software/info1/websphere/index.jsp
Web Services Choreography Description Language (v.1.0), http://www.w3.org/TR/ws-cdl-10
Web Services Conversation Language (v.1.0), http://www.w3.org/TR/wscl10/
Web Services for Business Process Design (XLANG), http://www.gotdotnet.com/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bruni, R., Ferrari, G., Melgratti, H., Montanari, U., Strollo, D., Tuosto, E. (2005). From Theory to Practice in Transactional Composition of Web Services. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds) Formal Techniques for Computer Systems and Business Processes. EPEW WS-FM 2005 2005. Lecture Notes in Computer Science, vol 3670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11549970_20
Download citation
DOI: https://doi.org/10.1007/11549970_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28701-8
Online ISBN: 978-3-540-31903-0
eBook Packages: Computer ScienceComputer Science (R0)