{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:28:36Z","timestamp":1743139716343,"version":"3.40.3"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030136505"},{"type":"electronic","value":"9783030136512"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-13651-2_3","type":"book-chapter","created":{"date-parts":[[2019,2,8]],"date-time":"2019-02-08T00:42:47Z","timestamp":1549586567000},"page":"39-51","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Research Review on Web Service Composition Testing"],"prefix":"10.1007","author":[{"given":"Zhoujie","family":"Du","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,9]]},"reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.09.001","volume":"70","author":"Z Duan","year":"2008","unstructured":"Duan, Z., Yang, X., Koutny, M.: Framed temporal logic programming. Sci. Comput. Program. 70(1), 31\u201361 (2008)","journal-title":"Sci. Comput. Program."},{"issue":"12","key":"3_CR2","doi-asserted-by":"publisher","first-page":"1206","DOI":"10.1109\/TSE.2014.2357442","volume":"40","author":"C Tian","year":"2014","unstructured":"Tian, C., Duan, Z., Duan, Z.: Making CEGAR more efficient in software model checking. IEEE Trans. Softw. Eng. 40(12), 1206\u20131223 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/TSC.2010.54","volume":"5","author":"Z Hong","year":"2012","unstructured":"Hong, Z., Feng, Z.Y.: Collaborative testing of web services. IEEE Trans. Serv. Comput. 5(1), 116\u2013130 (2012)","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"4","key":"3_CR4","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1002\/stvr.1470","volume":"23","author":"M Bozkurt","year":"2013","unstructured":"Bozkurt, M., Harman, M., Hassoun, Y.: Testing and verification in service-oriented architecture: a survey. Softw. Test. Verif. Reliab. 23(4), 261\u2013313 (2013)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"6","key":"3_CR5","first-page":"19","volume":"3","author":"SM Ebrahim","year":"2012","unstructured":"Ebrahim, S.M.: A survey of service-oriented architecture systems testing. J. Softw. Eng. Appl. (IJSEA) 3(6), 19\u201327 (2012)","journal-title":"J. Softw. Eng. Appl. (IJSEA)"},{"doi-asserted-by":"crossref","unstructured":"Rusli, H.M., Puteg, M., Ibrahim, S., Tabatabaei, S.: A comparative evaluation of state-of-the-art web service composition testing approaches. In: Proceedings of the 6th International Workshop on Automation of Software Test (AST), pp. 29\u201335 (2011)","key":"3_CR6","DOI":"10.1145\/1982595.1982602"},{"doi-asserted-by":"crossref","unstructured":"Zhang, J., Zhang, L.-J.: Criteria analysis and validation of the reliability of web services-oriented systems. In: Proceedings of the IEEE International Conference on Web Services, pp. 11\u201315 (2005)","key":"3_CR7","DOI":"10.1109\/ICWS.2005.44"},{"issue":"1","key":"3_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s40411-014-0014-6","volume":"2","author":"F Toure","year":"2014","unstructured":"Toure, F., Badri, M., Lamontagne, L.: A metrics suite for JUnit test code: a multiple case study on open source software. J. Softw. Eng. Res. Dev. 2(1), 1\u201332 (2014)","journal-title":"J. Softw. Eng. Res. Dev."},{"unstructured":"Zhang, X., Sun, W., Jiang, Z.B.: BPEIAWS unit testing: framework and implementation. In: Proceedings of the IEEE International Conference on Web Services, pp. 103\u2013110 (2005)","key":"3_CR9"},{"unstructured":"Dong, W., Tasi, W.T., Chen, Y.: WSDL-based automatic test case generation for web services testing. In: IEEE International Workshop, pp. 2l5\u2013220 (2005)","key":"3_CR10"},{"unstructured":"Akehurst, D.H.: Validating BPEL specifications using OCL. Technical report, University of Kent at Canterbury (2004)","key":"3_CR11"},{"unstructured":"Looker, N., Xu, J.: Assessing the dependability of SOAP RPC-based web services by fault injection. In: The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 165\u2013172 (2003)","key":"3_CR12"},{"issue":"5","key":"3_CR13","first-page":"1","volume":"29","author":"Jeff Offutt","year":"2004","unstructured":"Offutt, J., Xu, W.: Generating test cases for web services using data perturbation. In: ACM SIGSOFT Software Engineering Notes, vol. 29, pp. 1\u201310 (2004)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"unstructured":"Chen, Y., Li, Y., Zhang, L.: WSCE: a flexible web service composition environment. In: Proceedings of the IEEE International Conference on Web Services, pp. 428\u2013435 (2004)","key":"3_CR14"},{"key":"3_CR15","first-page":"2130","volume":"86","author":"WT Tsai","year":"2003","unstructured":"Tsai, W.T., Paul, R., Yu, L., Saimi, A.: Scenario-based web service testing with distributed agents. IEICE Trans. Inf. Syst. 86, 2130\u20132144 (2003)","journal-title":"IEICE Trans. Inf. Syst."},{"unstructured":"Jiang, Y.: Research on web service workflow variation test technology. Southeast University (2011)","key":"3_CR16"},{"doi-asserted-by":"crossref","unstructured":"Wang, R., Huang, N.: Requirement model-based mutation testing for web service. In: Proceedings of the 4th International Conference on Next Generation Web Services Practices, pp. 71\u201376 (2008)","key":"3_CR17","DOI":"10.1109\/NWeSP.2008.20"},{"doi-asserted-by":"crossref","unstructured":"Bruno, M., Canfora, G., Di Penta, M., Esosito, G., Mazza, V.: Using test cases as contract to ensure service compliance across releases. In: The 3rd IEEE International Conference on Service-Oriented Computing, Amsterdam, Netherlands (2005)","key":"3_CR18","DOI":"10.1007\/11596141_8"},{"key":"3_CR19","volume-title":"Modeling","author":"B Li","year":"2013","unstructured":"Li, B., Zhang, P.: Modeling. Testing and Verification of Combined Services. Science Press, Henderson (2013)"},{"unstructured":"Huang, H., Tsai, W.T., Paul, R.: Automated model checking and testing for composite web services. In: Proceedings of the IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 300\u2013307 (2005)","key":"3_CR20"},{"unstructured":"Garcia-Fanjul, J., de La Riva, C., Tuya, J.: Generating test cases specifications for BPEL compositions of web services using SPIN. In: Proceedings of WS-MaTe 2006, pp. 83\u201394 (2006)","key":"3_CR21"},{"unstructured":"Garcia-Fanjul, J., de La Riva, C., Tuya, J.: Generation of conformance test suites for compositions of web services using model checking. In: Testing: Academic and Industrial Conference - Practice and Research Techniques, pp. 127\u2013130 (2006)","key":"3_CR22"},{"doi-asserted-by":"crossref","unstructured":"Zheng, Y.Y., Zhou, J., Krause, P.: A model checking based test case generation framework for web services. In: Proceedings of the International Conference on Information Technology, pp. 715\u2013722 (2007)","key":"3_CR23","DOI":"10.1109\/ITNG.2007.8"},{"unstructured":"Li, B., Zhang, W.S., Zhang, X.G.: Describing and verifying web service using CCS. In: Proceedings of the International Conference on Parallel and Distributed Computing, pp. 1571\u20131576 (2006)","key":"3_CR24"},{"unstructured":"Long, H.Y., Ma, D.: Checking compatibility of BPEL4WS based on CCS. In: Proceedings of the International Conference on System Science, Engineering Design and Manufacturing Informatization, pp. 255\u2013258 (2011)","key":"3_CR25"},{"issue":"2","key":"3_CR26","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1109\/TASE.2013.2253552","volume":"11","author":"YH Du","year":"2014","unstructured":"Du, Y.H., Tan, W., Zhou, M.C.: Timed compatibility analysis of web service composition a modular approach based on Petri nets. IEEE Trans. Autom. Sci. Eng. 11(2), 594\u2013606 (2014)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"06","key":"3_CR27","doi-asserted-by":"publisher","first-page":"1012","DOI":"10.3724\/SP.J.1016.2011.01012","volume":"34","author":"H-K Miao","year":"2011","unstructured":"Miao, H.-K., Chen, S.-B., Zeng, H.-W.: Model-based testing for web applications. Chin. J. Comput. 34(06), 1012\u20131028 (2011)","journal-title":"Chin. J. Comput."},{"unstructured":"Qian, Z., Miao, H.: Efficient web software testing method. Comput. Sci. 38(02), 152\u2013155+159 (2011)","key":"3_CR28"},{"doi-asserted-by":"crossref","unstructured":"Yuan, Y., Li, Z., Sun, W.: A graph-search based approach to BPEL4WS test generation. In: Proceedings of the International Conference on Software Engineering Advances (ICSEA), pp. 1\u201314 (2006)","key":"3_CR29","DOI":"10.1109\/ICSEA.2006.261270"},{"doi-asserted-by":"crossref","unstructured":"Yan, J., Li, Z., Yuan, Y., Sun, W., Zhang, J.: BPEL4WS unit testing: test case generation using a concurrent path analysis approach. In: Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE), pp. 75\u201384 (2006)","key":"3_CR30","DOI":"10.1109\/ISSRE.2006.16"},{"doi-asserted-by":"crossref","unstructured":"Mei, L., Chan, W.K., Tse, T.H.: Data flow testing of service choreography. In: Proceedings 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 (2009)","key":"3_CR31","DOI":"10.1145\/1595696.1595720"},{"doi-asserted-by":"crossref","unstructured":"Mei, L., Chan, W.K., Tse, T.H.: Data flow testing of service oriented workflow applications. In: Proceedings of the 30th International Conference on Software Engineering (ICSE), pp. 371\u2013380 (2008)","key":"3_CR32","DOI":"10.1145\/1368088.1368139"},{"doi-asserted-by":"crossref","unstructured":"Hou, S.S., Zhang, L., Lan, Q., Mei, H.J., Sun, S.: Generating effective test sequences for BPEL testing. In: Proceedings of the 5th International Conference on Quality Software, pp. 331\u2013340 (2009)","key":"3_CR33","DOI":"10.1109\/QSIC.2009.50"},{"issue":"1","key":"3_CR34","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/TSC.2011.22","volume":"6","author":"Y Ni","year":"2013","unstructured":"Ni, Y., Hou, S.S., Zhang, L., Zhu, J., Li, Z.J., Lan, Q.: Effective message-sequence generation or testing BPEL programs. IEEE Trans. Serv. Comput. 6(1), 7\u201319 (2013). \n                      https:\/\/doi.org\/10.1109\/TSC.2011.22","journal-title":"IEEE Trans. Serv. Comput."},{"doi-asserted-by":"crossref","unstructured":"Wu, C.S., Huang, C.H.: The web services composition testing based on extended finite state machine and UML model. In: Proceedings of the IEEE International Conference on Service Science and Innovation, pp. 215\u2013222 (2013)","key":"3_CR35","DOI":"10.1109\/ICSSI.2013.46"},{"doi-asserted-by":"crossref","unstructured":"Sun, C.A., Shang, Y., Zhao, Y., Chen, T.Y.: Scenario-oriented testing for web service compositions using BPEL. In: Proceedings of the 12th International Conference on Quality Software (QSIC), pp. 171\u2013174 (2012)","key":"3_CR36","DOI":"10.1109\/QSIC.2012.47"},{"issue":"4","key":"3_CR37","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1049\/iet-sen.2012.0047","volume":"7","author":"PC Zhang","year":"2013","unstructured":"Zhang, P.C., Leung, H., Li, W.R., Li, X.D.: Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications. IET Softw. 7(4), 222\u2013248 (2013)","journal-title":"IET Softw."},{"key":"3_CR38","doi-asserted-by":"publisher","first-page":"616","DOI":"10.1109\/TSC.2015.2466572","volume":"11","author":"C Sun","year":"2015","unstructured":"Sun, C., Zhao, Y., Pan, L., Liu, H., Chen, T.Y.: Automated testing of WS-BPEL service compositions: a scenario-oriented approach. IEEE Trans. Serv. Comput. 11, 616\u2013629 (2015)","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"2","key":"3_CR39","doi-asserted-by":"publisher","first-page":"32","DOI":"10.4018\/jdm.2011040102","volume":"22","author":"Q Li","year":"2011","unstructured":"Li, Q., et al.: Service composition and interaction in a SOC middleware supporting separation of concerns with flows and views. J. Database Manag. (JDM) 22(2), 32\u201363 (2011)","journal-title":"J. Database Manag. (JDM)"},{"issue":"2","key":"3_CR40","first-page":"201","volume":"44","author":"F Belli","year":"2014","unstructured":"Belli, F., Endo, A.T., Linschulte, M., Simao, A.: A holistic approach to model-based testing of web service compositions. Softw.: Pract. Exp. 44(2), 201\u2013234 (2014)","journal-title":"Softw.: Pract. Exp."},{"issue":"3","key":"3_CR41","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s10009-016-0437-y","volume":"19","author":"S Herbold","year":"2017","unstructured":"Herbold, S., Harms, P., Grabowski, J.: Combining usage-based and model-based testing for service-oriented architectures in the industrial practice. Int. J. Softw. Tools Technol. Transfer 19(3), 309\u2013324 (2017)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"doi-asserted-by":"crossref","unstructured":"Chen, C., Zaidman, A., Gross, H.G.: A framework-based runtime monitoring approach for service-oriented software systems. In: Proceedings of the International Workshop on Quality Assurance for Service-Based Applications, QASBA 2011, pp. 17\u201320. ACM, New York (2011)","key":"3_CR42","DOI":"10.1145\/2031746.2031752"},{"doi-asserted-by":"crossref","unstructured":"Gao, H., Li, Y.: Generating quantitative test cases for probabilistic timed web service composition. In: Proceedings of the APSCC, pp. 275\u2013283 (2011)","key":"3_CR43","DOI":"10.1109\/APSCC.2011.13"},{"key":"3_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-25945-1_4","volume-title":"Testing Software and Systems","author":"S Hall\u00e9","year":"2015","unstructured":"Hall\u00e9, S., La Chance, E., Gaboury, S.: Graph methods for generating test cases with universal and existential constraints. In: El-Fakih, K., Barlas, G., Yevtushenko, N. (eds.) ICTSS 2015. LNCS, vol. 9447, pp. 55\u201370. Springer, Cham (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-319-25945-1_4"},{"key":"3_CR45","series-title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-67837-5_13","volume-title":"Emerging Technologies for Developing Countries","author":"M Elqortobi","year":"2018","unstructured":"Elqortobi, M., Bentahar, J., Dssouli, R.: Framework for dynamic web services composition guided by live testing. In: Belqasmi, F., Harroud, H., Agueh, M., Dssouli, R., Kamoun, F. (eds.) AFRICATEK 2017. LNICST, vol. 206, pp. 129\u2013139. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-67837-5_13"},{"issue":"1","key":"3_CR46","doi-asserted-by":"publisher","first-page":"73","DOI":"10.4018\/jwsr.2013010104","volume":"10","author":"Lijun Mei","year":"2013","unstructured":"Mei, L., Cai, Y., Jia, C., Jiang, B., Chan, W.K.: Test pair selection for test case prioritization in regression testing for WS-BPEL programs (Report). Int. J. Web Serv. Res. 10(1), 73(30) (2013)","journal-title":"International Journal of Web Services Research"},{"doi-asserted-by":"crossref","unstructured":"Petrova-Antonova, D., Ilieva, S., Manova, D.: TASSA: testing framework for web service orchestrations. In: 2015 IEEE\/ACM 10th International Workshop on Automation of Software Test, pp. 8\u201312, May 2015","key":"3_CR47","DOI":"10.1109\/AST.2015.9"},{"unstructured":"Cao, D., F\u00e9lix, P., Castanet, R.: WSOFT: an automatic testing tool for web services composition. In: 5th International Conference on Internet and Web Applications and Services (2014)","key":"3_CR48"},{"doi-asserted-by":"crossref","unstructured":"Xu, C., Qu, W., Wang, H., Wang, Z., Ban, X.: A Petri Net-based method for data validation of web services composition. In: 2010 IEEE 34th Annual Computer Software and Applications Conference (COMPSAC), pp. 468\u2013476, July 2010","key":"3_CR49","DOI":"10.1109\/COMPSAC.2010.54"},{"doi-asserted-by":"crossref","unstructured":"Zhang, J., Yang, R., Chen, Z., Zhao, Z., Xu, B.: Automated EFSM-based test case generation with scatter search. In: Proceedings of the 7th International Workshop on Automation of Software Test, 02 June 2012, pp. 76\u201382 (2012)","key":"3_CR50","DOI":"10.1109\/IWAST.2012.6228994"},{"unstructured":"Shan, N.: Applications research in ultrasonic testing of carbon fiber composite based on an optical fiber F-p sensor. In: Proceedings of SPIE - The International Society for Optical Engineering, 25 October 2016, vol. 9685, pp. 968511\u2013968511-6 (2016)","key":"3_CR51"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-13651-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,22]],"date-time":"2019-12-22T03:03:14Z","timestamp":1576983794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-13651-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030136505","9783030136512"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-13651-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SOFL+MSVL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Structured Object-Oriented Formal Language and Method","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Gold Coast, QLD","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sofl2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formal-analysis.com\/sofl_msvl\/2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}