{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:05:24Z","timestamp":1725473124803},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540474609"},{"type":"electronic","value":"9783540474623"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901433_15","type":"book-chapter","created":{"date-parts":[[2006,11,20]],"date-time":"2006-11-20T07:40:51Z","timestamp":1164008451000},"page":"264-283","source":"Crossref","is-referenced-by-count":3,"title":["Type Checking Choreography Description Language"],"prefix":"10.1007","author":[{"given":"Hongli","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangpeng","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zongyan","family":"Qiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Cai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. In: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (1999)","DOI":"10.1145\/320384.320395"},{"key":"15_CR2","unstructured":"Austin, D., Barbir, A., Peters, E., Ross-Talbot, S.: Web Services Choreography Requirements. W3C Working Draft (March 2004), \n                    \n                      http:\/\/www.w3.org\/TR\/2004\/WD-ws-chor-reqs-20040311\/"},{"key":"15_CR3","unstructured":"Barros, A., Dumas, M., Oaks, P.: A Critical Overview of the Web Services Choreography Description Language (2005), \n                    \n                      http:\/\/www.bptrends.com"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web service choreography. In: WS-FM 2004. Electronic Notes in Theoretical Computer Science (2004)","DOI":"10.1016\/j.entcs.2004.05.007"},{"key":"15_CR5","volume-title":"Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise","author":"N. Busi","year":"2005","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Towards a formal framework for Choreography. In: Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise. IEEE Computer Society, Los Alamitos (2005)"},{"key":"15_CR6","unstructured":"Draper, D., et al.: XQuery 1.0 and XPath 2.0 Formal Semantics. W3C Working Draft (September 2005), \n                    \n                      http:\/\/www.w3.org\/TR\/2005\/WD-xquery-semantics-20050915\/"},{"key":"15_CR7","volume-title":"The SPIN Model Checker:Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker:Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"15_CR8","unstructured":"Yang, H., Zhao, X., Qiu, Z., Pu, G., Wang, S.: A Formal Model for Web Service Choreography Description Language (WS-CDL). In: Proceedings of International Conference on Web Services(ICWS) (to appear, 2006)"},{"key":"15_CR9","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A Statically Typed XML Processing Language (May 2003), \n                    \n                      http:\/\/wam.inrialpes.fr\/people\/roisin\/mw2004\/Hosoya2003.pdf"},{"key":"15_CR10","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C.: Web Services Choreography Description Language Version 1.0. (November 2005), \n                    \n                      http:\/\/www.w3.org\/TR\/2005\/CR-ws-cdl-10-20051109\/"},{"key":"15_CR11","volume-title":"Types and Programming Languages","author":"B..C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"15_CR12","unstructured":"Ross-Talbot, S., Fletcher, T.: Web Services Choreography Description Language: Primer Version 1.0 (May 2006), \n                    \n                      http:\/\/www.w3.org\/TR\/Year\/WD-ws-cdl-10-primer-YearMMDD\/"},{"key":"15_CR13","unstructured":"Zhao, X., Yang, H., Qiu, Z.: Towards the Formal Model and Verification of Web Service Choreography Description Language. In: Proceedings of 3rd International Workshop on Web Services and Formal Methods(WS-FM) (to appear, 2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901433_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:02:05Z","timestamp":1558274525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901433_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540474609","9783540474623"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11901433_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}