{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:18:55Z","timestamp":1742969935112,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030035952"},{"type":"electronic","value":"9783030035969"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-03596-9_51","type":"book-chapter","created":{"date-parts":[[2018,11,6]],"date-time":"2018-11-06T08:17:58Z","timestamp":1541492278000},"page":"714-721","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements"],"prefix":"10.1007","author":[{"given":"Hamid R.","family":"Motahari Nezhad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taiga","family":"Nakamura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adi","family":"Sosnovich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peifeng","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karen","family":"Yorav","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,11,7]]},"reference":[{"key":"51_CR1","unstructured":"Linthicum, D.: The case for managed service providers in your cloud strategy. http:\/\/www.infoworld.com\/article\/2923441\/cloud-computing\/the-case-for-managed-service-providers-in-your-cloud-strategy.html. Accessed January 2018"},{"key":"51_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-319-68136-8_23","volume-title":"Service-Oriented Computing \u2013 ICSOC 2016 Workshops","author":"HR Motahari Nezhad","year":"2017","unstructured":"Motahari Nezhad, H.R., et al.: COOL: a model-driven and automated system for guided and verifiable cloud solution design. In: Drira, K., et al. (eds.) ICSOC 2016. LNCS, vol. 10380, pp. 194\u2013198. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68136-8_23"},{"key":"51_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-7535-4_22","volume-title":"Advanced Web Services","author":"T Binz","year":"2014","unstructured":"Binz, T., Breitenb\u00fccher, U., Kopp, O., Leymann, F.: TOSCA: portable automated deployment and management of cloud applications. In: Bouguettaya, A., Sheng, Q., Daniel, F. (eds.) Advanced Web Services. Springer, New York (2014). https:\/\/doi.org\/10.1007\/978-1-4614-7535-4_22"},{"key":"51_CR4","doi-asserted-by":"crossref","unstructured":"Ferry, N., Rossini, A., Chauvel, F., Morin, B., Solberg, A.: Towards model-driven provisioning, deployment, monitoring, and adaptation of multi-cloud systems. In: IEEE CLOUD 2013, pp. 887\u2013894. IEEE Press (2013)","DOI":"10.1109\/CLOUD.2013.133"},{"key":"51_CR5","doi-asserted-by":"crossref","unstructured":"Merle, P., Barais, O., Parpaillon, J., Plouzeau, N., Tata, S.: A precise metamodel for open cloud computing interface. In: IEEE CLOUD 2015, pp. 852\u2013859. IEEE Press (2015)","DOI":"10.1109\/CLOUD.2015.117"},{"key":"51_CR6","unstructured":"Microsoft Assessment and Planning (MAP) Toolkit for Windows Azure Platform. https:\/\/technet.microsoft.com\/en-us\/solutionaccelerators\/gg581074.aspx"},{"issue":"2","key":"51_CR7","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MS.2012.31","volume":"29","author":"J Grundy","year":"2012","unstructured":"Grundy, J., Kaefer, G., Keong, J., Liu, A.: Software engineering for the cloud. IEEE Softw. 29(2), 26\u201329 (2012)","journal-title":"IEEE Softw."},{"issue":"2","key":"51_CR8","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.dcan.2016.12.002","volume":"3","author":"Q Duan","year":"2017","unstructured":"Duan, Q.: Cloud service performance evaluation: status, challenges, and opportunities \u2013 a survey from the system modeling perspective. Digit. Commun. Netw. 3(2), 101\u2013111 (2017)","journal-title":"Digit. Commun. Netw."},{"issue":"2","key":"51_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s11633-014-0776-7","volume":"11","author":"J-F Zhao","year":"2014","unstructured":"Zhao, J.-F., Zhou, J.-T.: Strategies and methods for cloud migration. Int. J. Autom. Comput. 11(2), 143\u2013152 (2014)","journal-title":"Int. J. Autom. Comput."},{"issue":"2","key":"51_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TCC.2013.10","volume":"1","author":"P Jamshidi","year":"2013","unstructured":"Jamshidi, P., Ahmad, A., Pahl, C.: Cloud migration research: a systematic review. IEEE Trans. Cloud Comput. 1(2), 1 (2013)","journal-title":"IEEE Trans. Cloud Comput."},{"key":"51_CR11","unstructured":"Boni, O., et al.: Applying constraint programming to incorporate engineering methodologies into the design process of complex systems. In: 24th Conference on Innovative Applications of Artificial Intelligence, Toronto, Canada (2014)"},{"key":"51_CR12","volume-title":"Constraint Processing, Morgan Kaufmann Series in Artificial Intelligence","author":"R Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing, Morgan Kaufmann Series in Artificial Intelligence. Elsevier, Amsterdam (2003)"},{"key":"51_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-66158-2_4","volume-title":"Principles and Practice of Constraint Programming","author":"E Bilgory","year":"2017","unstructured":"Bilgory, E., Bin, E., Ziv, A.: Solving constraint satisfaction problems containing vectors of unknown size. In: Beck, J.C. (ed.) CP 2017. LNCS, vol. 10416, pp. 55\u201370. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66158-2_4"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03596-9_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T13:53:30Z","timestamp":1710338010000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-03596-9_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030035952","9783030035969"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03596-9_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 November 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hangzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","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":"12 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icsoc.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}