{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:02:59Z","timestamp":1781103779966,"version":"3.54.1"},"reference-count":37,"publisher":"IGI Global Scientific Publishing","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10,1]]},"abstract":"<p>Currently, Web services give place to active research and this is due both to industrial and theoretical factors. On one hand, Web services are essential as the design model of applications dedicated to the electronic business. On the other hand, this model aims to become one of the major formalisms for the design of distributed and cooperative applications in an open environment (the Internet). In this article, the authors will focus on two features of Web services. The first one concerns the interaction problem: given the interaction protocol of a Web service described in BPEL, how to generate the appropriate client? Their approach is based on a formal semantics for BPEL via process algebra and yields an algorithm which decides whether such a client exists and synthesizes the description of this client as a (timed) automaton. The second one concerns the design process of a service. They propose a method which proceeds by two successive refinements: first the service is described via UML, then refined in a BPEL model and finally enlarged with JAVA code using JCSWL, a new language that we introduce here. Their solutions are integrated in a service development framework that will be presented in a synthetic way.<\/p>","DOI":"10.4018\/jwsr.2009071301","type":"journal-article","created":{"date-parts":[[2010,4,30]],"date-time":"2010-04-30T08:40:24Z","timestamp":1272616824000},"page":"1-29","source":"Crossref","is-referenced-by-count":7,"title":["An Integrated Framework for Web Services Orchestration"],"prefix":"10.4018","volume":"6","author":[{"given":"C.","family":"Boutrous Saab","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris Dauphine, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D.","family":"Coulibaly","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Dauphine, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Haddad","sequence":"additional","affiliation":[{"name":"LSV and ENS Cachan - CNRS, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"T.","family":"Melliti","sequence":"additional","affiliation":[{"name":"Universit\u00e9 d\u2019Evry, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Moreaux","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Savoie, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Rampacek","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Bourgogne, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"jwsr.2009071301-0","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"jwsr.2009071301-1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00173-4"},{"key":"jwsr.2009071301-2","unstructured":"Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., et al. Van der Rijn, D., Yendluri, P., & Yiu, A. (2007). Web Services Business Process Execution Language Version 2.0. OASIS WSBPEL Technical Committee. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf."},{"key":"jwsr.2009071301-3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01898401"},{"key":"jwsr.2009071301-4","doi-asserted-by":"crossref","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., & Varr\u00f2, D. (2003). Modeling and Validation of Service-Oriented Architectures: Application vs. Style. Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (pp. 68-77). New York, NY: ACM Press.","DOI":"10.1145\/949952.940082"},{"key":"jwsr.2009071301-5","unstructured":"Bellwood, T., Cl\u00e9ment, L., & von Riegen, C. (2002). Universal Description, Discovery and Integration. OASIS UDDI Specification Technical Committee. http:\/\/www.oasis-open.org\/cover\/uddi.html."},{"key":"jwsr.2009071301-6","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(84)80025-X"},{"key":"jwsr.2009071301-7","unstructured":"Blow, M., Goland, Y., Kloppmann, M., Leymann, F., Pfau, G., Roller, D., & Rowley, M. (2004). BPELJ: BPEL for JAVA. BEA and IBM. http:\/\/www-128.ibm.com\/developerworks\/library\/specification\/ws-bpelj\/."},{"key":"jwsr.2009071301-8","doi-asserted-by":"crossref","unstructured":"Cambronero, M.E., Pardo, J.J., D\u00edaz, G., & Valero, V. (2007). Using RT-UML for modelling web services. ACM symposium on Applied computing.","DOI":"10.1145\/1244002.1244150"},{"key":"jwsr.2009071301-9","unstructured":"Christensen, E., Curbera, F., Meredith, G., & Weerawarana, S. (2001). Web Services Description Language (WSDL) 1.1. World Wide Web Consortium. http:\/\/www.w3.org\/TR\/wsdl."},{"key":"jwsr.2009071301-10","unstructured":"Duftler, M. J., Mukhi, N. K., Slominski, A., & Weerawarana, S. (2001). Web Services Invocation Framework (WSIF).The Apache Software Foundation. http:\/\/ws.apache.org\/wsif\/."},{"key":"jwsr.2009071301-11","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035202"},{"key":"jwsr.2009071301-12","unstructured":"Gardner, T. (2003). UML Modelling of Automated Business Processes with a Mapping to BPEL4WS. First European Workshop on Object Orientation and Web Services (pp. 21-25), Germany."},{"key":"jwsr.2009071301-13","doi-asserted-by":"crossref","unstructured":"Gronmo, R., & Jaeger, M. C. (2006). Model-Driven Methodology for building QoS-Optimised Web Service Compositions. WEWST06, Zurich, Switzerland.","DOI":"10.1007\/11498094_7"},{"key":"jwsr.2009071301-14","unstructured":"Gudgin, M., Hadley, M., Mendelsohn, N., Moreau, J., & Nielsen, H. (2000). Simple Object Access Protocol (SOAP) 1.1. World Wide Web Consortium. http:\/\/www.w3.org\/TR\/SOAP\/."},{"key":"jwsr.2009071301-15","unstructured":"Haddad, S., Melliti, T., Moreaux, P., & Rampacek, S. (2004). A Dense Time Semantics for Web Services Specifications Languages. Proc. of the 1st Int. Conf. on Information & Communication Technologies: from Theory to Applications (ICTTA\u201904) (pp. 647\u2013648), Damascus, Syria."},{"key":"jwsr.2009071301-16","unstructured":"Haddad, S., Melliti, T., Moreaux, P., & Rampacek, S. (2004). Modelling Web Services Interoperability. Proceedings of the Sixth International Conference on Entreprise Information Systems (pp. 287-295), Porto, Portugal."},{"key":"jwsr.2009071301-17","unstructured":"Hamadi, R., & Benatallah, B. (2003). A Petri Net-based model for web service composition. In K-D. Schewe & X. Zhou (Eds.), Fourteenth Australasian Database Conference (ADC2003), v(17) of CRPIT (pp. 191-200). ACS."},{"key":"jwsr.2009071301-18","unstructured":"Hoare, C. A. R. (1985). Communicating Sequential Processes. Englewood Cliffs, NJ, USA: Prentice Hall."},{"key":"jwsr.2009071301-19","unstructured":"Juric, M., Sarang, P., & Mathew, B. (2005). Business Process Execution Language for Web Services. Packt Publishing."},{"key":"jwsr.2009071301-20","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-7552(96)00078-5"},{"key":"jwsr.2009071301-21","unstructured":"Melliti, T., & Haddad, S. (2003). Synthesis of Agents for Web Services Interaction. Workshop Semantic Web Services for Enterprise Application Integration and E-Commerce of the Fifth International Conference on Electronic Commerce, Pittsburgh, USA."},{"key":"jwsr.2009071301-22","unstructured":"Milner, R. (1989). Communication and Concurrency. Englewood Cliffs, NJ, USA: Prentice-Hall."},{"key":"jwsr.2009071301-23","unstructured":"Nakajima, S. (2002). Model-Checking Verification for Reliable Web Service. Workshop on Object-Oriented Web Services, Seattle, Washington."},{"key":"jwsr.2009071301-24","doi-asserted-by":"crossref","unstructured":"Nicollin, X., & Sifakis, J. (1991). An Overview and Synthesis on Timed Process Algebras. In J. W. de Bakker, C. Huizing, W. P. de Roever, & G. Rozenberg (Eds.), Proc. Real-Time: Theory in Practice, REXWorkshop, v(600) of LNCS (pp. 526-548). Springer-Verlag.","DOI":"10.1007\/BFb0032006"},{"key":"jwsr.2009071301-25","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1083"},{"key":"jwsr.2009071301-26","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W., Breutel, S., Dumas, M., & ter Hofstede, A. (2005). Formal Semantics and Analysis of Control Flow in WS-BPEL. BPM-05-13, Business Process Management Center."},{"key":"jwsr.2009071301-27","unstructured":"Plotkin, G. D. (1981). A Structural Approach to Operational Semantics. Technical Report FN-19, DIAMI, CSD, U. of Aarhus, Aarhus, Denmark."},{"key":"jwsr.2009071301-28"},{"key":"jwsr.2009071301-29","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.11.011"},{"key":"jwsr.2009071301-30","unstructured":"Schmidt, K. &. Stahl, C. (2004). A Petri Net Semantic for BPEL4WS - Validation and Application. In E. Kindler (Ed.), Workshop on Algorithms and Tools for Petri Nets (AWPN 04) (pp. 1-6), Germany."},{"key":"jwsr.2009071301-31","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1014"},{"key":"jwsr.2009071301-32","unstructured":"Skogan, D., Gronmo, R., & Solheim, I. (2004). Web Service Composition in UML. EDOC \u201904: Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International (EDOC\u201904) (pp. 47-57), Washington, DC, USA: IEEE Computer Society."},{"key":"jwsr.2009071301-33","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2003.1179197"},{"key":"jwsr.2009071301-34","unstructured":"Stahl, C. (2004). A Petri Net Semantics for BPEL. Technical report 10099, Humboldt-Universit\u00e4at zu Berlin."},{"key":"jwsr.2009071301-35","unstructured":"Tidwell, D. (2000, November). Web Services - The Web\u2019s Next Revolution. IBM developerWorks."},{"key":"jwsr.2009071301-36","doi-asserted-by":"crossref","unstructured":"van Breugel, F., & Koshinka, M. (2005). Dead-Path-Elimination in BPEL4WS. 5th International Conference on Application of Concurrency to System Design (pp. 192-201). IEEE.","DOI":"10.1109\/ACSD.2005.11"}],"container-title":["International Journal of Web Services Research"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=37386","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T10:17:48Z","timestamp":1654078668000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jwsr.2009071301"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2009,10,1]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,10]]}},"URL":"https:\/\/doi.org\/10.4018\/jwsr.2009071301","relation":{},"ISSN":["1545-7362","1546-5004"],"issn-type":[{"value":"1545-7362","type":"print"},{"value":"1546-5004","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,1]]}}}