{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T18:40:10Z","timestamp":1751827210076,"version":"3.41.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319998183"},{"type":"electronic","value":"9783319998190"}],"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-319-99819-0_2","type":"book-chapter","created":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T08:58:46Z","timestamp":1535619526000},"page":"17-32","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["True Concurrent Management of Multi-component Applications"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Canciani","sequence":"additional","affiliation":[]},{"given":"Jacopo","family":"Soldani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,31]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC\/FSE-9, pp. 109\u2013120. ACM (2001)","DOI":"10.1145\/503225.503226"},{"issue":"2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2739045","volume":"15","author":"Amal Alhosban","year":"2015","unstructured":"Alhosban, A., Hashmi, K., Malik, Z., Medjahed, B., Benbernou, S.: Bottom-up fault management in service-based systems. ACM Trans. Internet Technol. 15(2), 7:1\u20137:40 (2015)","journal-title":"ACM Transactions on Internet Technology"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3150227","volume":"51","author":"Alexander Bergmayr","year":"2018","unstructured":"Bergmayr, A., et al.: A systematic review of cloud modeling languages. ACM Comput. Surv. 51(1), 22:1\u201322:38 (2018)","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s10515-007-0008-2","volume":"14","author":"A Betin Can","year":"2007","unstructured":"Betin Can, A., Bultan, T., Lindvall, M., Lux, B., Topp, S.: Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. Autom. Softw. Eng. 14(2), 129\u2013178 (2007)","journal-title":"Autom. Softw. Eng."},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"527","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, pp. 527\u2013549. Springer, New York (2014). https:\/\/doi.org\/10.1007\/978-1-4614-7535-4_22"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-319-44482-6_14","volume-title":"Service-Oriented and Cloud Computing","author":"A Brogi","year":"2016","unstructured":"Brogi, A., Canciani, A., Soldani, J.: Fault-aware application management protocols. In: Aiello, M., Johnsen, E.B., Dustdar, S., Georgievski, I. (eds.) ESOCC 2016. LNCS, vol. 9846, pp. 219\u2013234. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-44482-6_14"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/j.jss.2018.02.005","volume":"139","author":"A Brogi","year":"2018","unstructured":"Brogi, A., Canciani, A., Soldani, J.: Fault-aware management protocols for multi-component applications. J. Syst. Softw. 139, 189\u2013210 (2018)","journal-title":"J. Syst. Softw."},{"issue":"11","key":"2_CR8","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MC.2004.219","volume":"37","author":"G Candea","year":"2004","unstructured":"Candea, G., Brown, A.B., Fox, A., Patterson, D.: Recovery-oriented computing: building multitier dependability. Computer 37(11), 60\u201367 (2004)","journal-title":"Computer"},{"key":"2_CR9","unstructured":"Cook, R.I.: How complex systems fail. Cognitive Technologies Laboratory, University of Chicago. Chicago IL (1998)"},{"issue":"3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(90)90095-Y","volume":"75","author":"P Degano","year":"1990","unstructured":"Degano, P., Nicola, R.D., Montanari, U.: A partial ordering semantics for CCS. Theoret. Comput. Sci. 75(3), 223\u2013262 (1990)","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Di Cosmo, R., Mauro, J., Zacchiroli, S., Zavattaro, G.: Aeolus. Inf. Comput. 239(C), 100\u2013121 (2014)","DOI":"10.1016\/j.ic.2014.11.002"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1016\/j.jss.2015.09.020","volume":"122","author":"Francisco Dur\u00e1n","year":"2016","unstructured":"Dur\u00e1n, F., Sala\u00fcn, G.: Robust and reliable reconfiguration of cloud applications. J. Syst. Softw. 122(C), 524\u2013537 (2016)","journal-title":"Journal of Systems and Software"},{"issue":"1","key":"2_CR13","first-page":"3","volume":"47","author":"Xavier Etchevers","year":"2016","unstructured":"Etchevers, X., Sala\u00fcn, G., Boyer, F., Coupaye, T., DePalma, N.: Reliable self-deployment of distributed cloud applications. Softw. Pract. Experience 47(1), 3\u201320 (2017)","journal-title":"Software: Practice and Experience"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Fischer, J., Majumdar, R., Esmaeilsabzali, S.: Engage: a deployment management system. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2012, pp. 263\u2013274. ACM (2012)","DOI":"10.1145\/2254064.2254096"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11424529_3","volume-title":"Component-Based Software Engineering","author":"L Grunske","year":"2005","unstructured":"Grunske, L., Kaiser, B., Papadopoulos, Y.: Model-driven safety evaluation with state-event-based component failure annotations. In: Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 33\u201348. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11424529_3"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Johnsen, E., Owe, O., Munthe-Kaas, E., Vain, J.: Incremental fault-tolerant design in an object-oriented setting. In: Proceedings of the Second Asia-Pacific Conference on Quality Software, APAQS, p. 223. IEEE Computer Society (2001)","DOI":"10.1109\/APAQS.2001.990023"},{"key":"2_CR17","unstructured":"Kaiser, B., Liggesmeyer, P., M\u00e4ckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software, SCS, vol. 33, pp. 37\u201346. Australian Computer Society, Inc. (2003)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1007\/978-3-642-45005-1_64","volume-title":"Service-Oriented Computing","author":"O Kopp","year":"2013","unstructured":"Kopp, O., Binz, T., Breitenb\u00fccher, U., Leymann, F.: Winery \u2013 a modeling tool for TOSCA-based cloud applications. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 700\u2013704. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45005-1_64"},{"key":"2_CR19","unstructured":"OMG: Business process model and notation (bpmn), version 2.0. https:\/\/www.omg.org\/spec\/BPMN\/2.0\/ (2011)"},{"issue":"3","key":"2_CR20","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TCC.2017.2702586","volume":"7","author":"Claus Pahl","year":"2019","unstructured":"Pahl, C., Brogi, A., Soldani, J., Jamshidi, P.: Cloud container technologies: a state-of-the-art review. IEEE Trans. Cloud Comput. (2017, in press) https:\/\/doi.org\/10.1109\/TCC.2017.2702586","journal-title":"IEEE Transactions on Cloud Computing"},{"issue":"2","key":"2_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3104028","volume":"18","author":"Claus Pahl","year":"2018","unstructured":"Pahl, C., Jamshidi, P., Zimmermann, O.: Architectural principles for cloud software. ACM Trans. Internet Technol. 18(2), 17:1\u201317:23 (2018)","journal-title":"ACM Transactions on Internet Technology"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-319-25942-0_18","volume-title":"Dependable Software Engineering: Theories, Tools, and Applications","author":"W Qiang","year":"2015","unstructured":"Qiang, W., Yan, L., Bliudze, S., Xiaoguang, M.: Automatic fault localization for BIP. In: Li, X., Liu, Z., Yi, W. (eds.) SETTA 2015. LNCS, vol. 9409, pp. 277\u2013283. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25942-0_18"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented and Cloud Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99819-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T18:01:26Z","timestamp":1751824886000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-99819-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319998183","9783319998190"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99819-0_2","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":"31 August 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESOCC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Service-Oriented and Cloud Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Como","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","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 September 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esocc2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/esocc2018.disco.unimib.it","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"}]}}