{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:16:29Z","timestamp":1743016589418,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319466125"},{"type":"electronic","value":"9783319466132"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46613-2_10","type":"book-chapter","created":{"date-parts":[[2016,9,12]],"date-time":"2016-09-12T13:31:35Z","timestamp":1473687095000},"page":"148-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Model Driven Upgrade Campaign Generation for Highly Available Systems"],"prefix":"10.1007","author":[{"given":"Oussama","family":"Jebbar","sequence":"first","affiliation":[]},{"given":"Margarete","family":"Sackmann","sequence":"additional","affiliation":[]},{"given":"Ferhat","family":"Khendek","sequence":"additional","affiliation":[]},{"given":"Maria","family":"Toeroe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,13]]},"reference":[{"key":"10_CR1","unstructured":"SAForum. http:\/\/www.saforum.org"},{"key":"10_CR2","unstructured":"SAForum: Application Interface Specification, Availability Management Framework specification: SAI-AIS-AMF-B.04.01.AL"},{"key":"10_CR3","unstructured":"SAForum: Application Interface Specification, Software Management Framework specification: SAI-AIS-SMF-A.01.02.AL"},{"key":"10_CR4","unstructured":"SAForum: Application Interface Specification, Information Model Management specification: SAI-AIS-IMM-A.03.01.AL"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Davoudian, A., Khendek, F., Toeroe, M.: Ordering upgrade changes for highly available component based systems. In: The Proceedings of IEEE HASE 2014, Florida, January 2014","DOI":"10.1109\/HASE.2014.48"},{"key":"10_CR6","unstructured":"Mishra, A.: Automated AMF configuration difference generation. M.A.Sc. thesis, Electrical and Computer Engineering, Concordia University (2011)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Xuejun, C.: Dependence management for dynamic reconfiguration of component-based distributed systems. In: The Proceedings of 17th IEEE International Conference on Automated Software Engineering, pp. 279\u2013284. IEEE Computer Society (2002)","DOI":"10.1109\/ASE.2002.1115030"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Matevska, J., Hasselbring, W.: A scenario-based approach to increasing service availability at runtime reconfiguration of component-based systems. In: The Proceedings of 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007), pp. 137\u2013148. IEEE, August 2007","DOI":"10.1109\/EUROMICRO.2007.10"},{"key":"10_CR9","unstructured":"Yu, L., Shoja, G., Muller, H., Srinivasan, A.: A framework for live software upgrade. In: The Proceedings of the 13th ISSRE, pp. 149\u2013158. IEEE Computer Society (2002)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-30225-4_13","volume-title":"Service Availability","author":"A Wolski","year":"2005","unstructured":"Wolski, A., Laiho, K.: Rolling upgrades for continuous services. In: Malek, M., Reitenspiess, M., Kaiser, J. (eds.) ISAS 2004. LNCS, vol. 3335, pp. 175\u2013189. Springer, Heidelberg (2005)"},{"issue":"1","key":"10_CR11","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/4434.824310","volume":"8","author":"F Kon","year":"2000","unstructured":"Kon, F., Campbell, R.: Dependence management in component-based distributed systems. IEEE Concurrency 8(1), 26\u201336 (2000)","journal-title":"IEEE Concurrency"},{"key":"10_CR12","unstructured":"Morin, B., Nain, G., Barais, O., J\u00e9z\u00e9quel, J.-M.: Leveraging models from design-time to runtime. A live demo. In: The Proceedings of the 4th Workshop of Models@runtime, MODELS (2009)"},{"issue":"1","key":"10_CR13","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/2490301.2451147","volume":"41","author":"C Giuffrida","year":"2013","unstructured":"Giuffrida, C., Kuijsten, A., Tanenbaum, A.S.: Safe and automatic live update for operating systems. ACM SIGARCH Comput. Architect. News 41(1), 279\u2013292 (2013)","journal-title":"ACM SIGARCH Comput. Architect. News"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Milazzo, M., Pappalardo, G., Tramontana, E., Ursino, G.: Handling run-time updates in distributed applications. In: The Proceedings of the ACM SAC 2005, New York, USA (2005)","DOI":"10.1145\/1066677.1066987"},{"key":"10_CR15","unstructured":"Almeida, J., Wegdam, M., van Sinderen, M., Nieuwenhuis, L.: Transparent dynamic reconfiguration for CORBA. In: The Proceedings of the 3rd International Symposium on Distributed Objects and Applications. IEEE Computer Society (2001)"},{"key":"10_CR16","unstructured":"Ajmani, S., Liskov, B., Shrira, L.: Scheduling and simulation: how to upgrade distributed systems. In: The Proceedings of the 9th Conference on Hot Topics in Operating Systems. USENIX, May 2003"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Chen, H., Yu, J., Chen, R., Zang, B., Yew, P.-C.: POLUS: A POwerful Live Updating System. In: Proceedings of ICSE 2007, pp. 271\u2013281. IEEE, May 2007","DOI":"10.1109\/ICSE.2007.65"},{"key":"10_CR18","unstructured":"Miedes, E., Munoz-Escoi, F.D.: A survey about dynamic software updating. Instituto Universitario Mixto Tecnologico de Informatica, Universitat Politecnica de Valencia, Technical report (2012)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Di Ruscio, D., Pierantonio, A., Paige, R.F.: Different models for model matching: an analysis of approaches to support model differencing. In: The Proceedings of the ICSE Workshop on Comparison and Versioning of Software Models (CVSM 2009). IEEE Computer Society, Washington, DC (2009)","DOI":"10.1109\/CVSM.2009.5071714"},{"key":"10_CR20","unstructured":"EPSILON. http:\/\/www.eclipse.org\/epsilon"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","volume-title":"Theory and Practice of Model Transformations","author":"DS Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46\u201360. Springer, Heidelberg (2008)"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69100-6_1","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"LM Rose","year":"2008","unstructured":"Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.A.: The Epsilon Generation Language. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 1\u201316. Springer, Heidelberg (2008)"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11787044_11","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"DS Kolovos","year":"2006","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.: The Epsilon Object Language (EOL). In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 128\u2013142. Springer, Heidelberg (2006)"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-41533-3_3","volume-title":"Model-Driven Engineering Languages and Systems","author":"M Francis","year":"2013","unstructured":"Francis, M., Kolovos, D.S., Matragkas, N., Paige, R.F.: Adding spreadsheets to the MDE toolkit. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 35\u201351. Springer, Heidelberg (2013)"},{"key":"10_CR25","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice Hall, Upper Saddle River (1996)"},{"key":"10_CR26","unstructured":"Atlas Transformation Language. https:\/\/www.eclipse.org\/atl\/"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling. Technology-Specific Aspects of Models"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46613-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T09:33:16Z","timestamp":1718789596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46613-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319466125","9783319466132"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46613-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"13 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on System Analysis and Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Saint Malo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sam2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}