Execution semantics analysis based composition compensation mechanism in web services composition

2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009

Volumn 7, Issue , 2009, Pages 820-824

  Xiaoyong, Mei ^a,b   Aijun, Jiang ^a   Fudan, Zheng ^a   Shixian, Li ^a  

^a SUN YAT SEN UNIVERSITY   (China)

^b Guangdong Lingnan Institute of Technology College   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPENSATION MECHANISM; COMPOSITE WEB SERVICES; EXECUTION PROCESS; EXECUTION SEMANTICS; PARALLEL COMPOSITION; SERVICES COMPOSITION; WEB SERVICES COMPOSITION;

COMPUTER SCIENCE; SEMANTICS;

WEB SERVICES;

EID: 71049191070     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSIE.2009.725     Document Type: Conference Paper

References (15)

1. Web Services Description Language (WSDL) Version 2.0
2. [EB/OL], http://www. w3.org/TR/wsdl20/, 2004.
3. UDDI Spec TC Version 3.0[EB/OL]. http://www.uddi.org/pubs/ uddi-v3. htm , 2004.
4. SOAP Version 1.2[EB/OL], http://www.w3.org/2000/xp/Group/, 2003
5. F. Leymann. WSFL: Web Services Flow Language [EB/OL], http: //www-3.ibm.com/software/solutions/ Webservices/pdf/WSFL.pdf.
6. WS-BPEL: Web Services Business Process Execution Language[EB/OL], http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel- v2.0-OS.pdf, 2006.
7. M. Butler, C. Ferreira. An Operational Semantics for StAC, A Language for Modelling Long-running Business Transactions. LNCS 2949, Springer, 2004,87-104.
8. J. Gray. The Transaction Concept: Virtues and Limitations. In Proceeding of the International Conference on Very Large Data Bases, Cannes, France, 1981: 144-154.
9. H. Garcia-Molina, K. Salem. Sagas. Proc. of ACM SIGMOD'87, ACM Press, 1987: 249-259
10. AK. Elmagarmid (Ed.). Database Transaction Models for Advanced Applications, Morgan Kaufmann, 1992.
11. B. Acu, W. Reisig. Compensation in Workflow Nets, Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, LNCS 4024, Springer, 2006: 65-83.
12. L. Bocchi, C. Laneve, G. Zavattaro. A Calculus for Long-running Transactions. Sixth IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, LNCS 2884, Springer, 2003:124-138..
13. R. Bruni, H. Melgratti, U. Montanari. Theoretical Foundations for Compensations in Flow Composition Languages, SIGACT Symposium on Principles of Programming Languages, California, USA. 2005: 209-220
14. ZY. Qiu, SL.Wang, et al. Semantics of BPEL4WS-Like Fault and Compensation Handling, Formal Methods 2005, Tyne, UK, LNCS 3582, 2005: 350-365.
15. M. Vasko, S. Dustdar, An Analysis of Web Services Workflow Patterns in Collaxa, 2004 European Conference on Web Services, LNCS 3250, (2004) 1-14.