{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T06:02:18Z","timestamp":1746252138418,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02144-2_30","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T19:21:22Z","timestamp":1244229682000},"page":"364-378","source":"Crossref","is-referenced-by-count":7,"title":["Asynchronous Timed Web Service-Aware Choreography Analysis"],"prefix":"10.1007","author":[{"given":"Nawal","family":"Guermouche","sequence":"first","affiliation":[]},{"given":"Claude","family":"Godart","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"30_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":"30_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_29","volume-title":"Advanced Information Systems Engineering","author":"B. Benatallah","year":"2005","unstructured":"Benatallah, B., Casati, F., Ponge, J., Toumani, F.: On temporal abstractions of web service protocols. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520. Springer, Heidelberg (2005)"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Analysis and management of web service protocols. In: 23rd International Conference on Conceptual Modeling (November 2004)","DOI":"10.1007\/978-3-540-30464-7_40"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-31811-8_2","volume-title":"Technologies for E-Services","author":"L. Bordeaux","year":"2005","unstructured":"Bordeaux, L., Sala\u00fcn, G., Berardi, D., Mecella, M.: When are two web services compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol.\u00a03324, pp. 15\u201328. Springer, Heidelberg (2005)"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Diaz, G., Pardo, J.-J., Cambronero, M.-E., Valero, V., Cuartero, F.: Verification of web services with timed automata. In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005). ENTCS, vol.\u00a0157, pp. 19\u201334 (2005)","DOI":"10.1016\/j.entcs.2005.12.042"},{"key":"30_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1007\/978-3-540-85654-2_57","volume-title":"Database and Expert Systems Applications","author":"J. Eder","year":"2008","unstructured":"Eder, J., Tahamtan, A.: Temporal conformance of federated choreographies. In: Bhowmick, S.S., K\u00fcng, J., Wagner, R. (eds.) DEXA 2008. LNCS, vol.\u00a05181, pp. 668\u2013675. Springer, Heidelberg (2008)"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Guermouche, N., Godart, C.: Timed model checking based approach for compatibility analysis of synchronous web services. Research report (2008)","DOI":"10.1109\/ICWS.2009.42"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Guermouche, N., Godart, C.: Timed properties-aware asynchronous web service composition. In: Proceedings of the 16th International Conference on Cooperative Information Systems (CoopIS 2008), Monterrey, Mexico, November 9-14, 2008, pp. 44\u201361 (2008)","DOI":"10.1007\/978-3-540-88871-0_7"},{"key":"30_CR9","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":"30_CR10","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":"30_CR11","first-page":"840","volume-title":"Proceedings of the The First International Conference on Availability, Reliability and Security, ARES","author":"R. Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pandya, P.K., Pistore, M.: Timed modelling and analysis in web service compositions. In: Proceedings of the The First International Conference on Availability, Reliability and Security, ARES, pp. 840\u2013846. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"30_CR12","unstructured":"Ponge, J.: A new model for web services timed business protocols. In: Atelier (Conception des syst\u00e8mes d\u2019information et services Web) SIWS-Inforsid) (2006)"},{"key":"30_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/978-3-540-75563-0_40","volume-title":"Conceptual Modeling - ER 2007","author":"J. Ponge","year":"2007","unstructured":"Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Fine-grained compatibility and replaceability analysis of timed web service protocols. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol.\u00a04801, pp. 599\u2013614. Springer, Heidelberg (2007)"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02144-2_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T14:13:09Z","timestamp":1558361589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02144-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783319981765","9783319981772"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02144-2_30","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2009]]}}}