{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T19:56:41Z","timestamp":1772827001427,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662486153","type":"print"},{"value":"9783662486160","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","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":[[2015]]},"DOI":"10.1007\/978-3-662-48616-0_28","type":"book-chapter","created":{"date-parts":[[2015,11,24]],"date-time":"2015-11-24T16:18:43Z","timestamp":1448381923000},"page":"397-411","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Automatic Deployment of Services in the Cloud with Aeolus Blender"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Di Cosmo","sequence":"first","affiliation":[]},{"given":"Antoine","family":"Eiche","sequence":"additional","affiliation":[]},{"given":"Jacopo","family":"Mauro","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Zacchiroli","sequence":"additional","affiliation":[]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[]},{"given":"Jakub","family":"Zwolakowski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,25]]},"reference":[{"key":"28_CR1","unstructured":"Amadini, R., Gabbrielli, M., Mauro, J.: A multicore tool for constraint solving. In: IJCAI, pp. 232\u2013238 (2015)"},{"key":"28_CR2","unstructured":"Amazon. AWS CloudFormation. http:\/\/aws.amazon.com\/cloudformation\/"},{"key":"28_CR3","unstructured":"Apache Software Foundation. Apache Brooklyn. https:\/\/brooklyn.incubator.apache.org\/"},{"issue":"3","key":"28_CR4","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s11219-007-9019-2","volume":"15","author":"N Arshad","year":"2007","unstructured":"Arshad, N., Heimbigner, D., Wolf, A.L.: Deployment and dynamic reconfiguration planning for distributed software systems. Softw. Qual. J. 15(3), 265\u2013281 (2007)","journal-title":"Softw. Qual. J."},{"key":"28_CR5","unstructured":"Microsoft Azure. http:\/\/azure.microsoft.com"},{"issue":"2","key":"28_CR6","first-page":"309","volume":"8","author":"M Burgess","year":"1995","unstructured":"Burgess, M.: A site configuration engine. Comput. Syst. 8(2), 309\u2013337 (1995)","journal-title":"Comput. Syst."},{"key":"28_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-40651-5_1","volume-title":"Service-Oriented and Cloud Computing","author":"M Catan","year":"2013","unstructured":"Catan, M., Di Cosmo, R., Eiche, A., Lascu, T.A., Lienhardt, M., Mauro, J., Treinen, R., Zacchiroli, S., Zavattaro, G., Zwolakowski, J.: Aeolus: mastering the complexity of cloud application deployment. In: Lau, K.-K., Lamersdorf, W., Pimentel, E. (eds.) ESOCC 2013. LNCS, vol. 8135, pp. 1\u20133. Springer, Heidelberg (2013)"},{"key":"28_CR8","unstructured":"CenturyLink. Cloud Blueprints. http:\/\/www.centurylinkcloud.com\/products\/management\/blueprints"},{"key":"28_CR9","unstructured":"Cloudify. http:\/\/getcloudify.org\/"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Di Cosmo, R., Lienhardt, M., Treinen, R., Zacchiroli, S., Zwolakowski, J., Eiche, A., Agahi, A.: Automated synthesis and deployment of cloud applications. In: ASE, pp. 211\u2013222. ACM (2014)","DOI":"10.1145\/2642937.2642980"},{"key":"28_CR11","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.ic.2014.11.002","volume":"239","author":"R Di Cosmo","year":"2014","unstructured":"Di Cosmo, R., Mauro, J., Zacchiroli, S., Zavattaro, G.: Aeolus: a component model for the cloud. Inf. Comput. 239, 100\u2013121 (2014)","journal-title":"Inf. Comput."},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"de Gouw, S., Lienhardt, M., Mauro, J., Nobakht, B., Zavattaro, G.: On the integration of automatic deployment into the ABS modeling language? In: ESOCC (2015)","DOI":"10.1007\/978-3-319-24072-5_4"},{"key":"28_CR13","unstructured":"DevOps. http:\/\/devops.com\/"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Etchevers, X., Coupaye, T., Boyer, F., De Palma, N.: Self-configuration of distributed applications in the cloud. In: CLOUD, pp. 668\u2013675. IEEE (2011)","DOI":"10.1109\/UCC.2011.32"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Fischer, J., Majumdar, R., Esmaeilsabzali, S.: Engage: a deployment management system. In: PLDI, pp. 263\u2013274. ACM (2012)","DOI":"10.1145\/2345156.2254096"},{"key":"28_CR16","unstructured":"Flexiant. Bento Boxes. http:\/\/www.flexiant.com\/2012\/12\/03\/application-provisioning\/"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Gon\u00e7alves, G.E., Endo, P.T., Santos, M.A., Sadok, D., Kelner, J., Melander, B., M\u00e5ngs, J.-E.: CloudML: an integrated language for resource, service and request description for D-Clouds. In: CloudCom, pp. 399\u2013406. IEEE (2011)","DOI":"10.1109\/CloudCom.2011.60"},{"key":"28_CR18","unstructured":"Google App Engine. https:\/\/developers.google.com\/appengine\/"},{"key":"28_CR19","unstructured":"HashiCorp. Terraform. https:\/\/terraform.io\/"},{"key":"28_CR20","unstructured":"Herry, H., Anderson, P.: Planning with global constraints for computing infrastructure reconfiguration. In: CP4PS (2012)"},{"key":"28_CR21","unstructured":"Herry, H., Anderson, P., Wickler, G.: Automated planning for configuration changes. In: LISA. USENIX Association (2011)"},{"key":"28_CR22","unstructured":"Hewson, J.A., Anderson, P., Gordon, A.D.: A declarative approach to automated configuration. In: LISA, pp. 51\u201366 (2012)"},{"key":"28_CR23","unstructured":"IDC. Executive summary: a universe of opportunities and challenges (2012). http:\/\/www.emc.com\/collateral\/analyst-reports\/idc-the-digital-universe-in-2020.pdf"},{"key":"28_CR24","unstructured":"Juju, devops distilled. https:\/\/juju.ubuntu.com\/"},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"Lascu, T.A., Mauro, J., Zavattaro, G.: A planning tool supporting the deployment of cloud applications. In: ICTAI, pp. 213\u2013220. IEEE (2013)","DOI":"10.1109\/ICTAI.2013.41"},{"key":"28_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1007\/978-3-319-07602-7_16","volume-title":"Formal Aspects of Component Software","author":"TA Lascu","year":"2014","unstructured":"Lascu, T.A., Mauro, J., Zavattaro, G.: Automatic component deployment in the presence of circular dependencies. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 254\u2013272. Springer, Heidelberg (2014)"},{"key":"28_CR27","unstructured":"Mandriva. Armonic. http:\/\/armonic.readthedocs.org\/en\/latest\/index.html"},{"key":"28_CR28","unstructured":"Mandriva. Armonic, Lifecycle anatomy. http:\/\/armonic.readthedocs.org\/en\/latest\/lifecycle.html"},{"key":"28_CR29","unstructured":"Normation. Rudder. http:\/\/www.normation.com\/en"},{"key":"28_CR30","unstructured":"OASIS. Cloud Application Management for Platforms. http:\/\/docs.oasis-open.org\/camp\/camp-spec\/v1.1\/camp-spec-v1.1.html"},{"key":"28_CR31","unstructured":"OASIS. Organization for the Advancement of Structured Information Standards (OASIS). https:\/\/www.oasis-open.org"},{"key":"28_CR32","unstructured":"OASIS. Topology and Orchestration Specification for Cloud Applications (TOSCA) Version 1.0. http:\/\/docs.oasis-open.org\/tosca\/TOSCA\/v1.0\/cs01\/TOSCA-v1.0-cs01.html"},{"key":"28_CR33","unstructured":"Opscode. Chef. http:\/\/www.opscode.com\/chef\/"},{"key":"28_CR34","unstructured":"PAC. Cloudindex study (2014).http:\/\/www.cloudindex.fr\/sites\/default\/files\/PAC%20CloudIndex%20-%202014.pdf"},{"key":"28_CR35","unstructured":"Puppetlabs. Puppet. http:\/\/puppetlabs.com\/"},{"key":"28_CR36","doi-asserted-by":"crossref","unstructured":"Quinton, C., Pleuss, A., Le Berre, D., Duchien, L., Botterweck, G.: Consistency checking for the evolution of cardinality-based feature models. In: SPLC, pp. 122\u2013131. ACM (2014)","DOI":"10.1145\/2648511.2648524"},{"key":"28_CR37","unstructured":"Scalr Cloud Management. http:\/\/www.scalr.com\/"},{"key":"28_CR38","unstructured":"Zwolakowski, J.: A formal approach to distributed application synthesis and deployment automation. Ph.D thesis, Univerist\u00e9 Paris Diderot - Paris 7 (2015)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48616-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T01:16:00Z","timestamp":1606353360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48616-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662486153","9783662486160"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48616-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}