{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T22:31:07Z","timestamp":1777501867910,"version":"3.51.4"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"the National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61672381"],"award-info":[{"award-number":["61672381"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"the Fundamental Research Funds for the Central Universities","award":["22120180508"],"award-info":[{"award-number":["22120180508"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s11761-019-00261-1","type":"journal-article","created":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T08:57:07Z","timestamp":1559638627000},"page":"141-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["RaceTest: harmful data race detection based on testing technology in WS-BPEL"],"prefix":"10.1007","volume":"13","author":[{"given":"Zhijun","family":"Ding","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zexia","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,4]]},"reference":[{"key":"261_CR1","volume-title":"Trust in cyberspace","year":"1999","unstructured":"Schneider FB (ed) (1999) Trust in cyberspace. National Academies Press, Washington"},{"key":"261_CR2","doi-asserted-by":"crossref","unstructured":"Zheng Y, Zhang X (2012) Static detection of resource contention problems in server-side scripts. In: International conference on software engineering. IEEE, pp 584\u2013594","DOI":"10.1109\/ICSE.2012.6227158"},{"issue":"5","key":"261_CR3","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/269005.266641","volume":"31","author":"S Savage","year":"1997","unstructured":"Savage S, Burrows M, Nelson G, Sobalvarro P, Anderson T (1997) Eraser: a dynamic data race detector for multi-threaded programs. ACM SIGOPS Oper Syst Rev 31(5):27\u201337","journal-title":"ACM SIGOPS Oper Syst Rev"},{"issue":"8","key":"261_CR4","first-page":"6","volume":"38","author":"S Li","year":"2010","unstructured":"Li S, Lei X (2010) A static data race detecting method for BPEL based on Happen-Before and lockset. Comput Digit Eng 38(8):6\u20139","journal-title":"Comput Digit Eng"},{"key":"261_CR5","doi-asserted-by":"crossref","unstructured":"Ni Y, Zhang L, Li Z, Xie T, Mei H (2011) Detecting concurrency-related problematic activity arrangement in WS-BPEL programs. In: IEEE international conference on services computing. IEEE, pp 209\u2013217","DOI":"10.1109\/SCC.2011.108"},{"key":"261_CR6","doi-asserted-by":"crossref","unstructured":"Song W., et al (2018) Workflow refactoring for maximizing concurrency and block-structuredness. IEEE Trans Serv Comput, pp 1\u20131","DOI":"10.1109\/TSC.2018.2867593"},{"issue":"09","key":"261_CR7","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1016\/S1005-8885(09)60590-2","volume":"17","author":"JP Xiu","year":"2010","unstructured":"Xiu JP, Yan-Ting XU, Deng F, Liu C (2010) A petri net-based approach for data race detection in BPEL. J China Univ Posts Telecommun 17(09):10\u201315","journal-title":"J China Univ Posts Telecommun"},{"issue":"9","key":"261_CR8","first-page":"2637","volume":"33","author":"J Sun","year":"2016","unstructured":"Sun J, Li DF (2016) Study of algorithm on evolution for BPEL structure. Appl Res Comput 33(9):2637\u20132640","journal-title":"Appl Res Comput"},{"key":"261_CR9","doi-asserted-by":"crossref","unstructured":"Mi C (2016) Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking. In: IEEE international conference on software engineering research","DOI":"10.1109\/SERA.2016.7516140"},{"key":"261_CR10","doi-asserted-by":"crossref","unstructured":"Xu L, Sun Q, Xu B, Zhang W (2016) Statically detect data races for WS-BPEL web services by constraint solver. In: IEEE international conference on web services. IEEE, pp 476\u2013483","DOI":"10.1109\/ICWS.2016.68"},{"key":"261_CR11","doi-asserted-by":"crossref","unstructured":"Ye C, Cheung SC, Chan WK (2018) Sifter: a service isolation strategy for internet applications. IEEE Trans Serv Comput","DOI":"10.1109\/TSC.2018.2876254"},{"key":"261_CR12","doi-asserted-by":"crossref","unstructured":"Jia C, Yang C, Chan WK (2015) Architecturing dynamic data race detection as a cloud-based service. In: IEEE international conference on web services. IEEE, pp 345\u2013352","DOI":"10.1109\/ICWS.2015.54"},{"key":"261_CR13","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/TSC.2016.2596288","volume":"10","author":"C Jia","year":"2017","unstructured":"Jia C, Yang C, Chan WK (2017) SDA-CLOUD: a multi-VM architecture for adaptive dynamic data race detection. IEEE Trans Serv Comput 10:99","journal-title":"IEEE Trans Serv Comput"},{"issue":"11","key":"261_CR14","first-page":"3870","volume":"7","author":"X Yang","year":"2011","unstructured":"Yang X, Huang J, Gong Y (2011) Detecting dataraces for bpel-based services using weighted vector clock. J Comput Inf Syst 7(11):3870\u20133877","journal-title":"J Comput Inf Syst"},{"key":"261_CR15","unstructured":"Kasikci B, Zamfir C, Candea G (2012) CoRD: a collaborative framework for distributed data race detection. In: Eighth usenix conference on hot topics in system dependability. USENIX Association"},{"key":"261_CR16","unstructured":"Xu L, Hu YL et al (2015) The method for detecting BPEL process data races in a web service composition. 104572445"},{"key":"261_CR17","doi-asserted-by":"crossref","unstructured":"Narayanasamy S, Wang Z, Tigani J, Edwards A, Calder B (2007) Automatically classifying benign and harmful data races using replay analysis. In: ACM Sigplan conference on programming language design and implementation. ACM","DOI":"10.1145\/1250734.1250738"},{"issue":"6","key":"261_CR18","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/1273442.1250738","volume":"42","author":"S Narayanasamy","year":"2007","unstructured":"Narayanasamy S, Wang Z, Tigani J, Edwards A, Calder B (2007) Automatically classifying benign and harmful data races usin g replay analysis. Acm Sigplan Not 42(6):22\u201331","journal-title":"Acm Sigplan Not"},{"key":"261_CR19","first-page":"2215","volume":"38","author":"SU Xiao-Hong","year":"2015","unstructured":"Xiao-Hong SU, Zhen YU, Wang TT, Pei-Jun MA (2015) A survey on exposing, detecting and avoiding concurrency bugs. Chin J Comput 38:2215\u20132233","journal-title":"Chin J Comput"},{"key":"261_CR20","doi-asserted-by":"crossref","unstructured":"Cai Y, Zhang J, Cao L, Liu J (2016) A deployable sampling strategy for data race detection. In: ACM sigsoft international symposium on foundations of software engineering. ACM, pp 810\u2013821)","DOI":"10.1145\/2950290.2950310"},{"issue":"8","key":"261_CR21","doi-asserted-by":"publisher","first-page":"2922","DOI":"10.1007\/s11227-015-1418-8","volume":"71","author":"Z Wu","year":"2015","unstructured":"Wu Z, Lu K, Wang X, Zhou X, Chen C (2015) Detecting harmful data races through parallel verification. J Supercomput 71(8):2922\u20132943","journal-title":"J Supercomput"},{"issue":"8","key":"261_CR22","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1145\/2692916.2555263","volume":"49","author":"M Eslamimehr","year":"2014","unstructured":"Eslamimehr M, Palsberg J (2014) Race directed scheduling of concurrent programs. ACM SIGPLAN Not 49(8):301\u2013314","journal-title":"ACM SIGPLAN Not"},{"issue":"6","key":"261_CR23","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1379022.1375584","volume":"43","author":"K Sen","year":"2008","unstructured":"Sen K (2008) Race directed random testing of concurrent programs. ACM SIGPLAN Not 43(6):11\u201321","journal-title":"ACM SIGPLAN Not"},{"key":"261_CR24","doi-asserted-by":"crossref","unstructured":"Lu K, Wu Z, Wang X, Chen C, Zhou X (2015) RaceChecker: efficient identification of harmful data races. In: Euromicro international conference on parallel, distributed and network-based processing. IEEE Computer Society, pp 78\u201385","DOI":"10.1109\/PDP.2015.19"},{"key":"261_CR25","doi-asserted-by":"crossref","unstructured":"Kasikci B, Zamfir C, Candea G (2013) RaceMob:crowdsourced data race detection. In: Twenty-fourth ACM symposium on operating systems principles. ACM, pp 406\u2013422","DOI":"10.1145\/2517349.2522736"},{"key":"261_CR26","doi-asserted-by":"crossref","unstructured":"Wu Z, Lu K, Wang X (2015) Efficiently trigger data races through speculative execution. In: IEEE, international conference on High PERFORMANCE computing and communications. IEEE, pp 90\u201395","DOI":"10.1109\/HPCC-CSS-ICESS.2015.57"},{"issue":"3","key":"261_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2734118","volume":"37","author":"B Kasikci","year":"2015","unstructured":"Kasikci B, Zamfir C, Candea G (2015) Automated classification of data races under both strong and weak memory models. ACM Trans Program Lang Syst 37(3):1\u201344","journal-title":"ACM Trans Program Lang Syst"},{"key":"261_CR28","doi-asserted-by":"crossref","unstructured":"Cai Y, Cao L (2015) Proceedings of the 2015 10th Joint meeting on foundations of software engineering: ESEC\/FSE 2015\u2014effective and precise dynamic detection of hidden races for Java programs, pp 450\u2013461","DOI":"10.1145\/2786805.2786839"},{"key":"261_CR29","doi-asserted-by":"publisher","first-page":"899","DOI":"10.1109\/TSE.2016.2531666","volume":"42","author":"M Zhang","year":"2016","unstructured":"Zhang M, Wu Y, Lu S, Qi S, Ren J, Zheng W (2016) A lightweight system for detecting and tolerating concurrency bugs. IEEE Trans Softw Eng 42:899\u2013917","journal-title":"IEEE Trans Softw Eng"},{"key":"261_CR30","unstructured":"OASIS\u00a0technical committee. \n                    http:\/\/ode.apache.org\/ws-bpel-20.html\n                    \n                  . 2006-08-30\/2019-4-19"},{"key":"261_CR31","unstructured":"W3C, WSDL (2001) Web Services Description Language (WSDL) 1.1. \n                    http:\/\/www.w3.org\/TR\/\n                    \n                   WSDL"},{"key":"261_CR32","unstructured":"Matjaz B. Juric. \n                    http:\/\/www.oracle.com\/technetwork\/articles\/matjaz-bpel1-090575.html\n                    \n                  . 2004-12\/2019-4-19"},{"key":"261_CR33","unstructured":"Oracle. \n                    http:\/\/www.oracle.com\/technetwork\/middleware\/bpel\/\n                    \n                  . Accessed date 19 April 2019"},{"key":"261_CR34","first-page":"171","volume":"430","author":"CA Sun","year":"2012","unstructured":"Sun CA, Shang Y, Zhao Y, Chen TY (2012) Scenario-Oriented testing for web service compositions using BPEL. Int Conf Qual Softw 430:171\u2013174","journal-title":"Int Conf Qual Softw"},{"key":"261_CR35","doi-asserted-by":"crossref","unstructured":"Yan J, Li Z, Yuan Y, Sun W, Zhang J (2006) BPEL4WS unit testing: test case generation using a concurrent path analysis approach. In: Proc of the 17th international symposium on software reliability engineering (ISSRE), pp 75\u201384","DOI":"10.1109\/ISSRE.2006.16"},{"key":"261_CR36","doi-asserted-by":"crossref","unstructured":"Mei L, Chan WK, Tse TH (2009) Data flow testing of service choreography. In: Proc. of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT international symposium on foundations of software engineering (ESEC), pp 151\u2013160","DOI":"10.1145\/1595696.1595720"},{"key":"261_CR37","unstructured":"Du Z, Miao H (2018) Research review on web service composition testing. In: International workshop on structured object-oriented formal language and method, (11392), pp 39\u201351"},{"issue":"2","key":"261_CR38","first-page":"299","volume":"29","author":"ZJ Ding","year":"2018","unstructured":"Ding ZJ, Zhou ZX (2018) Survey on web service composition testing. J Softw 29(2):299\u2013319 (in Chinese)","journal-title":"J Softw"},{"issue":"1","key":"261_CR39","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/TSC.2011.22","volume":"6","author":"Y Ni","year":"2013","unstructured":"Ni Y, Hou SS, Zhang L, Zhu J, Li ZJ, Lan Q et al (2013) Effective message-sequence generation for testing BPEL programs. IEEE Trans Serv Comput 6(1):7\u201319","journal-title":"IEEE Trans Serv Comput"},{"key":"261_CR40","unstructured":"NikolajBjorner. \n                    https:\/\/github.com\/Z3Prover\/z3\n                    \n                  . 2019-4-17\/2019-4-19"},{"issue":"2","key":"261_CR41","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/52.73751","volume":"8","author":"RH Carver","year":"1991","unstructured":"Carver RH, Tai KC (1991) Replay and testing for concurrent programs. Softw IEEE 8(2):66\u201374","journal-title":"Softw IEEE"},{"key":"261_CR42","unstructured":"Elwakil M, Yang Z, Wang L, Chen Q (2010) Message race detection for web services by an SMT-based analysis. In: International conference on autonomic and trusted computing. Springer, vol 6407, pp 182\u2013194"},{"key":"261_CR43","unstructured":"IBM. \n                    https:\/\/www-01.ibm.com\/marketing\/iwm\/iwm\/web\/preLogin.do\n                    \n                  ?"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-019-00261-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-019-00261-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-019-00261-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,2]],"date-time":"2020-06-02T23:22:36Z","timestamp":1591140156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-019-00261-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":43,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["261"],"URL":"https:\/\/doi.org\/10.1007\/s11761-019-00261-1","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6]]},"assertion":[{"value":"30 August 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 April 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 May 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 June 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}