Compositional Construction of Web Services Using Reo

Nikolay Diakov, Farhad Arbab


A Web Service can represent a unit of business logic that an organization exposes to other organizations on the World Wide Web. The recent efforts of the industry to agree on a common definition for Web Services resulted in the Web Services (WS) standard that governs how one defines, advertises and uses Web Services. Composition of primitive Web Services into complex ones presents the next challenge for the industry. Existing proposals for languages for service composition (also called choreography of Web services) typically come from the business process modeling community and often lack foundations in theoretical computer science and possibilities to address composition from a more general perspective than business process applications only. In this paper we present our work-in-progress on compositional construction of Web Services using the Reo coordination language. The Reo language has a strong formal basis and promotes loose coupling, distribution, mobility, exogenous coordination, and dynamic reconfigurability. We carry out this work within the context of the Cybernetics Incident Management (CIM) project.


  1. Arbab, F., Mavadatt, F. “Coordination through channel composition”. In “Coordination Languages and Models: Proc. Coordination 2002, volume 2315 of Lecture Notes in Computer Science, Springer-Verlag, pp. 21-38.
  2. Arbab, F. “Reo: A Channel-based Coordination Model for Component Composition”. To appear in “Mathematical Structures in Computer Science”, 2004.
  3. Arbab, F., Rutten, J.J.M.M. “A Coinductive Calculus of Component Connectors”. In the Proceedings of 16th International Workshop on Algebraic Development Techniques (WADT 2002), Lecture Notes in Computer Science 2755, Springer, 2003, pp. 35--56.
  4. Arbab, F., Baier, C., Rutten, J., Sirjani, M. “Modeling Component Connectors in Reo by Constraint Automata”. To appear in Electronic Notes in Theoretical Computer Science, 2004.
  5. Schantz, R. E., and Schmidt, D. C. “Middleware for Distributed Systems: Evolving the Common Structure for Network-centric Applications,” Encyclopedia of Software Eng., Wiley & Sons, New York, 2001; also available at
  6. Guillen-Scholten, J.V., Arbab, F., de Boer, F.S., and Bonsangue, M.M. “A Channel-based Coordination Model for Components”, in the Proceedings of 1st International Workshop on Foundations of Coordination Languages and Software Architectures, ENTCS 68.3, Elsevier Science, 2002.
  7. Van der Aalst, W.M.P. “Don't go with the flow: Web services composition standards exposed”. Trends and Controversies, IEEE Intelligent Systems, issue Jan/Feb, 2003.
  8. Arbab, F., F., de Boer, F.S., Guillen-Scholten, G.V., Bonsangue, M.M. “MoCha: A Middleware Based on Mobile Channels”. In the Proceedings of the 26th Annual International Computer Science Software and Applications Conference (COMPSAC'02).
  9. Web Services site.
  10. Arbab, F. “Abstract Behavior Types: A Foundation Model for Components and Their Composition”. In the Proceedings of the First International Symposium on Formal Methods for Components and Objects (FMCO 2002), LNCS 2852, pp.33-70, 2003, The Netherlands.
  11. The CIM project official web page.
  12. F. Cabrera et al., “Web Services Coordination (WS-Coordination)”, August 2002,
  13. XML Protocol Group, “SOAP 1.2”, W3C Recommendation, June 2003,
  14. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana, “Web Services Description Language (WSDL) 2.0”, W3C, November 2001,
  15. Universal Description, Discovery and Integration (UDDI) protocol 3.0, November 2004,
  16. F. Curbera, Y. Goland, J. Klein, F. Leyman, D. Roller, S. Thatte, and S. Weerawarana, “Business Process Execution Language for Web Services (BPEL4WS) 1.1,” May 2003,
  17. Web Services Choreography Interface 1.0 specification, December, 2003,

Paper Citation

in Harvard Style

Diakov N. and Arbab F. (2004). Compositional Construction of Web Services Using Reo . In Proceedings of the 2nd International Workshop on Web Services: Modeling, Architecture and Infrastructure - Volume 1: WSMAI, (ICEIS 2004) ISBN 972-8865-09-0, pages 49-58. DOI: 10.5220/0002666400490058

in Bibtex Style

author={Nikolay Diakov and Farhad Arbab},
title={Compositional Construction of Web Services Using Reo},
booktitle={Proceedings of the 2nd International Workshop on Web Services: Modeling, Architecture and Infrastructure - Volume 1: WSMAI, (ICEIS 2004)},

in EndNote Style

JO - Proceedings of the 2nd International Workshop on Web Services: Modeling, Architecture and Infrastructure - Volume 1: WSMAI, (ICEIS 2004)
TI - Compositional Construction of Web Services Using Reo
SN - 972-8865-09-0
AU - Diakov N.
AU - Arbab F.
PY - 2004
SP - 49
EP - 58
DO - 10.5220/0002666400490058