{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:12:52Z","timestamp":1748751172072,"version":"3.41.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319270296"},{"type":"electronic","value":"9783319270302"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-27030-2_10","type":"book-chapter","created":{"date-parts":[[2015,12,15]],"date-time":"2015-12-15T02:07:42Z","timestamp":1450145262000},"page":"145-160","source":"Crossref","is-referenced-by-count":1,"title":["Scenario-Based Design and Validation of REST Web Service Compositions"],"prefix":"10.1007","author":[{"given":"Irum","family":"Rauf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faezeh","family":"Siavashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dragos","family":"Truscan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Porres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,16]]},"reference":[{"key":"10_CR1","unstructured":"Code coverage measurement for Python - coverage, v. 3.6 (2013). https:\/\/pypi.python.org\/pypi\/coverage (Retrieved: 20 August 2013)"},{"key":"10_CR2","unstructured":"Nomagic MagicDraw, August 2013. webpage at http:\/\/www.nomagic.com\/products\/magicdraw\/"},{"key":"10_CR3","unstructured":"Arnold, D., Corriveau, J.P., Shi, W.: A scenario-driven approach to model-based testing (2010)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Behrmann, G., et al.: Uppaal 4.0. In: QEST 2006 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems, pp. 125\u2013126. IEEE Computer Society, Washington, DC (2006)","DOI":"10.1109\/QEST.2006.59"},{"key":"10_CR5","unstructured":"Birgit Demuth, C.W.: Model and object verification by using Dresden OCL. In: Proceedings of the Russian-German Workshop Innovation Information Technologies: Theory and Practice, pp. 81\u201389 (2009)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Biswal, B., Nanda, P., Mohapatra, D.: A novel approach for scenario-based test case generation. In: International Conference on Information Technology, ICIT 2008, pp. 244\u2013247, December 2008","DOI":"10.1109\/ICIT.2008.43"},{"key":"10_CR7","unstructured":"Bozkurt, M., et al.: Testing web services: a survey. Department of Computer Science, Kings College London, Technical report TR-10-01 (2010)"},{"issue":"1","key":"10_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.jlap.2010.02.001","volume":"80","author":"ME Cambronero","year":"2011","unstructured":"Cambronero, M.E., et al.: Validation and verification of web services choreographies by using timed automata. J. Logic Algebraic Program. 80(1), 25\u201349 (2011)","journal-title":"J. Logic Algebraic Program."},{"issue":"3","key":"10_CR9","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1177\/0037549710372098","volume":"88","author":"M Cambronero","year":"2012","unstructured":"Cambronero, M., et al.: WST: a tool supporting timed composite web services model transformation. Simulation 88(3), 349\u2013364 (2012)","journal-title":"Simulation"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"D\u0131az, G., et al.: Model checking techniques applied to the design of web services. CLEI Electron. J. 10(2) (2007)","DOI":"10.19153\/cleiej.10.2.2"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Enoiu, E.P., Sundmark, D., Pettersson, P.: Model-based test suite generation for function block diagrams using the uppaal model checker. In: Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, pp. 158\u2013167. IEEE Computer Society, Washington, DC (2013). http:\/\/dx.doi.org\/10.1109\/ICSTW.2013.27","DOI":"10.1109\/ICSTW.2013.27"},{"key":"10_CR12","unstructured":"Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. thesis, University of California (2000)"},{"issue":"12","key":"10_CR13","doi-asserted-by":"publisher","first-page":"1042","DOI":"10.1109\/TSE.2005.141","volume":"31","author":"X Fu","year":"2005","unstructured":"Fu, X., et al.: Synchronizability of conversations among web services. IEEE Trans. Softw. Eng. 31(12), 1042\u20131055 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR14","unstructured":"Garc\u00eda-Fanjul, J., et al.: Generating test cases specifications for BPEL compositions of web services using SPIN. In: International Workshop on Web Services-Modeling and Testing (WS-MaTe 2006), p. 83 (2006)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Guermouche, N., Godart, C.: Timed model checking based approach for web services analysis. In: IEEE International Conference on Web Services, ICWS 2009, pp. 213\u2013221. IEEE (2009)","DOI":"10.1109\/ICWS.2009.42"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Holovaty, A., Kaplan-Moss, J.: The definitive guide to Django: web development done right. Apress (2009)","DOI":"10.1007\/978-1-4302-1937-8"},{"issue":"5","key":"10_CR17","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR18","unstructured":"Huang, H., et al.: Automated model checking and testing for composite web services. In: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2005, pp. 300\u2013307. IEEE (2005)"},{"key":"10_CR19","first-page":"25","volume":"4","author":"N Ibrahim","year":"2013","unstructured":"Ibrahim, N., Al Ani, I.: Beyond functional verification of web services compositions. J. Emerg. Trends Comput. Inf. Sci. 4, 25\u201330 (2013). Special Issue","journal-title":"J. Emerg. Trends Comput. Inf. Sci."},{"key":"10_CR20","unstructured":"Koskinen, M., et al.: Combining model-based testing and continuous integration. In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2013). IARIA, October 2013 (to appear)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Lallali, M., et al.: Automatic timed test case generation for web services composition. In: IEEE Sixth European Conference on Web Services, ECOWS 2008, pp. 53\u201362. IEEE (2008)","DOI":"10.1109\/ECOWS.2008.14"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Larsen, K., Li, S., Nielsen, B., Pusinskas, S.: Scenario-based analysis and synthesis of real-time systems using uppaal. In: Design, Automation Test in Europe Conference Exhibition (DATE), pp. 447\u2013452, March 2010","DOI":"10.1109\/DATE.2010.5457164"},{"issue":"1","key":"10_CR23","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., et al.: UPPAAL in a nutshell. Int. J. Softw. Tools Tech. Transf. (STTT) 1(1), 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Tech. Transf. (STTT)"},{"key":"10_CR24","volume-title":"UPPAAL Tron user manual","author":"KG Larsen","year":"2009","unstructured":"Larsen, K.G., et al.: CISS, BRICS. UPPAAL Tron user manual. Aalborg University, Aalborg (2009)"},{"key":"10_CR25","unstructured":"Part, I., Peschke, M.: Design and validation of computer protocols (2003)"},{"key":"10_CR26","unstructured":"Rauf, I.: Design and Validation of Stateful Composite RESTful Web Services. Ph.D. thesis (2014)"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Rauf, I., et al.: An integrated approach for designing and validating rest web service compositions. In: Monfort, V., Krempels, K.H. (eds.) 10th International Conference on Web Information Systems and Technologies, vol. 1, p. 104\u2013115. SCITEPRESS Digital Library (2014)","DOI":"10.5220\/0004949601040115"},{"key":"10_CR28","unstructured":"Richardson, L., Ruby, S.: RESTful web services. O\u2019Reilly (2008)"},{"key":"10_CR29","first-page":"34","volume":"2007","author":"HM Rusli","year":"2011","unstructured":"Rusli, H.M., et al.: Testing web services composition: a mapping study. Commun. IBIMA 2007, 34\u201348 (2011)","journal-title":"Commun. IBIMA"},{"key":"10_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-642-23982-3_52","volume-title":"Web Information Systems and Mining","author":"G Zhang","year":"2011","unstructured":"Zhang, G., Shi, H., Rong, M., Di, H.: Model checking for asynchronous web service composition based on XYZ\/ADL. In: Gong, Z., Luo, X., Chen, J., Lei, J., Wang, F.L. (eds.) WISM 2011, Part II. LNCS, vol. 6988, pp. 428\u2013435. Springer, Heidelberg (2011)"},{"issue":"4","key":"10_CR31","first-page":"713","volume":"14","author":"XY Zhu","year":"2003","unstructured":"Zhu, X.Y., Tang, Z.S.: A temporal logic-based software architecture description language xyz\/adl. J. Softw. 14(4), 713\u2013720 (2003)","journal-title":"J. Softw."}],"container-title":["Lecture Notes in Business Information Processing","Web Information Systems and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27030-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T19:54:50Z","timestamp":1748721290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27030-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319270296","9783319270302"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27030-2_10","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2015]]}}}