{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:45:29Z","timestamp":1742399129856},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540888703"},{"type":"electronic","value":"9783540888710"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88871-0_7","type":"book-chapter","created":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T00:46:59Z","timestamp":1226018819000},"page":"44-61","source":"Crossref","is-referenced-by-count":7,"title":["Timed Properties-Aware Asynchronous Web Service Composition"],"prefix":"10.1007","author":[{"given":"Nawal","family":"Guermouche","sequence":"first","affiliation":[]},{"given":"Claude","family":"Godart","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"7_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. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"7_CR2","unstructured":"Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Guizar, A., Kartha, N., Liu, C.K., Khalaf, R., Knig, D., Marin, M., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.: Web services business process execution language version 2.0. OASIS (2007), http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf"},{"key":"7_CR3","first-page":"613","volume-title":"Proceedings of the 31st International Conference on Very Large Data Bases","author":"D. Berardi","year":"2005","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, Trondheim, Norway, August 30 - September 2, 2005, pp. 613\u2013624. ACM, New York (2005)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D. Berardi","year":"2003","unstructured":"Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/11596141_43","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., Giacomo, G.D., Mecella, M.: Composition of services with nondeterministic observable behavior. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 520\u2013526. Springer, Heidelberg (2005)"},{"key":"7_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, Cumbria, UK, June 6-10, 2006, pp. 358\u2013361 (2006)"},{"key":"7_CR7","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"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Guermouche, N., Godart, C.: Toward data flow oriented services composition. In: Proceedings of the 12 th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2008), Munich, Germany, September 15-19 (2008)","DOI":"10.1109\/EDOC.2008.25"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Guermouche, N., Godart, C.: Timed properties-aware asynchronous web service composition (2008), http:\/\/www.loria.fr\/~guermona\/sup\/ExtendedVersion.pdf","DOI":"10.1007\/978-3-540-88871-0_7"},{"key":"7_CR10","unstructured":"Guermouche, N., Perrin, O., Ringeissen, C.: Timed specification for web services compatibility analysis. In: International Workshop on Automated Specification and Verification of Web Systems (WWV 2007), San Servolo island, Venice, Italy, December 14, 2007, pp. 155\u2013170 (2007)"},{"key":"7_CR11","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":"7_CR12","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":"7_CR13","first-page":"24","volume-title":"SWSWPC","author":"D. Martin","year":"2005","unstructured":"Martin, D., Paolucci, M., Mcilraith, S., Burstein, M., Mcdermott, D., Mcguinness, D., Parsia, B., Payne, T., Sabou, M., Solanki, M., Srinivasan, N., Sycara, K.: Bringing semantics to web services: The owl-s approach. In: SWSWPC, pp. 24\u201326. Springer, Heidelberg (2005)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-71389-0_20","volume-title":"Foundations of Software Science and Computational Structures","author":"A. Muscholl","year":"2007","unstructured":"Muscholl, A., Walukiewicz, I.: A lower bound on web services composition. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol.\u00a04423, pp. 274\u2013287. Springer, Heidelberg (2007)"},{"key":"7_CR15","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":"7_CR16","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":"7_CR17","doi-asserted-by":"crossref","unstructured":"Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated synthesis of composite bpel4ws web services. In: IEEE International Conference on Web Services (ICWS), pp. 293\u2013301 (2005)","DOI":"10.1109\/ICWS.2005.27"},{"key":"7_CR18","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"},{"key":"7_CR19","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"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88871-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T04:12:58Z","timestamp":1557893578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88871-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540888703","9783540888710"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88871-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}