{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,26]],"date-time":"2026-08-26T01:41:33Z","timestamp":1787708493492,"version":"build-2784847793"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540287018","type":"print"},{"value":"9783540319030","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11549970_17","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T12:53:44Z","timestamp":1131713624000},"page":"230-242","source":"Crossref","is-referenced-by-count":24,"title":["Automatic Translation of WS-CDL Choreographies to Timed Automata"],"prefix":"10.1007","author":[{"given":"Gregorio","family":"Diaz","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juan-Jos\u00e9","family":"Pardo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mar\u00eda-Emilia","family":"Cambronero","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Valent\u00edn","family":"Valero","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fernando","family":"Cuartero","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1990","unstructured":"Alur, R., Dill, D.: Automata for modeling real\u2013time systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443. Springer, Heidelberg (1990)"},{"key":"17_CR2","unstructured":"Arkin, A., Askary, S., Bloch, B., et al.: Web Services Business Process Execution Language Version 2.0, Editors. OASIS Open (December 2004), \n                    \n                      http:\/\/www.oasis-open.org\/committees\/download.php\/10347\/wsbpel-specification-draft-120204.htm"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028779","volume-title":"Computer Aided Verification","author":"M. Bozga","year":"1998","unstructured":"Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: Kronos: A model-checking tool for real-time systems. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427. Springer, Heidelberg (1998)"},{"key":"17_CR4","series-title":"special track on E-Commerce Technologies","volume-title":"Proc. of the 19th ACM Symposium on Applied Computing (SAC 2004)","author":"M. Bravetti","year":"2004","unstructured":"Bravetti, M., Lucchi, R., Zavattaro, G., Gorrieri, R.: Web Services for E-commerce: guaranteeing security access and quality of service. In: Proc. of the 19th ACM Symposium on Applied Computing (SAC 2004). special track on E-Commerce Technologies. ACM Press, New York (2004)"},{"key":"17_CR5","series-title":"special track on E-Commerce Technologies","volume-title":"Proc. of the 20th ACM Symposium on Applied Computing (SAC 2005)","author":"M. Bravetti","year":"2005","unstructured":"Bravetti, M., Guidi, C., Lucchi, R., Zavattaro, G.: Supporting E-commerce system formalization with Choreography Languages. In: Proc. of the 20th ACM Symposium on Applied Computing (SAC 2005). special track on E-Commerce Technologies. ACM Press, New York (2005)"},{"key":"17_CR6","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg Jr., O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"17_CR7","unstructured":"Clement, L., Hately, A., von Riegen, C., Rogers, T.: UDDI Version 3.0.2, Editors. OASIS Open, October 19 (2004), \n                    \n                      http:\/\/uddi.org\/pubs\/uddi_v3.htm"},{"key":"17_CR8","unstructured":"Curbera, F., et al.: Business Process Execution Language for Web Services, Version 1.0, \n                    \n                      http:\/\/xml.coverpages.org\/WS-BPELv10.pdf"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Diaz, G., Cuartero, F., Valero, V., Pelayo, F.: Automatic Verification of the TLS Handshake Protocol. In: proceedings of the 2004 ACM Symposium on Applied Computing (2004)","DOI":"10.1145\/967900.968063"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Diaz, G., Larsen, K.G., Pardo, J., Cuartero, F., Valero, V.: An approach to handle Real Time and Probabilistic behaviors in e-commerce: Validating the SET Protocol. In: proceedings of the 2005 ACM Symposium on Applied Computing (2005)","DOI":"10.1145\/1066677.1066864"},{"key":"17_CR11","unstructured":"Diaz, G., Pardo, J.J., Cambronero, M.E., Valero, V., Cuartero, F.: Verification of Web Services with Timed Autoamata. In: proceedings of First International Workshop on Automated Specification and Verification of Web Sites, Valencia (March 2005)"},{"key":"17_CR12","unstructured":"Eurostat yearbook 2004. The statistical guide to Europe. Data 1992-2002. European Commission: EUROSTAT, Office for Official Publications of the European Communities (2004)"},{"key":"17_CR13","unstructured":"Hadley, M., Mendelsohn, N., Moreau, J.-J., et al.: SOAP Version 1.2 Part 1: Messaging Framework, Editors. World Wide Web Consortium (June 24, 2003), \n                    \n                      http:\/\/www.w3.org\/TR\/soap12-part1"},{"key":"17_CR14","volume-title":"Formal Methods for Real-Time Computing","author":"C. Heitmeyer","year":"1996","unstructured":"Heitmeyer, C., Mandrioli, D.: Formal Methods for Real-Time Computing. John Wiley & Sons, Chichester (1996)"},{"key":"17_CR15","unstructured":"Kavantzas, N., et al.: Web Service Choreography Description Language (WSCDL) 1.0, \n                    \n                      http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Larsen, K., Pettersson, P., Yi, W.:  Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer\u00a01 (1997)","DOI":"10.1007\/s100090050010"},{"key":"17_CR17","unstructured":"Paoli, J., Maler, E., Bray, T., et al.: Extensible Markup Language (XML) 1.0 (Third Edition), Editors. World Wide Web Consortium (February 04, 2004), \n                    \n                      http:\/\/www.w3.org\/TR\/2004\/REC-xml-20040204"},{"key":"17_CR18","unstructured":"Weerawarana, S., Chinnici, R., Gudgin, M., et al.: Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language, Editors. World Wide Web Consortium (August 03, 2004), \n                    \n                      http:\/\/www.w3.org\/2002\/ws\/desc\/"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Woodman, S., et al.: Specification and Verification of Composite Web Services. In: proocedings of The 8th Enterprise Distributed Object Computing Conference (2004)","DOI":"10.1109\/EDOC.2004.1342503"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Computer Systems and Business Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11549970_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:58:47Z","timestamp":1619506727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549970_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287018","9783540319030"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11549970_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}