{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:04:07Z","timestamp":1742951047283,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":33,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461475170"},{"type":"electronic","value":"9781461475187"}],"license":[{"start":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T00:00:00Z","timestamp":1378252800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T00:00:00Z","timestamp":1378252800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4614-7518-7_16","type":"book-chapter","created":{"date-parts":[[2013,9,3]],"date-time":"2013-09-03T06:17:42Z","timestamp":1378189062000},"page":"399-422","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Composition of Web Services: From Qualitative to Quantitative Timed Properties"],"prefix":"10.1007","author":[{"given":"Nawal","family":"Guermouche","sequence":"first","affiliation":[]},{"given":"Claude","family":"Godart","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,9,4]]},"reference":[{"issue":"2","key":"16_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Benatallah, B., Casati, F., Grigori, D., Nezhad, H.R.M., Toumani, F.: Developing adapters for web services integration. In: CAiSE, pp. 415\u2013429 (2005)","DOI":"10.1007\/11431855_29"},{"key":"16_CR3","unstructured":"Bennaceur, A., Cavallaro, L., Inverardi, P., Issarny, V., Romina Spalazzese Daniel Sykes, M.T.: Dynamic connector synthesis: revised prototype implementation. In: Deliverable D3.3 ICT FET IP Project (2012)"},{"key":"16_CR4","unstructured":"Berardi, D., Calvanese, D., Giacomo, G.D., Hull, R., Mecella, M.: Automatic composition of transition-based semantic web services with messaging. In: Proceedings of the 31st International Conference on Very Large Data Bases, pp. 613\u2013624. ACM, 30 August 2005\u20132 September 2005"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Berardi, D., Calvanese, D., Giacomo, G.D., Mecella, M.: Composition of services with nondeterministic observable behavior. In: Service-Oriented Computing\u2014ICSOC 2005, Third International Conference (ICSOC), pp. 520\u2013526 (2005)","DOI":"10.1007\/11596141_43"},{"key":"16_CR6","unstructured":"Bertoli, P., Pistore, M., Traverso, P.: Automated web service composition by on-the-fly belief space search. In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, pp. 358\u2013361 (2006)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Issarny, V., Sabetta, A., Spalazzese, R.: On-the-fly interoperability through automated mediator synthesis and monitoring? In: $$4^{th}$$ International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201910) (2010)","DOI":"10.1007\/978-3-642-16561-0_26"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Brogi, A., Popescu, R.: Towards semi-automated workflow-based aggregation of web services. In: Service-Oriented Computing\u2014ICSOC 2005, Third International Conference (ICSOC), pp. 214\u2013227 (2005)","DOI":"10.1007\/11596141_17"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: Proceedings of the international conference on World Wide Web, WWW 2003, pp. 403\u2013410 (2003)","DOI":"10.1145\/775152.775210"},{"issue":"1","key":"16_CR10","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.entcs.2005.11.005","volume":"146","author":"Y Charif","year":"2006","unstructured":"Charif, Y., Sabouret, N.: An overview of semantic web services composition approaches. Electr. Notes Theor. Comput. Sci. 146(1), 33\u201341 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"D\u00edaz, G., Cambronero, M.E., Pardo, J.J., Valero, V., Cuartero, F.: Automatic generation of correct web services choreographies and orchestrations with model checking techniques. In: Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT\/ICIW\u201906), p. 186, 19\u201325 February 2006","DOI":"10.1109\/AICT-ICIW.2006.53"},{"key":"16_CR12","unstructured":"Guermouche, N.: Timed interation-aware web service composition (wrtiten in french: Etude des interactions temporises dans la composition de services web). Ph.D. thesis, Nancy university, France (2010)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Guermouche, N., Godart, C.: Timed properties-aware asynchronous web service composition. In: Proceedings of the $$16^{th}$$ International Conference on Cooperative, Information Systems (CoopIS\u201908) pp. 44\u201361, 9\u201314 November 2008","DOI":"10.1007\/978-3-540-88871-0_7"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Guermouche, N., Godart, C.: Timed model checking based approach for web services analysis. In: IEEE International Conference on Web Services (ICWS\u201909) (2009)","DOI":"10.1109\/ICWS.2009.42"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Guermouche, N., Benbernou, S., Coquery, E., Hacid, M.S.: Privacy-aware web service protocol replaceability. In: IEEE International Conference on Web Services (ICWS\u201907), pp. 1048\u20131055, 9\u201313 July 2007","DOI":"10.1109\/ICWS.2007.143"},{"issue":"2","key":"16_CR16","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"TA Henzinger","year":"1994","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. Comput. 111(2), 193\u2013244 (1994)","journal-title":"Inf. Comput."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: a look behind the curtain. In: Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pp. 1\u201314 (2003)","DOI":"10.1145\/773153.773154"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pandya, P.K., Pistore, M.: Representation, verification, and computation of timed properties in web service compositions. In: Proceedings of the IEEE International Conference on Web Services (ICWS), pp. 497\u2013504 (2006)","DOI":"10.1109\/ICWS.2006.112"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. J. Softw. Tools Technol. Transf. 1, 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"16_CR20","unstructured":"McIlraith, S.A., Son, T.C.: Adapting golog for composition of semantic web services. In: Proceedings of the $$8{^{\\text{ th }}}$$ International Conference on Principles and Knowledge Representation and Reasoning (KR\u201902), pp. 482\u2013496, 22\u201325 April 2002"},{"issue":"2","key":"16_CR21","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.901166","volume":"34","author":"M Mecella","year":"2001","unstructured":"Mecella, M., Batini, C.: Enabling italian e-government through a cooperative architecture. IEEE Comput. 34(2), 40\u201345 (2001)","journal-title":"IEEE Comput."},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00778-003-0101-5","volume":"12","author":"B Medjahed","year":"2003","unstructured":"Medjahed, B., Bouguettaya, A., Elmagarmid, A.K.: Composing web services on the semantic web. VLDB J. 12, 333\u2013351 (2003)","journal-title":"VLDB J."},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Muscholl, A., Walukiewicz, I.: A lower bound on web services composition. In: Proceedings of Foundations of Software Science and Computation Structures (FOSSACS), vol. 4423, pp. 274\u2013287. LNCS (2007)","DOI":"10.1007\/978-3-540-71389-0_20"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: Proceedings of the International Conference on World Wide Web, WWW 2002, pp. 77\u201388 (2002)","DOI":"10.1145\/511446.511457"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Pichler, H., Wenger, M., Eder, J.: Composing time-aware web service orchestrations. In: Proceedings of the 21$${^{\\text{ st }}}$$ International Conference on Advanced Information, Systems Engineering (CAiSE\u201909), pp. 349\u2013363, 8\u201312 June 2009","DOI":"10.1007\/978-3-642-02144-2_29"},{"key":"16_CR26","unstructured":"Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated composition of web services by planning at the knowledge level. In: IJCAI, pp. 1252\u20131259 (2005)"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Fine-grained compatibility and replaceability analysis of timed web service protocols. In: The 26th International Conference on Conceptual Modeling (ER) (2007)","DOI":"10.1007\/978-3-540-75563-0_40"},{"issue":"3","key":"16_CR28","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/96602.96604","volume":"22","author":"AP Sheth","year":"1990","unstructured":"Sheth, A.P., Larson, J.A.: Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Comput. Surv. 22(3), 183\u2013236 (1990)","journal-title":"ACM Comput. Surv."},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Sohrabi, S., Prokoshyna, N., McIlraith, S.A.: Web service composition via generic procedures and customizing user preferences. In: International Semantic Web Conference, pp. 597\u2013611 (2006)","DOI":"10.1007\/11926078_43"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"Stollberg, M., Cimpian, E., Mocan, A., Fensel, D.: A semantic web mediation architecture. In: Canadian, Semantic Web, pp. 3\u201322 (2006)","DOI":"10.1007\/978-0-387-34347-1_2"},{"key":"16_CR31","unstructured":"Thakkar, S., Ambite, J.L., Knoblock, C.A.: A view integration approach to dynamic composition of web services. In: Proceeding of 2003 ICAPS Workshop on Planning for Web Services (2003)"},{"key":"16_CR32","unstructured":"Thakkar, S., Ambite, J.L., Knoblock, C.A.: A data integration approach to automatically composing and optimizing web services. In: Proceedings of the 2nd ICAPS International Workshop on Planning and Scheduling for Web and Grid Services (2004)"},{"issue":"3","key":"16_CR33","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.121508","volume":"25","author":"G Wiederhold","year":"1992","unstructured":"Wiederhold, G.: Mediators in the architecture of future information systems. IEEE Comput. 25(3), 38\u201349 (1992)","journal-title":"IEEE Comput."}],"container-title":["Web Services Foundations"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-7518-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T14:53:57Z","timestamp":1683816837000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-7518-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,4]]},"ISBN":["9781461475170","9781461475187"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-7518-7_16","relation":{},"subject":[],"published":{"date-parts":[[2013,9,4]]},"assertion":[{"value":"4 September 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}