{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:47:43Z","timestamp":1743108463654,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319076010"},{"type":"electronic","value":"9783319076027"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-07602-7_16","type":"book-chapter","created":{"date-parts":[[2014,6,12]],"date-time":"2014-06-12T11:29:08Z","timestamp":1402572548000},"page":"254-272","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Component Deployment in the Presence of Circular Dependencies"],"prefix":"10.1007","author":[{"given":"Tudor A.","family":"Lascu","sequence":"first","affiliation":[]},{"given":"Jacopo","family":"Mauro","sequence":"additional","affiliation":[]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,13]]},"reference":[{"key":"16_CR1","unstructured":"OMG Unified Modeling Language (UML), Superstructure, V2.4.1"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Abate, P., Johannes, S.: Bootstrapping software distributions. In: CBSE\u201913, pp. 131\u2013142. ACM (2013)","DOI":"10.1145\/2465449.2465461"},{"issue":"2\u20133","key":"16_CR3","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/j.tcs.2004.09.022","volume":"331","author":"F Achermann","year":"2005","unstructured":"Achermann, F., Nierstrasz, O.: A calculus for reasoning about software composition. Theor. Comput. Sci. 331(2\u20133), 367\u2013396 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR4","unstructured":"Baron, S., Peter, Z., Vadim, T., Jeremy, Z.D., Arjen, L., Balling, D.J.: High Performance MySQL, 2nd edn. O\u2019Reilly, Sebastopol (2008)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.-B.: The FRACTAL component model and its support in Java. Softw. Pract. Exper. 36(11\u201312), 1257\u20131284 (2006)","DOI":"10.1002\/spe.767"},{"issue":"3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1016\/j.tcs.2006.02.006","volume":"356","author":"M Bundgaard","year":"2006","unstructured":"Bundgaard, M., Hildebrandt, T.T., Godskesen, J.C.: A CPS encoding of name-passing in higher-order mobile embedded resources. Theor. Comput. Sci. 356(3), 422\u2013439 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"16_CR7","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":"16_CR8","doi-asserted-by":"crossref","unstructured":"De Alfaro, L., Henzinger, T.A.: Interface automata. In: ACM SIGSOFT Software Engineering Notes, vol. 26, pp. 109\u2013120. ACM (2001)","DOI":"10.1145\/503271.503226"},{"key":"16_CR9","unstructured":"Circular Build Dependencies: http:\/\/wiki.debian.org\/CircularBuildDependencies (2013). Accessed June 2013"},{"key":"16_CR10","unstructured":"Di Cosmo, R., Lienhardt, M., Treinen, R., Zacchiroli, S., Zwolakowski, J.: Optimal provisioning in the cloud. Technical report, Aeolus project, June 2013. http:\/\/hal.archives-ouvertes.fr\/hal-00831455"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Di Cosmo, R., Mauro, J., Zacchiroli, S., Zavattaro, G.: Component reconfiguration in the presence of conflicts. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part II. LNCS, vol. 7966, pp. 187\u2013198. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-39212-2_19"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-33826-7_11","volume-title":"Software Engineering and Formal Methods","author":"R Di Cosmo","year":"2012","unstructured":"Di Cosmo, R., Zacchiroli, S., Zavattaro, G.: Towards a formal component model for the cloud. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 156\u2013171. Springer, Heidelberg (2012)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Fischer, J., Majumdar, R., Esmaeilsabzali, S.: Engage: a deployment management system. In: PLDI\u201912: Programming Language Design and Implementation, pp. 263\u2013274. ACM (2012)","DOI":"10.1145\/2345156.2254096"},{"key":"16_CR14","unstructured":"Hewson, J.A., Anderson, P., Gordon, A.D.: A declarative approach to automated configuration. In: LISA \u201912: Large Installation System Administration Conference, pp. 51\u201366 (2012)"},{"key":"16_CR15","unstructured":"Juju, devops distilled. https:\/\/juju.ubuntu.com\/ (2013). Accessed June 2013"},{"key":"16_CR16","unstructured":"Kanies, L.: Puppet: next-generation configuration management. login: USENIX Mag. 31(1), 19\u201325 (2006)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11813040_7","volume-title":"FM 2006: Formal Methods","author":"KG Larsen","year":"2006","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Interface input\/output automata. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 82\u201397. Springer, Heidelberg (2006)"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Lascu, T.A., Mauro, J., Zavattaro, G.: A planning tool supporting the deployment of cloud applications. In: ICTAI 2013, pp. 213\u2013220. IEEE (2013)","DOI":"10.1109\/ICTAI.2013.41"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-15640-3_11","volume-title":"Trustworthly Global Computing","author":"F Montesi","year":"2010","unstructured":"Montesi, F., Sangiorgi, D.: A model of evolvable components. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010. LNCS, vol. 6084, pp. 153\u2013171. Springer, Heidelberg (2010)"},{"key":"16_CR20","unstructured":"Opscode: Chef. http:\/\/www.opscode.com\/chef\/ (2013). Accessed June 2013"},{"key":"16_CR21","unstructured":"Puppet Labs: Marionette Collective. http:\/\/docs.puppetlabs.com\/mcollective\/ (2013). Accessed June 2013"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Schmitt, A., Stefani, J.-B.: The kell calculus: a family of higher-order distributed process calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146\u2013178. Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-31794-4_9"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Seinturier, L., Merle, P., Fournier, D., Dolet, N., Schiavoni, V., Stefani, J.-B.: Reconfigurable SCA Applications with the FraSCAti Platform. In: IEEE SCC, pp. 268\u2013275. IEEE (2009)","DOI":"10.1109\/SCC.2009.27"},{"key":"16_CR24","unstructured":"VMWare: Cloud Foundry, deploy & scale your applications in seconds. http:\/\/www.cloudfoundry.com\/ (2013). Accessed June 2013"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07602-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T03:07:06Z","timestamp":1676862426000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07602-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319076010","9783319076027"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07602-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"13 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}