Web services choreography and orchestration in Reo and constraint automata

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2007, Pages 346-353

  Meng, Sun ^a   Arbab, Farhad ^a  

^a CWI   (Netherlands)

Author keywords

Choreography; Constraint automata; Orchestration; Reo; Web services

Indexed keywords

AUTOMATA THEORY; COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER AIDED SOFTWARE ENGINEERING; CONSTRAINT THEORY; SEMANTICS;

BLACK BOX COMPONENTS; CONSTRAINT AUTOMATA; FORMAL REASONING MECHANISMS; ORCHESTRATIONS; REO CIRCUITS; REO COORDINATION LANGUAGES; WEB SERVICES CHOREOGRAPHY;

WEB SERVICES;

EID: 35248836872     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1244002.1244085     Document Type: Conference Paper

References (29)

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 and J. Rutten. A coinductive calculus of component connectors. In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, volume 2755 of LNCS, pages 34-55. Springer-Verlag, 2003.
4. C. Baier, M. Sirjani, F. Arbab, and J. Rutten. Modeling component connectors in Reo by constraint automata. Science of Computer Programming, 61:75-11.3, 2006.
5. C Baier and V. Wolf. Stochastic Reasoning About Channel-Based Component Connectors. In P. Ciancarini and H. Wiklicky, editor, COORDINATION 2006, volume 4038 of LNCS, pages 1-15. Springer-Verlag, 2006.
6. M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. In Mario Bravetti and Leïla Kloul and Gianluigi Zavattaro, editor, EPEW 2005 and WS-FM 2005, volume 3670 of LNCS, pages 257-271. Springer, 2005.
7. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and Orchestration: A Synergic Approach for System Design. In B. Benatallah and F. Casati and P. Traverso, editor, ICSOC 2005, volume 3826 of LNCS, pages 228-240. Springer-Verlag, 2005.
8. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and Orchestration Conformance for System Design. In P. Ciancarini and H. Wiklicky, editor, COORDINATION 2006, volume 4038 of LNCS, pages 63-81, Springer-Verlag, 2006.
9. G. Diaz, J.-J. Pardo, M.-E. Cambronero, V. Valero, and F. Cuartero. Automatic Translation of WS-CDL Choreographies to Timed Automata. In Mario Bravetti and Leïla Kloul and Gianluigi Zavattaro, editor, EPEW 2005 and WS-FM 2005, volume 3670 of LNCS, pages 230-242. Springer, 2005.
10. R. Dijkman and M. Dumas. Service-oriented design: A multi-viewpoint approach. J. Cooperative Inf. Syst., 13:337-368, 2004.
11. G. Alonso and F. Casati and H. Kuno and V. Machiraju. Web Services - Concepts, Architectures and Applications. Springer-Verlag, 2004.
12. G. Shegalov and M. Gillmann and G. Weikum. XML-enabled Workflow Management for e-Services across Heterogeneous Platforms. VLDB Journal, 10(1):91-103, 2001.
13. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-services: a look behind the curtain. In Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (PODS'03), pages 1-14. ACM Press, 2003.
14. S. Klüppelholz and C. Baier. Symbolic Model Checking for Channel-based Component Connectors. In C. Canal and M. Viroli, editors, Proceedings of 5th Int. Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'06), pages 19-36.
15. F. Leymann. Web Services Flow Language (WSFL 1.0). http://www4.ibm.com/ software/solutions/webservices/pdf/WSFL.pdf.
16. M. P. Papazoglou and D. Georgakopoulos. Service Oriented Computing. Comm. ACM, 46(10):25-28, 2003.
17. D. A. Menascé. Composing Web Services: A QoS View. IEEE Internet Computing, 8(6):88-90, 2004.
18. N. Milanovic and M. Malek. Current Solutions for Web Service Composition. IEEE Internet Computing, 8:51-59, 2004.
19. C. Montangero and L. Semini. A Logical View of Choreography. In P. Ciancarini and H. Wiklicky, editor, COORDINATION 2006, volume 4038 of LNCS, pages 179-193. Springer-Verlag, 2006.
20. C. Pahl and Y. Zhu. A Semantical Framework for the Orchestration and Choreography of Web Services. In A. Arenas, J. Dong, A. Martin, and B. Matthews, editors, Proceedings of the International Workshop on Web Languages and Formal Methods (WLFM 2005), volume 151 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2006.
21. C. Peltz. Web Services Orchestration and Choreography. IEEE Computer, 36(10):46-52, 2003.
22. G. Salaün, L. Bordeaux, and M. Schaerf. Describing and Reasoning on Web Services using Process Algebra. In H. Jain and L. Liu, editors, Proceedings of the IEEE International Conference on Web Services (ICWS'04), pages 43-50. IEEE Computer Society, 2004.
23. C. Szyperski. Component Software - Beyond Object-Oriented Programming. Addison-Wesley, 1998.
24. Universal Description, Discovery, and Integration (UDDI) v3.0. http://www.uddi.org/.
25. W3C Simple object access protocol (soap) v 1.2. http://www.w3.org/2000/ xp/Group/.
26. W3C Web Service Choreography Description Language (WS-CDL) 1.0. http://www.w3.org/TR/ws-cdl-10/.
27. W3C Web Service Choreography Interface (WSCI) 1.0. http://www.w3.org/TR/ wsci/.
28. W3C Web Service Description Language (WSDL) 1.1. http://www.w3.org/TR/ wsdl.
29. J. Zhang, J.-Y. Chung, C. K. Chang, and S. W. Kim. WS-Net: A Petri-net Based Specification Model for Web Services. In H. Jain and L. Liu, editors, Proceedings of the IEEE International Conference on Web Services (ICWS'04), pages 420-427. IEEE Computer Society, 2004.