{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T21:56:05Z","timestamp":1761947765448},"reference-count":32,"publisher":"IGI Global","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,4,1]]},"abstract":"<p>Web services are the main pillar of the Service Oriented Computing (SOC) paradigm which enables application integration within and across business organizations. One of the most important features of Web services is the idea of choreography which captures collaborative processes involving multiple services. In this context, compatibility analysis of choreography is a central point to investigate. The compatibility of a choreography means the capability of a set of Web services to interact by exchanging messages in a safe way. Whether a set of services are compatible depends not only on their sequences of messages but also on quantitative properties like timed properties. In this paper, the authors investigate a model checking based approach that checks the compatibility of a choreography in which Web services support asynchronous timed communications.<\/p>","DOI":"10.4018\/jwsr.2011040101","type":"journal-article","created":{"date-parts":[[2011,10,19]],"date-time":"2011-10-19T16:57:06Z","timestamp":1319043426000},"page":"1-28","source":"Crossref","is-referenced-by-count":8,"title":["Characterizing Compatibility of Timed Choreography"],"prefix":"10.4018","volume":"8","author":[{"given":"Nawal","family":"Guermouche","sequence":"first","affiliation":[{"name":"CNRS, Universit\u00e9 de Toulouse, LORIA-Nancy University, France"}]},{"given":"Claude","family":"Godart","sequence":"additional","affiliation":[{"name":"LORIA-Nancy University, France"}]}],"member":"2432","reference":[{"key":"jwsr.2011040101-0","author":"G.Alonso","year":"2004","journal-title":"Web services - concepts, architectures and applications"},{"key":"jwsr.2011040101-1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"jwsr.2011040101-2","unstructured":"Anca, M., & Igor, W. (2007, March 24-April 1). A lower bound on web services composition. In Proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'07), Braga, Portugal (LNCS 4423, pp. 274-287)."},{"key":"jwsr.2011040101-3","unstructured":"Benatallah, B., Casati, F., Ponge, J., & Toumani, F. (2005). On temporal abstractions of web service protocols. In Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE \u201905)."},{"key":"jwsr.2011040101-4","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.1260703"},{"key":"jwsr.2011040101-5","doi-asserted-by":"crossref","unstructured":"Benatallah, B., Casati, F., & Toumani, F. (2004b). Analysis and management of web service protocols. Paper presented at the 23rd International Conference on Conceptual Modeling.","DOI":"10.1007\/978-3-540-30464-7_40"},{"key":"jwsr.2011040101-6","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.07.006"},{"key":"jwsr.2011040101-7","unstructured":"Benatallah, B., Casati, F., Toumani, F., & Ponge, J. (2005, October 17-20). Compatibility and replaceability analysis for timed Web service protocols. In Proceedings of the 21\u00e8mes journ\u00e9es Bases de donn\u00e9es Avanc\u00e9es (BDA\u201905), Saint-Malo, France."},{"key":"jwsr.2011040101-8","doi-asserted-by":"crossref","unstructured":"Benatallah, B., Hamid, R., & Nezhad, M. (2007, July 8-21). Service oriented architecture: Overview and directions. In Proceedings of the Lipari Summer School Conference, Lipari Island, Italy (pp. 116-130).","DOI":"10.1007\/978-3-540-89762-0_4"},{"key":"jwsr.2011040101-9","unstructured":"Berardi, D. (2005). Automatic Service Composition. Models, techniques and tools. Unpublished doctoral dissertation, La Sapienza University, Rome, Italy."},{"key":"jwsr.2011040101-10","doi-asserted-by":"crossref","unstructured":"Bordeaux, L., Sala\u00fbn, G., Berardi, D., & Mecella, M. (2004). When are two web services compatible? In Proceedings of the 5th International Workshop on Technologies for EServices (pp. 15-28).","DOI":"10.1007\/978-3-540-31811-8_2"},{"key":"jwsr.2011040101-11","doi-asserted-by":"crossref","unstructured":"Bultan, T., Fu, X., Hull, R., & Su, J. (2003). Conversation specification: a new approach to design and analysis of e-service composition. In Proceedings of the International Conference on the World Wide Web (WWW 2003) (pp. 403-410).","DOI":"10.1145\/775152.775210"},{"key":"jwsr.2011040101-12","doi-asserted-by":"crossref","unstructured":"Diaz, G., Cambronero, M.-E., Pardo, J.-J., Valero, V., & Cuartero, F. (2006, February 19-25). Automatic generation of correct web services choreographies and orchestrations with model checking techniques. In Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT\/ICIW\u201906), Guadeloupe, French Caribbean (p. 186).","DOI":"10.1109\/AICT-ICIW.2006.53"},{"key":"jwsr.2011040101-13","doi-asserted-by":"crossref","unstructured":"Diaz, G., Pardo, J.-J., Cambronero, M.-E., Valero, V., & Cuartero, F. (2005). Verification of web services with timed automata. In Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV\u201905) (Vol. 157, pp. 19-34).","DOI":"10.1016\/j.entcs.2005.12.042"},{"key":"jwsr.2011040101-14","doi-asserted-by":"crossref","unstructured":"Dijkman, R., & Dumas, M. (2004). Service-oriented design: A multi-viewpoint approach (Tech. Rep. No. 04-09). Enschede, The Netherlands: Centre for Telematics and Information Technology, University of Twente.","DOI":"10.1142\/S0218843004001012"},{"key":"jwsr.2011040101-15","unstructured":"Eder, J., & Tahamtan, A. (2008, September 1-5). Temporal conformance of federated choreographies. In Proceedings of the 19th International Conference on Database and Expert Systems Applications (DEXA\u201908), Turin, Italy."},{"key":"jwsr.2011040101-16","doi-asserted-by":"crossref","unstructured":"Guermouche, N., & Godart, C. (2008a, September 15-19). Toward data flow oriented services composition. In Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC'08), Munich, Germany (pp. 379-385).","DOI":"10.1109\/EDOC.2008.25"},{"key":"jwsr.2011040101-17","author":"N.Guermouche","year":"2008","journal-title":"Uppaal based approach for compatibility analysis of synchronous web services"},{"key":"jwsr.2011040101-18","doi-asserted-by":"crossref","unstructured":"Guermouche, N., & Godart, C. (2008c, November 9-14). Timed properties-aware asynchronous web service composition. In Proceedings of the 16th International Conference on Cooperative Information Systems (CoopIS\u201908), Monterrey, Mexico (pp. 44-61).","DOI":"10.1007\/978-3-540-88871-0_7"},{"key":"jwsr.2011040101-19","doi-asserted-by":"crossref","unstructured":"Guermouche, N., & Godart, C. (2009a, July 6-10). Timed model checking based approach for web services analysis. In Proceedings of the IEEE International Conference on Web Service (ICWS\u201909), Los Angeles, CA (pp. 213-221).","DOI":"10.1109\/ICWS.2009.42"},{"key":"jwsr.2011040101-20","unstructured":"Guermouche, N., & Godart, C. (2009b, June 8-12). Asynchronous timed web service-aware choreography analysis. In Proceedings of the 21st International Conference on Advanced Information Systems (CAiSE\u201909), Amsterdam, The Netherlands."},{"key":"jwsr.2011040101-21","doi-asserted-by":"crossref","unstructured":"Guermouche, N., Godart, C., & Benatallah, B. (2008, October 22-24). Data messaging based approach for web service composition. In Proceedings of the IEEE International Conference on e-Business Engineering (ICEBE'08), Xi'an, China (pp. 449-454).","DOI":"10.1109\/ICEBE.2008.109"},{"key":"jwsr.2011040101-22","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.098"},{"key":"jwsr.2011040101-23","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"jwsr.2011040101-24","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pandya, P. K., & Pistore, M. (2006a). Representation, verification, and computation of timed properties in web service compositions. In Proceedings of the IEEE International Conference on Web Services (ICWS) (pp. 497-504).","DOI":"10.1109\/ICWS.2006.112"},{"key":"jwsr.2011040101-25","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pandya, P. K., & Pistore, M. (2006b). Timed modelling and analysis in web service compositions. In Proceedings of the First International Conference on Availability, Reliability and Security (pp. 840-846).","DOI":"10.1109\/ARES.2006.134"},{"key":"jwsr.2011040101-26","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"jwsr.2011040101-27","doi-asserted-by":"publisher","DOI":"10.1109\/2.901166"},{"key":"jwsr.2011040101-28","doi-asserted-by":"crossref","unstructured":"Muscholl, M., & Walukiewicz, I. (2007). A lower bound on web services composition. In Proceedings of the Conference on Foundations of Software Science and Computation Structures (FOSSACS) (LNCS 4423, pp. 274-287).","DOI":"10.1007\/978-3-540-71389-0_20"},{"key":"jwsr.2011040101-29","unstructured":"Ponge, J. (2006). A new model for web services timed business protocols. Paper presented at the Atelier Syst\u00e8mes d\u2019Information et Services Web Conference."},{"key":"jwsr.2011040101-30","unstructured":"Ponge, J. (2008). Model based Analysis of Time-aware Web Services Interaction. Unpublished doctoral dissertation, Blaise Pascal University, Clermont-Ferrand, France."},{"key":"jwsr.2011040101-31","doi-asserted-by":"crossref","unstructured":"Ponge, J., Benatallah, B., Casati, F., & Toumani, F. (2007). Fine-grained compatibility and replaceability analysis of timed web service protocols. In Proceedings of the 26th International Conference on Conceptual Modeling (LNCS 4801, pp. 599-614).","DOI":"10.1007\/978-3-540-75563-0_40"}],"container-title":["International Journal of Web Services Research"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=55234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T21:28:05Z","timestamp":1654118885000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jwsr.2011040101"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2011,4,1]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,4]]}},"URL":"https:\/\/doi.org\/10.4018\/jwsr.2011040101","relation":{},"ISSN":["1545-7362","1546-5004"],"issn-type":[{"value":"1545-7362","type":"print"},{"value":"1546-5004","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,4,1]]}}}