A Formal Framework for Web Services Coordination

Electronic Notes in Theoretical Computer Science

Volumn 180, Issue 2, 2007, Pages 55-70

  Guidi, Claudio ^a   Lucchi, Roberto ^a   Mazzara, Manuel ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

calculus; coordination; event notification; long running transactions; Web Services

Indexed keywords

DATA PRIVACY; ELECTRONIC COMMERCE; ERROR COMPENSATION; FORMAL LANGUAGES; INDUSTRIAL MANAGEMENT;

CHOREOGRAPHY; EVENT NOTIFICATION; LONG-RUNNING TRANSACTIONS;

WEB SERVICES;

EID: 34250176154     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.10.046     Document Type: Article

References (26)

1. Tony Andrews, Francisco Curbera et al. - Businnes Process Execution Language for Web Services Specification, Version 1.1, 5 May 2003
2. Arkin A. Business Process Modelling Language (BPML) specification. BPMI (June 2002). http://www.bpmi.org
3. Bocchi L., Laneve C., and Zavattaro G. A Calculus for Long Running Transactions. FMOODS '03, Paris. LNCS (December 2003)
4. Busi N., Gorrieri R., and Zavattaro G. Process Calculi for Coordination: from Linda to JavaSpaces. Proc. of International Conference on Algebraic Methodology and Software Technology. (AMAST'00). LNCS 1816 (2000), Springer-Verlag 198-212
5. Michael Butler, Carla Ferreira - An Operational Semantics for StAC, a langage for Modelling Long-running Businness Transactions. COORDINATION 2004
6. Christenses E., Curbera F., Meredith G., and Weerawarana S. Web Services Description Language (WSDL 1.1) (2001). http://www.w3.org/TR/wsdl W3C, Note 15
7. Houston I., Little M.C., Robinson I., Shrivastava S.K., and Wheater S.M. The CORBA Activity Service Framework for supporting extended transactions. Softw., Pract. Exper. 33 4 (2003) 351-373
8. Khalaf R., Tai S., and Weerawarana S. Web services, the next step: A framework for robust service composition. In: Papazoglou M.P., and Georgakopoulos D. (Eds). CACM, Special Issue on Service-Oriented Computing (October 2003)
9. Introducing WS-Transaction, An Arjuna Technologies Report -. http://www.arjuna.com
10. Laneve C., and Zavattaro G. Foundations of web transactions. Fossacs'05. LNCS volume 3441 (2005), Springer-Verlag
11. Leymann F. Web Services Flow Language (WSFL 1.0). http://www-4.ibm.com/software/solutions/webservices/pdf/WSFL.pdf
12. Leymann F., and Roller D. A quick overview of BPEL4WS. IBM DeveloperWorks (August 2002). http://www-106.ibm.com/developerworks/
13. M. Mazzara, R. Lucchi - A Framework for Generic Error Handling in Business Processes. First International Workshop on Web Services and Formal Methods (WS-FM), 2004
14. Meredith L.G., and Bjorg S. Contracts and Types. Communication of the ACM (October 2003)
15. Microsoft Corp. Biztalk Server. http://www.microsoft.com/biztalk
16. Milner R. Communicating and Mobile Systems: the π-Calculus (1999), Cambridge University Press
17. Milner R. Function as Processes. Mathematical Structures in Computer Science 2 2 (1992) 119-141
18. Milner R., Parrow J., and Walker D. A Calculus for Mobile Processes. Journal of Information and Computation 100 (1992) 1-77 Academic Press
19. Chris Peltz - Web Services Orchestration and Choreography. IEEE Computer October 2003 (Vol.36, No 10), pages 46-52
20. SOAP - Simple Object Access Protocol. http://www.w3.org/TR/soap
21. Thatte S. XLANG: Web Services for Business Process Design. Microsoft Corporation (2001). http://www.gotdotnet.com/team/xml_wsspecs/xlang-c
22. David N. Turner - The Polymorphic Pi-calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1995
23. Mirko Viroli - Towards a Formal Foundation to Orchestration Languages. First International Workshop on Web Services and Formal Methods (WS-FM), 2004
24. WS-Coordination Specification. http://www-128.ibm.com/developerworks/library/specification/ws-tx/
25. WS-Transaction Specification. http://www-128.ibm.com/developerworks/library/specification/ws-tx/
26. XML - Extensible Markup Language 1.0. http://www.w3.org/TR/2000/REC-xml-20001006