A model for web service coordination in long-running transactions

Proceedings - 5th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2010

Volumn , Issue , 2010, Pages 121-128

  Meng, Sun ^a   Arbab, Farhad ^a  

^a CWI   (Netherlands)

Author keywords

Reo; Transaction; Transactional constraint automata; Web services

Indexed keywords

ATOMIC INTERACTIONS; BUSINESS PROCESS; COMPUTATIONAL MODEL; CONSTRAINT AUTOMATA; CONTROL FLOWS; DIFFERENT SERVICES; LONG-RUNNING TRANSACTIONS; MODELS OF COMPUTATION; REO; SERVICE ORIENTED APPLICATION; SERVICE ORIENTED COMPUTING; TRANSACTION; WEB SERVICE COORDINATION;

DISTRIBUTED COMPUTER SYSTEMS; SYSTEMS ENGINEERING; WEB SERVICES; WEBSITES;

AUTOMATA THEORY;

EID: 78449237163     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOSE.2010.51     Document Type: Conference Paper

References (24)

1. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business process execution language for web services version 1.1, 2003. http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/.
2. F. Arbab. Reo: A Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science, 14(3):329-366, 2004.
3. F. Arbab, N. Kokash, and S. Meng. Towards using reo for compliance-aware business process modeling. In Proceedings of ISoLA'08, volume 17 of CCIS, pages 108-123. Springer, 2008.
4. F. Arbab and S. Meng. Synthesis of connectors from scenario-based interaction specifications. In Proceedings of CBSE'08, volume 5282 of LNCS, pages 114-129. Springer, 2008.
5. F. Arbab, S. Meng, and C. Baier. Synthesis of Reo Circuits from Scenario-based Specifications. In Proceedings of FOCLASA' 08, volume 229 of ENTCS, pages 21-41, 2009.
6. C. Baier, M. Sirjani, F. Arbab, and J. Rutten. Modeling component connectors in Reo by constraint automata. Science of Computer Programming, 61:75-113, 2006.
7. L. Bocchi, C. Laneve, and G. Zavattaro. A Calculus for Long-Running Transactions. In E. Najm, U. Nestmann, and P. Stevens, editors, Proceedings of FMOODS 2003, volume 2884 of LNCS, pages 124-138. Springer, 2003.
8. R. Bruni, H. Melgratti, and U. Montanari. Theoretical foundations for compensations in flow composition languages. In POPL'05, pages 209-220, 2005.
9. M. Butler and C. Ferreira. An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. In R. de Nicola et al., editor, COORDINATION 2004, volume 2949 of LNCS, pages 87-104, 2004.
10. M. Butler, C. A. R. Hoare, and C. Ferreira. A trace semantics for long-running transactions. In A. E. Abdallah, C. B. Jones, and J. W. Sanders, editors, Communicating Sequential Processes: The First 25 Years, volume 3525 of LNCS, pages 133-150. Springer, 2005.
11. Eclipse Coordination Tools. http://reo.project.cwi.nl/.
12. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, 1993.
13. N. Kokash and F. Arbab. Applying reo to service coordination in long-running business transactions. In Proceedings of the ACM Symposium on Applied Computing, SAC'09, pages 318-319. ACM, 2009.
14. H. Korth, E. Levy, and A. Silberschatz. A formal approach to recovery by compensating transactions. In Proceedings of 16th VLDB Conference, 1990.
15. C. Laneve and G. Zavattaro. Foundations of Web Transactions. In Proceedings of FOSSACS 2005, volume 3441 of LNCS, pages 282-298. Springer, 2005.
16. F. Leymann. Web Services Flow Language (WSFL 1.0). http://www-4.ibm.com/ software/solutions/webservices/pdf/WSFL.pdf.
17. S. Meng and F. Arbab. Web Services Choreography and Orchestration in Reo and Constraint Automata. In Y. Cho, R. L. Wainwright, H. Haddad, S. Y. Shin, and Y. W. Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), pages 346-353. ACM, 2007.
18. OASIS. Web Services Business Process Execution Language Version 2.0, 2007. http://docs.oasis-open.org/wsbpel/2.0/.
19. A. Roychoudhury and P. S. Thiagarajan. Communicating transaction processes: An msc-based model of computation for reactive embedded systems. In ACPN 2003, volume 3098 of LNCS, pages 789-818, 2004.
20. Universal Description, Discovery, and Integration (UDDI). http://www.uddi.org/.
21. J. Vitek, S. Jagannathan, A. Welc, and A. L. Hosking. A Semantic Framework for Designer Transactions. In D. A. Schmidt, editor, Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, volume 2986 of LNCS, pages 249-263. Springer, 2004.
22. W3C. Simple Object Access Protocol (SOAP) v1.2. http://www.w3.org/2000/ xp/Group/.
23. W3C. Web Service Choreography Description Language (WS-CDL) 1.0. http://www.w3.org/TR/wscdl-10/.
24. W3C. Web Service Description Language (WSDL) 1.1. http://www.w3.org/TR/ wsdl.