{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T10:03:31Z","timestamp":1649066611741},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,11,25]],"date-time":"2010-11-25T00:00:00Z","timestamp":1290643200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s11761-010-0072-5","type":"journal-article","created":{"date-parts":[[2010,11,24]],"date-time":"2010-11-24T01:31:09Z","timestamp":1290562269000},"page":"291-305","source":"Crossref","is-referenced-by-count":3,"title":["Web services choreography validation"],"prefix":"10.1007","volume":"4","author":[{"given":"Zheng","family":"Wang","sequence":"first","affiliation":[]},{"given":"Lei","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Yongxin","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Jing","family":"Ping","sequence":"additional","affiliation":[]},{"given":"Hao","family":"Xiao","sequence":"additional","affiliation":[]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,11,25]]},"reference":[{"key":"72_CR1","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.entcs.2004.05.007","volume":"105","author":"A Brogi","year":"2004","unstructured":"Brogi A, Canal C, Pimentel E, Vallecillo A (2004) Formalizing web service choreographies. Electron Notes Theor Comput Sci 105: 73\u201394","journal-title":"Electron Notes Theor Comput Sci"},{"key":"72_CR2","doi-asserted-by":"crossref","unstructured":"Dustdar S, Haslinger S (2004) Testing of service-oriented architectures\u2014a practical approach. In: Weske M, Liggesmeyer P (eds) Net.ObjectDays. Lecture Notes in Computer Science, vol 3263. Springer, Berlin, pp 97\u2013109","DOI":"10.1007\/978-3-540-30196-7_8"},{"key":"72_CR3","unstructured":"Fan W (2005) Xml constraints: Specification, analysis, and applications. In: DEXA Workshops. IEEE Computer Society, pp 805\u2013809"},{"issue":"5","key":"72_CR4","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1016\/S1389-1286(02)00219-0","volume":"39","author":"W Fan","year":"2002","unstructured":"Fan W, Kuper GM, Sim\u00e9on J (2002) A unified constraint model for xml. Comput Netw 39(5): 489\u2013505","journal-title":"Comput Netw"},{"key":"72_CR5","doi-asserted-by":"crossref","unstructured":"Gorrieri R, Guidi C, Lucchi R (2005) Reasoning about interaction patterns in choreography. In: Bravetti M, Kloul L, Zavattaro G, (eds) EPEW\/WS-FM. Lecture Notes in Computer Science, vol 3670. Springer, Berlin, pp 333\u2013348","DOI":"10.1007\/11549970_24"},{"key":"72_CR6","unstructured":"Java architecture for xml binding (jaxb). http:\/\/java.sun.com\/developer\/technicalArticles\/WebServices\/jaxb\/"},{"issue":"4","key":"72_CR7","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/s10796-007-9041-8","volume":"9","author":"Z Kang","year":"2007","unstructured":"Kang Z, Wang H, Hung PC (2007) WS-CDL+ for web service collaboration. Inf Syst Front 9(4): 375\u2013389","journal-title":"Inf Syst Front"},{"key":"72_CR8","unstructured":"Li Z, Sun W, Jiang ZB, Zhang X (2005) Bpel4ws unit testing: framework and implementation. In: ICWS \u201905: proceedings of the IEEE international conference on web services. IEEE Computer Society, Washington, DC, USA, pp 103\u2013110"},{"key":"72_CR9","doi-asserted-by":"crossref","unstructured":"Meng S, Arbab F (2007) Web services choreography and orchestration in reo and constraint automata. In: SAC \u201907: proceedings of the 2007 ACM symposium on applied computing. ACM, New York, NY, USA, pp 346\u2013353","DOI":"10.1145\/1244002.1244085"},{"key":"72_CR10","volume-title":"A calculus of communicating systems","author":"R Milner","year":"1982","unstructured":"Milner R (1982) A calculus of communicating systems. Springer, New York"},{"key":"72_CR11","unstructured":"Pi4soa. http:\/\/sourceforge.net\/projects\/pi4soa\/"},{"key":"72_CR12","doi-asserted-by":"crossref","unstructured":"Pu G, Shi J, Wang Z, Jin L, Liu J, He J (2007) The validation and verification of wscdl. In: APSEC \u201907: proceedings of the 14th Asia-Pacific software engineering conference. IEEE Computer Society, Washington, DC, USA, pp 81\u201388","DOI":"10.1109\/ASPEC.2007.79"},{"issue":"8","key":"72_CR13","doi-asserted-by":"crossref","first-page":"1367","DOI":"10.1016\/j.simpat.2009.06.013","volume":"17","author":"G Pu","year":"2009","unstructured":"Pu G, Wang Z, Zhou L, Zhang H, Wang T, Yang C, Peng L, Sun M (2009) Static validation of WS-CDL documents. Simul Model Pract Theory 17(8): 1367\u20131377","journal-title":"Simul Model Pract Theory"},{"key":"72_CR14","unstructured":"Pu G, Zhao Y, Wang Z, Feng L, Zhu H, He J (2009) A denotational model for web services choreography. In: ICDCIT \u201908: proceedings of the 5th international conference on distributed computing and internet technology. Springer, Berlin, Heidelberg, pp 1\u201312"},{"key":"72_CR15","doi-asserted-by":"crossref","unstructured":"Qiu Z, Zhao X, Cai C, Yang H (2007) Towards the theoretical foundation of choreography. In: WWW \u201907: proceedings of the 16th international conference on world wide web. ACM, New York, NY, USA, 973\u2013982","DOI":"10.1145\/1242572.1242704"},{"key":"72_CR16","unstructured":"Soap 1.2. http:\/\/www.w3.org\/TR\/soap12-part1\/"},{"key":"72_CR17","unstructured":"Spss, statistical product and service solutions. http:\/\/www.spss.com\/"},{"issue":"2","key":"72_CR18","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/j.entcs.2009.06.034","volume":"229","author":"S Tasharofi","year":"2009","unstructured":"Tasharofi S, Sirjani M (2009) Formal modeling and conformance validation for WS-CDL using reo and casm. Electron Notes Theor Comput Sci 229(2): 155\u2013174","journal-title":"Electron Notes Theor Comput Sci"},{"key":"72_CR19","unstructured":"Web services choreography description language, version 1.0. http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"72_CR20","first-page":"26","volume-title":"Constraint checking for xml-based language specification by sat solver vol 0","author":"H Xiao","year":"2010","unstructured":"Xiao H, Wang Z, Pu G, Gu B (2010) Constraint checking for xml-based language specification by sat solver vol 0. IEEE Computer Society, Los Alamitos, pp 26\u201327"},{"key":"72_CR21","doi-asserted-by":"crossref","unstructured":"Yang H, Zhao X, Qiu Z, Pu G, Wang S (2006) A formal model forweb service choreography description language (WS-CDL). In: ICWS \u201906: proceedings of the IEEE international conference on web services. IEEE Computer Society, Washington, DC, USA, pp 893\u2013894","DOI":"10.1109\/ICWS.2006.3"},{"key":"72_CR22","doi-asserted-by":"crossref","unstructured":"Zhou L, Ping J, Xiao H, Wang Z, Pu G, Ding Z (2010) Automatically testing web services choreography with assertions. In: ICFEM \u201910: proceedings of the 11th international conference on formal engineering methods. Springer, Berlin, Heidelberg","DOI":"10.1007\/978-3-642-16901-4_11"},{"key":"72_CR23","unstructured":"Zhou L, Xiao H, Ping J, Pu G, Zhang H (2010) Simulation and validation of web services choreography. In: SOCA \u201909: proceedings of the 2009 IEEE international conference on service-oriented computing and applications, pp 1\u20138"},{"key":"72_CR24","doi-asserted-by":"crossref","unstructured":"Zhou L, Zhang H, Wang T, Yang C, Wang Z, Sun M, Pu G (2008) Static check of WS-CDL documents. In: SOSE \u201908: proceedings of the 2008 IEEE international symposium on service-oriented system engineering. IEEE Computer Society, Washington, DC, USA, pp 142\u2013147","DOI":"10.1109\/SOSE.2008.36"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-010-0072-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-010-0072-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-010-0072-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T21:46:04Z","timestamp":1559425564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-010-0072-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,25]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["72"],"URL":"https:\/\/doi.org\/10.1007\/s11761-010-0072-5","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,11,25]]}}}