{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T04:09:31Z","timestamp":1748923771559,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319336114"},{"type":"electronic","value":"9783319336121"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-33612-1_4","type":"book-chapter","created":{"date-parts":[[2016,4,19]],"date-time":"2016-04-19T08:18:38Z","timestamp":1461053918000},"page":"51-66","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and Formal Analysis of a Client-Server Application for Cloud Services"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Arcaini","sequence":"first","affiliation":[]},{"given":"Roxana-Maria","family":"Holom","sequence":"additional","affiliation":[]},{"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,20]]},"reference":[{"issue":"4","key":"4_CR1","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1002\/stvr.401","volume":"19","author":"MH Alalfi","year":"2009","unstructured":"Alalfi, M.H., Cordy, J.R., Dean, T.R.: Modelling methods for web application verification and testing: state of the art. Softw. Test. Verif. Reliab. 19(4), 265\u2013296 (2009)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-11811-1_6","volume-title":"Abstract State Machines, Alloy, B and Z","author":"P Arcaini","year":"2010","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 61\u201374. Springer, Heidelberg (2010)"},{"key":"4_CR3","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Automatic review of abstract state machines by meta property verification. In: Mu\u00f1oz, C. (ed.) Proceedings of the Second NASA Formal Methods Symposium (NFM), pp. 4\u201313. NASA (2010)"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1002\/spe.1019","volume":"41","author":"P Arcaini","year":"2011","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Pract. Experience 41, 155\u2013166 (2011)","journal-title":"Softw. Pract. Experience"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Ardagna, D., Di Nitto, E., Mohagheghi, P., Mosser, S., Ballagny, C., D\u2019Andria, F., Casale, G., Matthews, P., Nechifor, C.-S., Petcu, D., Gericke, A., Sheridan, C.: Modaclouds: a model-driven approach for the design and execution of applications on multiple clouds. In: 2012 ICSE Workshop on Modeling in Software Engineering (MISE), pp. 50\u201356, June 2012","DOI":"10.1109\/MISE.2012.6226014"},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.entcs.2005.12.041","volume":"157","author":"D Ballis","year":"2006","unstructured":"Ballis, D., Garca-Viv, J.: A rule-based system for web site verification. Electron. Notes Theor. Comput. Sci. 157(2), 11\u201317 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"4_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-87603-8_7","volume-title":"Abstract State Machines, B and Z","author":"A Carioni","year":"2008","unstructured":"Carioni, A., Gargantini, A., Riccobene, E., Scandurra, P.: A scenario-based validation language for ASMs. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 71\u201384. Springer, Heidelberg (2008)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Chelemen, R.-M.: Modeling a web application for cloud content adaptation with ASMs. In: 2013 International Conference on Cloud Computing and Big Data (CloudCom-Asia), pp. 44\u201351, December 2013","DOI":"10.1109\/CLOUDCOM-ASIA.2013.76"},{"issue":"12","key":"4_CR10","first-page":"1949","volume":"14","author":"A Gargantini","year":"2008","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based language and a simulation engine for abstract state machines. J. Univ. Comput. Sci. 14(12), 1949\u20131983 (2008)","journal-title":"J. Univ. Comput. Sci."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.scico.2014.02.025","volume":"94","author":"R-M Gervasi","year":"2014","unstructured":"Gervasi, R.-M., B\u00f6rger, E., Cisternino, A.: Modeling web applications infrastructure with ASMs. Sci. Comput. Programm. 94, 69\u201392 (2014)","journal-title":"Sci. Comput. Programm."},{"issue":"12","key":"4_CR12","doi-asserted-by":"publisher","first-page":"2191","DOI":"10.1016\/j.infsof.2013.07.013","volume":"55","author":"M Haydar","year":"2013","unstructured":"Haydar, M., Petrenko, A., Boroday, S., Sahraoui, H.: A formal approach for run-time verification of web applications using scope-extended LTL. Inf. Softw. Technol. 55(12), 2191\u20132208 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/BFb0055332","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"CL Heitmeyer","year":"1998","unstructured":"Heitmeyer, C.L.: On the need for practical formal methods. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol. 1486, pp. 18\u201326. Springer, Heidelberg (1998)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Homma, K., Izumi, S., Abe, Y., Takahashi, K., Togashi., A: Using the model checker spin for web application design. In: 2010 10th IEEE\/IPSJ International Symposium on Applications and the Internet (SAINT), pp. 137\u2013140, July 2010","DOI":"10.1109\/SAINT.2010.73"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Mao-shan, S., Yi-hai, C., Sheng-bo, C., Mei-Jia: A model checking approach to web application navigation model with session mechanism. In: 2010 International Conference on Computer Application and System Modeling (ICCASM), vol. 5, pp. V5\u2013398\u2013V5\u2013403, October 2010","DOI":"10.1109\/ICCASM.2010.5620127"},{"issue":"2","key":"4_CR16","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s10270-009-0125-4","volume":"9","author":"J Offutt","year":"2010","unstructured":"Offutt, J., Wu, Y.: Modeling presentation layers of web applications for testing. Softw. Syst. Model. 9(2), 257\u2013280 (2010)","journal-title":"Softw. Syst. Model."},{"key":"4_CR17","unstructured":"Schewe, K.-D., B\u00f3sa, K., Lampesberger, H., Ma, H., Vleju, M.B.: The Christian Doppler laboratory for client-centric cloud computing. In: 2nd Workshop on Software Services (WoSS 2011), Timisoara, Romania, June 2011"}],"container-title":["Lecture Notes in Computer Science","Web Services, Formal Methods, and Behavioral Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33612-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T20:16:09Z","timestamp":1748895369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33612-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319336114","9783319336121"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33612-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}