{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:36:20Z","timestamp":1760708180414},"reference-count":35,"publisher":"IGI Global","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,4,1]]},"abstract":"<p>In Rouached et al. (2006) and Rouached and Godart (2007) the authors described the semantics of WSBPEL by way of mapping each of the WSBPEL (Arkin et al., 2004) constructs to the EC algebra and building a model of the process behaviour. With these mapping rules, the authors describe a modelling approach of a process defined for a single Web service composition. However, this modelling is limited to a local view and can only be used to model the behaviour of a single process. The authors further the semantic mapping to include Web service composition interactions through modelling Web service conversations and their choreography. This paper elaborates the models to support a view of interacting Web service compositions extending the mapping from WSBPEL to EC, and including Web service interfaces (WSDL) for use in modelling between services. The verification and validation techniques are also exposed while automated induction-based theorem prover is used as verification back-end.<\/p>","DOI":"10.4018\/jwsr.2010040105","type":"journal-article","created":{"date-parts":[[2010,4,19]],"date-time":"2010-04-19T22:57:46Z","timestamp":1271717866000},"page":"87-110","source":"Crossref","is-referenced-by-count":12,"title":["Web Services Compositions Modelling and Choreographies Analysis"],"prefix":"10.4018","volume":"7","author":[{"given":"Mohsen","family":"Rouached","sequence":"first","affiliation":[{"name":"Laboratoire d\u2019InfoRmatique en Image et Syst\u00e8mes d\u2019information (LIRIS), France"}]},{"given":"Walid","family":"Fdhila","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Henri Poincar\u00e9, France"}]},{"given":"Claude","family":"Godart","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Henri Poincar\u00e9, France"}]}],"member":"2432","reference":[{"key":"jwsr.2010040105-0","author":"T.Andrews","year":"2003","journal-title":"Business Process Execution Language for Web Services, Version 1.1. Standards proposal by BEA Systems"},{"key":"jwsr.2010040105-1","doi-asserted-by":"crossref","unstructured":"Ankolekar, A., Burstein, M., et al. (2002). DAML-S: Web Service Description for the Semantic Web. In Proceedings of the 1st International Semantic Web Conference (ISWC), Sardinia, Italy.","DOI":"10.1007\/3-540-48005-6_27"},{"key":"jwsr.2010040105-2","unstructured":"Arkin, A., Askary, S., Bloch, B., & Curbera, F. (2004, December). Web services business process execution language version 2.0 (Tech. Rep. OASIS)."},{"key":"jwsr.2010040105-3","unstructured":"Barros, A., Dumas, M., & Oaks, P. (2005, March). Critical overview of the Web services choreography description language (ws-cdl). Retrieved from http:\/\/www.bptrends.com"},{"key":"jwsr.2010040105-4","unstructured":"Berardi, D., Calvanese, D., Giacomo, G. D., Hull, R., Lenzerini, M., & Mecella, M. (2005a). Modeling data processes for service speci\ufb01cations in colombo. In M. Missiko & A. D. Nicola (Eds.), Proceedings of EMOI-INTEROP, volume 160 of CEUR Workshop. Retrieved from CEUR-WS.org"},{"key":"jwsr.2010040105-5","unstructured":"Berardi, D., Calvanese, D., Giacomo, G. D., Hull, R., & Mecella, M. (2005b). Automatic composition of Web services in colombo. In A. Cal, D. Calvanese, E. Franconi, M. Lenzerini, & L. Tanca (Eds.), Proceedings of SEBD (pp. 815)."},{"key":"jwsr.2010040105-6","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.05.007"},{"key":"jwsr.2010040105-7","doi-asserted-by":"crossref","unstructured":"Ceri, S., Fraternali, P., & Bongio, A. (2000). Web modeling language (Webml): a modeling language for designing Web sites. Computer Networks, 33(1-6), 137-157.","DOI":"10.1016\/S1389-1286(00)00040-2"},{"key":"jwsr.2010040105-8","unstructured":"Duan, Z., Bernstein, A., et al. (2004). Semantics Based Verification and Synthesis of WSBPEL Abstract Processes. In Proceedings of the 3rd IEEE International Conference on Web Services, San Diego, CA."},{"key":"jwsr.2010040105-9","unstructured":"Fahland, D., & Reisig, W. (2005, March). ASM-based semantics for BPEL: The negative control \ufb02ow. In D. Beauquier, E. B\u00a8orger, & A. Slissenko (Eds.), Proceedings of the 12th International Workshop on Abstract State Machines, Paris (pp. 131-151)."},{"key":"jwsr.2010040105-10","doi-asserted-by":"crossref","unstructured":"Ferrara, A. (2004). Web services: A process algebra approach. In Proceedings of the 2nd international conference on Service oriented computing (pp. 242-251). New York: ACM Press.","DOI":"10.1145\/1035167.1035202"},{"key":"jwsr.2010040105-11","unstructured":"Fisteus, J., Fernandez, L., & Kloos, C. (2004, August). Formal veri\ufb01cation of WSBPEL business collaborations. In K. Bauknecht, M. Bichler, & B. Proll (Eds.), Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (EC-Web \u201904), Zaragoza, Spain (LNCS 3182, pp. 7994). Berlin: Springer Verlag."},{"key":"jwsr.2010040105-12","doi-asserted-by":"crossref","unstructured":"Foster, H., Sebastian, U., Jeff, M., & Jeff, K. (2003). Model-based Verification of Web Service Compositions. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE'03) (p. 152).","DOI":"10.1109\/ASE.2003.1240303"},{"key":"jwsr.2010040105-13","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., et al. (2004a). Compatibility for Web Service Choreography. In Proceedings of the 3rd IEEE International Conference on Web Services (ICWS), San Diego, CA. Washington, DC: IEEE.","DOI":"10.1109\/ICWS.2004.1314806"},{"key":"jwsr.2010040105-14","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., et al. (2005a). Tool Support for Model-Based Engineering of Web Service Compositions. In Proceedings of the 3rd IEEE International Conference on Web Services (ICWS2005), Orlando, FL. Washington, DC: IEEE.","DOI":"10.1109\/ICWS.2005.119"},{"key":"jwsr.2010040105-15","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., et al. (2005b). Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. In Proceedings of the 2nd IEEE International Conference on Services Computing (SCC2005), Orlando, FL. Washington, DC: IEEE.","DOI":"10.1109\/SCC.2005.105"},{"key":"jwsr.2010040105-16","unstructured":"Fu, X. (2004). Formal Speci\ufb01cation and Veri\ufb01cation of Asynchronously Communicating Web Services. Unpublished doctoral thesis, University of California, Santa Barbara, CA."},{"key":"jwsr.2010040105-17","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., & Su, J. (2004). Analysis of interacting bpel Web services. In Proceedings of the 13th international conference on World Wide Web (WWW \u201904) (pp. 621-630). New York: ACM Press.","DOI":"10.1145\/988672.988756"},{"key":"jwsr.2010040105-18","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M., & Santuari, L. (2006). Analysis of communication models in Web service compositions. In Proceedings of the 15th international conference on World Wide Web (WWW \u201906) (pp. 267-276). New York: ACM.","DOI":"10.1145\/1135777.1135819"},{"issue":"1","key":"jwsr.2010040105-19","first-page":"67","article-title":"A logic-based calculus of events. New generation","volume":"4","author":"R.Kowalski","year":"1986","journal-title":"Computing"},{"key":"jwsr.2010040105-20","author":"J.Magee","year":"1999","journal-title":"Concurrency: state models & Java programs"},{"key":"jwsr.2010040105-21","doi-asserted-by":"publisher","DOI":"10.1145\/1084772.1084773"},{"key":"jwsr.2010040105-22","doi-asserted-by":"crossref","unstructured":"Martens, A. (2005). Analyzing Web Service Based Business Processes. In M. Cerioli (Ed.), Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (FASE 2005) (LNCS 3442, pp. 19-33). Berlin: Springer Verlag.","DOI":"10.1007\/978-3-540-31984-9_3"},{"key":"jwsr.2010040105-23","unstructured":"Ouyang, C., Aalst, W., Breutel, S., Dumas, M., & Verbeek, H. (2005). Formal Semantics and Analysis of Control Flow in WS-BPEL (BPM Center Report BPM-05-15). Retrieved from BPMcenter.org"},{"key":"jwsr.2010040105-24","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.05.005"},{"key":"jwsr.2010040105-25","doi-asserted-by":"crossref","unstructured":"Rouached, M., Gaaloul, G., van der Aalst, W., Bhiri, S., & Godart, C. (2006, November). Web service mining and veri\ufb01cation of properties: An approach based on event calculus. In Proceedings 14th International Conference on Cooperative Information Systems (CoopIS 2006).","DOI":"10.1007\/11914853_25"},{"key":"jwsr.2010040105-26","doi-asserted-by":"crossref","unstructured":"Rouached, M., & Godart, C. (2007, July 9-13). Requirements-driven veri\ufb01cation of wsbpel processes. In Proceedings of the IEEE International Conference on Web Services (ICWS\u201907), Salt Lake City, Utah.","DOI":"10.1109\/ICWS.2007.153"},{"key":"jwsr.2010040105-27","unstructured":"Seeley, R. (2003). Berners-Lee: Integrate Web services and Semantic Web. Retrieved from http:\/\/www.adtmag.com\/article.asp?id=7662"},{"key":"jwsr.2010040105-28","doi-asserted-by":"crossref","unstructured":"Shanahan, M. P. (1999). The Event Calculus Explained. In Artificial Intelligence Today (LNCS 1600, pp. 409-430). New York: Springer Verlag.","DOI":"10.1007\/3-540-48317-9_17"},{"key":"jwsr.2010040105-29","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843006001384"},{"key":"jwsr.2010040105-30","unstructured":"Stahl, C. (2004). Transformation von WSBPEL in Petrinetze. Unpublished master\u2019s thesis, Humboldt University, Berlin."},{"key":"jwsr.2010040105-31","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0469"},{"key":"jwsr.2010040105-32","unstructured":"Van Breugel, F., & Koshkina, M. (2006). Models and veri\ufb01cation of bpel. Retrieved from http:\/\/www.cse.yorku.ca\/ franck\/research\/drafts\/tutorial.pdf"},{"key":"jwsr.2010040105-33","doi-asserted-by":"crossref","unstructured":"Woodman, S., Palmer, D., et al. (2004). Notations for the Specification and Verification of Composite Web Services. In Proceedings of the 8th IEEE International Enterprise Distributed Object Computing (EDOC) Conference, Monterey, CA.","DOI":"10.1109\/EDOC.2004.1342503"},{"key":"jwsr.2010040105-34","doi-asserted-by":"crossref","unstructured":"Yang, Y., Tan, Q., & Xiao, Y. (2005). Verifying Web services composition based on hierarchical colored petri nets. In Proceedings of the \ufb01rst international workshop on Interoperability of heterogeneous information systems (IHIS \u201905) (pp. 47-54). New York: ACM Press.","DOI":"10.1145\/1096967.1096977"}],"container-title":["International Journal of Web Services Research"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=42111","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T04:41:01Z","timestamp":1654144861000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jwsr.2010040105"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2010,4,1]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4]]}},"URL":"https:\/\/doi.org\/10.4018\/jwsr.2010040105","relation":{},"ISSN":["1545-7362","1546-5004"],"issn-type":[{"value":"1545-7362","type":"print"},{"value":"1546-5004","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4,1]]}}}