Article

Web services choreography and orchestration in Reo and constraint automata

Authors:

Farhad ArbabAuthors Info & Claims

SAC '07: Proceedings of the 2007 ACM symposium on Applied computing

Pages 346 - 353

https://doi.org/10.1145/1244002.1244085

Published: 11 March 2007 Publication History

Abstract

Currently web services constitute one of the most important topics in the realm of the World Wide Web. Composition of web services lets developers create applications on top of service-oriented computing platforms. Current web services choreography and orchestration proposals, such as BPELAWS, WSCDL, and WSCI, provide notations for describing the message flows in web service interactions. However, such proposals remain at the description level, without providing any kind of formal reasoning mechanisms or tool support for checking the compatibility of web services based on the proposed notations. In this paper, we present our work on compositional construction of web services using the Reo coordination language and constraint automata. Reo is an exogenous coordinational language based on channels. We investigate the possibility of representing the behaviour of web services using constraint automata as black-box components within Reo circuits. We describe the orchestration of web services by the product of corresponding constraint automata, and use Reo circuits for choreography of web services. We investigate the issues of description, orchestration, and choreography of web services at a unifying abstract level, based on constraint automata, which have been used as the semantics of the coordination language Reo, allowing us to derive a natural correspondence relationship between orchestration and choreography.

References

[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.

Digital Library

[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--113, 2006.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[17]

D. A. Menascé. Composing Web Services: A QoS View. IEEE Internet Computing, 8(6):88--90, 2004.

Digital Library

[18]

N. Milanovic and M. Malek. Current Solutions for Web Service Composition. IEEE Internet Computing, 8:51--59, 2004.

Digital Library

[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.

Digital Library

[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.

Digital Library

[21]

C. Peltz. Web Services Orchestration and Choreography. IEEE Computer, 36(10):46--52, 2003.

Digital Library

[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.

Digital Library

[23]

C. Szyperski. Component Software - Beyond Object-Oriented Programming. Addison-Wesley, 1998.

Digital Library

[24]

Universal Description, Discovery, and Integration (UDDI) v3.0. http://www.uddi.org/.

[25]

W3C. Simple object access protocol (soap) v1.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.

Digital Library

Cited By

Xu ZSun M(2023)Formal Modeling and Verification of Timed Connectors in IoT with Z32023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE)10.1109/CSCE60160.2023.00410(2556-2563)Online publication date: 24-Jul-2023
https://doi.org/10.1109/CSCE60160.2023.00410
Changizi BKokash NArbab FMakhnist L(2020)Compositional Workflow Modeling with Priority ConstraintsScience of Computer Programming10.1016/j.scico.2020.102578(102578)Online publication date: Nov-2020
https://doi.org/10.1016/j.scico.2020.102578
Zhang YGuo Y(2019)Coordinating Stateful IoT Resources as Event-Driven Distributed IoT ServicesIntegrating and Streamlining Event-Driven IoT Services10.4018/978-1-5225-7622-8.ch005(140-175)Online publication date: 2019
https://doi.org/10.4018/978-1-5225-7622-8.ch005
Show More Cited By

Index Terms

Web services choreography and orchestration in Reo and constraint automata
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

Recommendations

A Semantical Framework for the Orchestration and Choreography of Web Services

Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the composition of individual services through orchestration and choreography to ...
CSP-Based Verification for Web Service Orchestration and Choreography

Service-oriented computing aspires to an unprecedented level of platform-independence and inter-operability of software components for intra- and inter-organizational business processes through standard protocols and languages for workflows and process-...
Model-Based Methods for Linking Web Service Choreography and Orchestration
APSEC '10: Proceedings of the 2010 Asia Pacific Software Engineering Conference

In recent years, many Web service composition languages have been proposed. Web service choreography describes collaboration protocols of cooperating Web service participants from a global view. Web service orchestration describes collaboration of the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '07: Proceedings of the 2007 ACM symposium on Applied computing

March 2007

1688 pages

ISBN:1595934804

DOI:10.1145/1244002

Conference Chairs:
Yookun Cho
Seoul National University, Seoul, Korea
,
Roger L. Wainwright
University of Tulsa, Tulsa, Oklahoma
,
Hisham M. Haddad
Kennesaw State University, Kennesaw, Georgia
,
Sung Y. Shin
South Dakota State University, Brookings, South Dakota
,
Program Chair:
Yong Wan Koo
The University of Suwon, Gyeongggi-do, Korea

Copyright © 2007 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 March 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SAC07

Sponsor:

SIGAPP

SAC07: The 2007 ACM Symposium on Applied Computing

March 11 - 15, 2007

Seoul, Korea

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

31
Total Citations
View Citations
986
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Xu ZSun M(2023)Formal Modeling and Verification of Timed Connectors in IoT with Z32023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE)10.1109/CSCE60160.2023.00410(2556-2563)Online publication date: 24-Jul-2023
https://doi.org/10.1109/CSCE60160.2023.00410
Changizi BKokash NArbab FMakhnist L(2020)Compositional Workflow Modeling with Priority ConstraintsScience of Computer Programming10.1016/j.scico.2020.102578(102578)Online publication date: Nov-2020
https://doi.org/10.1016/j.scico.2020.102578
Zhang YGuo Y(2019)Coordinating Stateful IoT Resources as Event-Driven Distributed IoT ServicesIntegrating and Streamlining Event-Driven IoT Services10.4018/978-1-5225-7622-8.ch005(140-175)Online publication date: 2019
https://doi.org/10.4018/978-1-5225-7622-8.ch005
Changizi BKokash NArbab F(2019)Service Orchestration with Priority ConstraintsFundamentals of Software Engineering10.1007/978-3-030-31517-7_14(194-209)Online publication date: 1-May-2019
https://dl.acm.org/doi/10.1007/978-3-030-31517-7_14
Velasquez KAbreu DGoncalves DBittencourt LCurado MMonteiro EMadeira E(2017)Service Orchestration in Fog Environments2017 IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud)10.1109/FiCloud.2017.49(329-336)Online publication date: Aug-2017
https://doi.org/10.1109/FiCloud.2017.49
Teixeira MRibeiro RBarbosa MEnembreck FMassa R(2015)A modeling architecture for the orchestration of service components in factory automation2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)10.1109/ETFA.2015.7301446(1-8)Online publication date: Sep-2015
https://doi.org/10.1109/ETFA.2015.7301446
Afsarmanesh HSargolzaei MShadi M(2015)Semi-automated software service integration in virtual organisationsEnterprise Information Systems10.1080/17517575.2014.9289539:5-6(528-555)Online publication date: 1-Aug-2015
https://dl.acm.org/doi/10.1080/17517575.2014.928953
Jongmans SSantini FSargolzaei MArbab FAfsarmanesh H(2014)Orchestrating web services using ReoService Oriented Computing and Applications10.1007/s11761-013-0147-18:4(277-297)Online publication date: 1-Dec-2014
https://dl.acm.org/doi/10.1007/s11761-013-0147-1
Sun M(2013)Challenges on Coordination for Cyber-Physical SystemsApplied Mechanics and Materials10.4028/www.scientific.net/AMM.347-350.2942347-350(2942-2946)Online publication date: Aug-2013
https://doi.org/10.4028/www.scientific.net/AMM.347-350.2942
Oliveira BBelo OSong IBellatreche LCuzzocrea A(2013)Using REO on ETL conceptual modellingProceedings of the sixteenth international workshop on Data warehousing and OLAP10.1145/2513190.2513202(55-60)Online publication date: 28-Oct-2013
https://dl.acm.org/doi/10.1145/2513190.2513202
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten