On the interplay between fault handling and request-response service invocations

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2008-January, Issue , 2008, Pages 190-199

  Guidi, Claudio ^a   Lanese, Ivan ^a   Montesi, Fabrizio ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

COMMUNICATION PARTNERS; COMPOSITION OF SERVICES; FAULT HANDLING; FAULT HANDLING STRATEGY; PROGRAMMING STYLES; SERVICE INVOCATION; SERVICE ORCHESTRATION; SERVICE-ORIENTED COMPUTING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 78650795547     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2008.4574611     Document Type: Conference Paper

References (19)

1. ActiveBPEL Open Source Engine. http://www.active-endpoints.com/active-bpel-engine-overview.htm.
2. L. Bocchi, C. Laneve, and G. Zavattaro. A cal-culus for long-running transactions. In Proc. of FMOODS'03, volume 2884 of LNCS, pages 124-138. Springer, 2003.
3. M. Boreale, R. Bruni, R. De Nicola, and M. Loreti. Sessions and pipelines for structured service pro-gramming. In Proc. of FMOODS'08, LNCS. Springer, 2008. To appear.
4. M. Boreale et al. SCC: A Service Centered Calcu-lus. In Proc. of WS-FM'06, volume 4184 of LNCS, pages 38-56. Springer, 2006.
5. R. Bruni, H. Melgratti, and U. Montanari. Nested commits for mobile calculi: Extending join. In Proc. of IFIP TCS'04, pages 563-576. Kluwer, 2004.
6. R. Bruni, H. Melgratti, and U. Montanari. Theo-retical foundations for compensations in flow com-position languages. In Proc. of POPL'05, pages 209-220. ACM Press, 2005.
7. N Busi et al. Choreography and orchestration: A synergic approach for system design. In Proc. of ICSOC'05, volume 3826 of LNCS, pages 228-240, 2005.
8. M. Butler, C.A.R. Hoare, and C. Ferreira. A trace semantics for long-running transactions. In 25 Years Communicating Sequential Processes, vol-ume 3525 of LNCS, pages 133-150. Springer, 2004.
9. M. J. Butler and C. Ferreira. An operational se-mantics for StAC, a language for modelling long-running business transactions. In Proc. of CO-ORDINATION'04, volume 2949 of LNCS, pages 87-104. Springer, 2004.
10. M. Carbone, K. Honda, and N. Yoshida. Struc-Tured communication-centred programming for web services. In Proc. of ESOP'07, volume 4421 of LNCS, pages 2-17. Springer, 2007.
11. C. Guidi, I. Lanese, F. Montesi, and G. Zavat-Taro. On the interplay between fault handling and request-response service invocations (TR). Avail-Able at http://www.cs.unibo.it/~lanese/publications/fulltext/TR-COMP.pdf.
12. C. Guidi et al. SOCK: A calculus for service ori-ented computing. In Proc. of ICSOC'06, volume 4294 of LNCS, pages 327-338. Springer, 2006.
13. I. Lanese et al. Disciplining orchestration and con-versation in service-oriented computing. In Proc. of SEFM'07, pages 305-314. IEEE Computer So-ciety Press, 2007.
14. C. Laneve and G. Zavattaro. Foundations of web transactions. In Proc. of FOSSACS'05, LNCS, pages 282-298, 2005.
15. A. Lapadula, R. Pugliese, and F. Tiezzi. A cal-culus for orchestration of web services. In Proc. of ESOP'07, volume 4421 of LNCS, pages 33-47. Springer, 2007.
16. F. Montesi, C. Guidi, and G. Zavattaro. Compos-ing services with JOLIE. In Proc. of ECOWS'07, pages 13-22. IEEE Computer Society Press, 2007.
17. OASIS. Web Services Business Pro-cess Execution Language Version 2.0. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html.
18. Open source project. JOLIE: Java Orches-Tration Language Intepreter Engine. http://sourceforge.net/projects/jolie.
19. M. Wirsing et al. Semantic-based development of service-oriented systems. In Proc. of FORTE'06, volume 4229 of LNCS, pages 24-45. Springer, 2006.