Theoretical foundations for compensations in flow composition languages

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2005, Pages 209-220

  Bruni, Roberto ^a   Melgratti, Hernán ^a   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Compensations; Process description languages; Transactions

Indexed keywords

HIERARCHICAL SYSTEMS; INFORMATION SERVICES; WORLD WIDE WEB;

ATOMICITY; COMPENSATIONS; PROCESS DESCRIPTION LANGUAGES; TRANSACTIONS;

FORMAL LANGUAGES;

EID: 26944481746     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1040305.1040323     Document Type: Conference Paper

References (24)

1. W. Aalst, M. Dumas, and A. Hofstede. Web service composition languages: Old wine in new bottles? Proc. of EUROMICRO'03, pp. 298-307. IEEE Computer Society, 2003.
2. W. Aalst, M. Dumas, and A. Hofstede, and P. Wohed, Analysis of web services composition languages: The case of BPEL4WS. Proc. of ER '03, vol. 2813 of LNCS, pp. 200-215. Springer, 2003.
3. B. Benatallah and R. Hamadi. A Petri net-based model for web service composition. Proc. of ADC'03, pp. 191-200. Australian Computer Society, 2003.
4. L. Bocchi, C. Laneve, and G. Zavattaro. A calculus for long-running transactions. Proc. of FMOODS'03, vol. 2884 of LNCS, pp. 124-138. Springer, 2003.
5. BPEL Specification. Version 1.1. Available at http://www.ibm.com/developerworks/library/ws-bpel.
6. Business process modelling language (BPML). http://www.bpmi.org.
7. A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing web services choreographies. Proc. of WS-FM'04. To appear as ENTCS.
8. R. Bruni, H. Melgratti, and U. Montanari. Nested commits for mobile calculi: extending Join. Proc. of IFIP-TCS'04, pp. 569-582. Kluwer, 2004.
9. M. Butler, M. Chessell, C. Ferreira, C. Griffin, P. Henderson, and D. Vines. Extending the concept of transaction compensation. IBM Systems Journal, 41(4):743-758, 2002.
10. M. Butler and C. Ferreira. An operational semantics for StAC, a language for modelling long-running business transactions. Proc. of Coordination'04, vol. 2949 of LNCS, pp. 87-104. Springer, 2004.
11. P. Chrysanthis and K. Ramamritham. Transaction Models for Advanced Applications, ACTA: The SAGA Continues, pp. 349-397. Morgan Kaufmann, 1992.
12. H. Garcia-Molina and K. Salem. Sagas. Proc. of ACM SIGMOD'87, pp. 249-259. ACM Press, 1987.
13. D. Georgakopoulos, M. Hornick, and A. Sheth. An overview of workflow management: From process modeling to workflow automation infrastructure. Distributed and Parallel Databases, 3(2):119-153, 1995.
14. C. Hoare. Long-running transactions. Slides for the Second Microsoft . NET Crash Course 2002. http://research.microsoft.com/Collaboration/University/Europe/Events/dotnetcc/ Version2.
15. A. Hosking, S. Jagannathan, J. Vitek, and A. Welc. A semantic framework for designer transactions. Proc. of ESOP'04, vol. 2986 of LNCS, pp. 249-263. Springer, 2004.
16. F. Leymann. The WSFL Guide. Available at http://www.ibm.com/software/solutions/webservices/documentation.html.
17. M. Mazzara and R. Lucchi. A framework for generic error handling in business processes. Proc. WS-FM'04-To appear as ENTCS.
18. L. G. Meredith and S. Bjorg. Contracts and types. Commun. ACM, 46(10):41-47, 2003.
19. J. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, Dept. of Electrical Eng. and Computer Sci., MIT, 1981.
20. A. Sheth and D. Worah. Transactions in transactional workflows. Advanced Transaction Models and Architectures, pp. 3-34. Kluwer, 1997.
21. S. Thatte. XLANG: Web Services for Business Process Design. Available at http://www.gotdotnet.com/team/xml_wsspecs/xlang-c.
22. M. Viroli. Towards a formal foundation to orchestration languages. Proc. of WS-FM'04. To appear as ENTCS.
23. WebSphere Software Platform. IBM. Available at http://www.ibm.com/software/websphere.
24. WSCI Specification. Version 1.0. Available at http://www.w3.org/TR/wsci.