{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:53:03Z","timestamp":1740099183020,"version":"3.37.3"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030029272"},{"type":"electronic","value":"9783030029289"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","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":[[2018]]},"DOI":"10.1007\/978-3-030-02928-9_5","type":"book-chapter","created":{"date-parts":[[2018,11,12]],"date-time":"2018-11-12T08:01:38Z","timestamp":1542009698000},"page":"143-175","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Software Is Not Soft"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7970-1384","authenticated-orcid":false,"given":"Xiaoxing","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianxiao","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,11,13]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Olsson, H.H., Alahyari, H., Bosch, J.: Climbing the \u201cstairway to heaven\u201d - a multiple-case study exploring barriers in the transition from agile development towards continuous deployment of software. In: Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2012), pp. 392\u2013399, September 2012","key":"5_CR1","DOI":"10.1109\/SEAA.2012.54"},{"unstructured":"Fabry, R.S.: How to design a system in which modules can be changed on the fly. In: Proceedings of the 2nd International Conference on Software Engineering, pp. 470\u2013476 (1976)","key":"5_CR2"},{"issue":"11","key":"5_CR3","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/32.60317","volume":"16","author":"J Kramer","year":"1990","unstructured":"Kramer, J., Magee, J.: The evolving philosophers problem: dynamic change management. IEEE Trans. Softw. Eng. 16(11), 1293\u20131306 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"5_CR4","doi-asserted-by":"publisher","first-page":"1049","DOI":"10.1145\/1108970.1108971","volume":"27","author":"M Hicks","year":"2005","unstructured":"Hicks, M., Nettles, S.: Dynamic software updating. ACM Trans. Program. Lang. Syst. 27(6), 1049\u20131096 (2005)","journal-title":"ACM Trans. Program. Lang. Syst."},{"doi-asserted-by":"crossref","unstructured":"Bennett, K.H., Rajlich, V.T.: Software maintenance and evolution: a roadmap. In: Proceedings of the Conference on the Future of Software Engineering. ICSE 2000, pp. 73\u201387. ACM, New York (2000)","key":"5_CR5","DOI":"10.1145\/336512.336534"},{"doi-asserted-by":"crossref","unstructured":"Rajlich, V.: Software evolution and maintenance. In: Proceedings of the on Future of Software Engineering. FOSE 2014, pp. 133\u2013144. ACM, New York (2014)","key":"5_CR6","DOI":"10.1145\/2593882.2593893"},{"issue":"5","key":"5_CR7","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1145\/363095.363139","volume":"11","author":"RC Daley","year":"1968","unstructured":"Daley, R.C., Dennis, J.B.: Virtual memory, processes, and sharing in MULTICS. Commun. ACM 11(5), 306\u2013312 (1968)","journal-title":"Commun. ACM"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/11785477_26","volume-title":"Object-Oriented Programming","author":"S Ajmani","year":"2006","unstructured":"Ajmani, S., Liskov, B., Shrira, L.: Modular software upgrades for distributed systems. In: Thomas, D. (ed.) ECOOP 2006, vol. 4067, pp. 452\u2013476. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11785477_26"},{"issue":"12","key":"5_CR9","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1109\/TSE.2007.70733","volume":"33","author":"Y Vandewoude","year":"2007","unstructured":"Vandewoude, Y., Ebraert, P., Berbers, Y., D\u2019Hondt, T.: Tranquility: a low disruptive alternative to quiescence for ensuring safe dynamic updates. IEEE Trans. Softw. Eng. 33(12), 856\u2013868 (2007)","journal-title":"IEEE Trans. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Ma, X., Baresi, L., Ghezzi, C., Panzica La Manna, V., Lu, J.: Version-consistent dynamic reconfiguration of component-based distributed systems. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering. ESEC\/FSE 2011, pp. 245\u2013255. ACM, New York (2011)","key":"5_CR10","DOI":"10.1145\/2025113.2025148"},{"doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Greenyer, J., La Manna, V.P.: Synthesizing dynamically updating controllers from changes in scenario-based specifications. In: Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. SEAMS 2012, pp. 145\u2013154. IEEE Press, Piscataway (2012)","key":"5_CR11","DOI":"10.1109\/SEAMS.2012.6224401"},{"doi-asserted-by":"crossref","unstructured":"Nahabedian, L., et al.: Assured and correct dynamic update of controllers. In: Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. SEAMS 2016, pp. 96\u2013107. ACM, New York(2016)","key":"5_CR12","DOI":"10.1145\/2897053.2897056"},{"doi-asserted-by":"crossref","unstructured":"Neamtiu, I., Hicks, M.: Safe and timely updates to multi-threaded programs. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 13\u201324 (2009)","key":"5_CR13","DOI":"10.1145\/1542476.1542479"},{"doi-asserted-by":"crossref","unstructured":"Subramanian, S., Hicks, M., McKinley, K.S.: Dynamic software updates: a VM-centric approach. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 1\u201312 (2009)","key":"5_CR14","DOI":"10.1145\/1542476.1542478"},{"doi-asserted-by":"crossref","unstructured":"Hayden, C.M., Smith, E.K., Denchev, M., Hicks, M., Foster, J.S.: Kitsune: efficient, general-purpose dynamic software updating for C. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, pp. 249\u2013264 (2012)","key":"5_CR15","DOI":"10.1145\/2384616.2384635"},{"issue":"5","key":"5_CR16","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1016\/j.scico.2011.06.005","volume":"78","author":"T W\u00fcrthinger","year":"2013","unstructured":"W\u00fcrthinger, T., Wimmer, C., Stadler, L.: Unrestricted and safe dynamic code evolution for Java. Sci. Comput. Program. 78(5), 481\u2013498 (2013)","journal-title":"Sci. Comput. Program."},{"doi-asserted-by":"crossref","unstructured":"Pina, L., Veiga, L., Hicks, M.: Rubah: DSU for Java on a stock JVM. In: Proceedings of the 2014 International Conference on Object Oriented Programming Systems Languages Applications, pp. 103\u2013119 (2014)","key":"5_CR17","DOI":"10.1145\/2660193.2660220"},{"issue":"9","key":"5_CR18","doi-asserted-by":"publisher","first-page":"1086","DOI":"10.1016\/j.infsof.2014.04.003","volume":"56","author":"T Gu","year":"2014","unstructured":"Gu, T., et al.: Low-disruptive dynamic updating of Java applications. Inf. Softw. Technol. 56(9), 1086\u20131098 (2014). Special Sections from \u201cAsia-Pacific Software Engineering Conference (APSEC), 2012\u201d and \u201cSoftware Product Line conference (SPLC), 2012\u201d","journal-title":"Inf. Softw. Technol."},{"unstructured":"Baumann, A., et al.: Providing dynamic update in an operating system. In: ATEC 2005: Proceedings of the Annual Conference on USENIX Annual Technical Conference, p. 32. USENIX Association, Berkeley (2005)","key":"5_CR19"},{"doi-asserted-by":"crossref","unstructured":"Arnold, J., Kaashoek, M.F.: Ksplice: automatic rebootless kernel updates. In: Proceedings of the 4th ACM European Conference on Computer Systems. EuroSys 2009, pp. 187\u2013198. ACM, New York (2009)","key":"5_CR20","DOI":"10.1145\/1519065.1519085"},{"unstructured":"Makris, K., Bazzi, R.A.: Immediate multi-threaded dynamic software updates using stack reconstruction. In: Proceedings of the 2009 Conference on USENIX Annual Technical Conference. USENIX 2009, p. 31. USENIX Association, Berkeley (2009)","key":"5_CR21"},{"unstructured":"Kashyap, S., Min, C., Lee, B., Kim, T., Emelyanov, P.: Instant OS updates via userspace checkpoint-and-restart. In: USENIX Annual Technical Conference (USENIX ATC 16), Denver, CO, pp. 605\u2013619. USENIX Association (2016)","key":"5_CR22"},{"unstructured":"Fowler, M.: Blue-green deployment, March 2010. https:\/\/martinfowler.com\/bliki\/BlueGreenDeployment.html . Accessed 1 Feb 2018","key":"5_CR23"},{"doi-asserted-by":"crossref","unstructured":"Gu, T., Sun, C., Ma, X., L\u00fc, J., Su, Z.: Automatic runtime recovery via error handler synthesis. In: Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering. ASE 2016, pp. 684\u2013695. ACM, New York (2016)","key":"5_CR24","DOI":"10.1145\/2970276.2970360"},{"doi-asserted-by":"crossref","unstructured":"Gu, T., Zhao, Z., Ma, X., Xu, C., Cao, C., L\u00fc, J.: Improving reliability of dynamic software updating using runtime recovery. In: 23rd Asia-Pacific Software Engineering Conference (APSEC 2016), pp. 257\u2013264, December 2016","key":"5_CR25","DOI":"10.1109\/APSEC.2016.044"},{"doi-asserted-by":"crossref","unstructured":"Gu, T., Ma, X., Xu, C., Jiang, Y., Cao, C., L\u00fc, J.: Synthesizing object transformation for dynamic software updating. In: Proceedings of the 39th International Conference on Software Engineering Companion. ICSE-C 2017, pp. 336\u2013338. IEEE Press, Piscataway (2017)","key":"5_CR26","DOI":"10.1109\/ICSE-C.2017.96"},{"doi-asserted-by":"crossref","unstructured":"Su, P., Cao, C., Ma, X., L\u00fc, J.: Automated management of dynamic component dependency for runtime system reconfiguration. In: Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC 2013) (2013)","key":"5_CR27","DOI":"10.1109\/APSEC.2013.66"},{"issue":"4","key":"5_CR28","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1109\/TSE.2016.2592913","volume":"43","author":"L Baresi","year":"2017","unstructured":"Baresi, L., Ghezzi, C., Ma, X., Panzica La Manna, V.: Efficient dynamic updates of distributed components through version consistency. IEEE Trans. Softw. Eng. 43(4), 340\u2013358 (2017)","journal-title":"IEEE Trans. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Song, W., Ma, X., Hu, H., Zou, Y., Zhang, G.: Migration validity of WS-BPEL instances revisited. In: 2013 IEEE 16th International Conference on Computational Science and Engineering, pp. 1013\u20131020, December 2013","key":"5_CR29","DOI":"10.1109\/CSE.2013.148"},{"doi-asserted-by":"crossref","unstructured":"Song, W., Ma, X., Jacobsen, H.A.: Instance migration validity for dynamic evolution of data-aware processes. IEEE Trans. Softw. Eng. (2018, accepted, to appear)","key":"5_CR30","DOI":"10.1109\/TSE.2018.2802925"},{"issue":"2","key":"5_CR31","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/32.485222","volume":"22","author":"D Gupta","year":"1996","unstructured":"Gupta, D., Jalote, P., Barua, G.: A formal framework for on-line software version change. IEEE Trans. Softw. Eng. 22(2), 120\u2013131 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"unstructured":"Gu, T.: On dynamic updating of Java programs. Ph.D. thesis, Nanjing University, China (2017)","key":"5_CR32"},{"doi-asserted-by":"crossref","unstructured":"Magill, S., Hicks, M., Subramanian, S., McKinley, K.S.: Automating object transformations for dynamic software updating. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, pp. 265\u2013280 (2012)","key":"5_CR33","DOI":"10.1145\/2384616.2384636"},{"unstructured":"Buban, G., et al.: Patching of in-use functions on a running computer system, US Patent App. 10\/307,902, 3 June 2004","key":"5_CR34"},{"unstructured":"Open Source Software Project: kpatch: dynamic kernel patching. https:\/\/github.com\/dynup\/kpatch (2016). Accessed 07 July 2016","key":"5_CR35"},{"key":"5_CR36","doi-asserted-by":"publisher","DOI":"10.1002\/0471741442","volume-title":"Process-Aware Information Systems: Bridging People and Software Through Process Technology","author":"M Dumas","year":"2005","unstructured":"Dumas, M., van der Aalst, W.M., ter Hofstede, A.H.: Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley, New York (2005)"},{"issue":"1","key":"5_CR37","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.datak.2004.01.002","volume":"50","author":"S Rinderle","year":"2004","unstructured":"Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems: a survey. Data Knowl. Eng. 50(1), 9\u201334 (2004)","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"5_CR38","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W Aalst van der","year":"2002","unstructured":"van der Aalst, W., Basten, T.: Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci. 270(1), 125\u2013203 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"5_CR39","doi-asserted-by":"publisher","first-page":"13:1","DOI":"10.1145\/1346337.1346241","volume":"2","author":"SH Ryu","year":"2008","unstructured":"Ryu, S.H., Casati, F., Skogsrud, H., Benatallah, B., Saint-Paul, R.: Supporting the dynamic evolution of web service protocols in service-oriented architectures. ACM Trans. Web 2(2), 13:1\u201313:46 (2008)","journal-title":"ACM Trans. Web"},{"issue":"3","key":"5_CR40","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0169-023X(97)00033-5","volume":"24","author":"F Casati","year":"1998","unstructured":"Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. Data Knowl. Eng. 24(3), 211\u2013238 (1998)","journal-title":"Data Knowl. Eng."},{"issue":"4","key":"5_CR41","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W Aalst van der","year":"2005","unstructured":"van der Aalst, W., ter Hofstede, A.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"unstructured":"Alves, A., et al.: Web services business process execution language version 2.0. OASIS Standard, April 2007","key":"5_CR42"},{"key":"5_CR43","volume-title":"Activiti in action: executable business processes in BPMN 2.0","author":"T Rademakers","year":"2012","unstructured":"Rademakers, T.: Activiti in action: executable business processes in BPMN 2.0. Manning Publications Co., Greenwich (2012)"},{"issue":"1","key":"5_CR44","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TSC.2016.2536025","volume":"11","author":"W Song","year":"2018","unstructured":"Song, W., Jacobsen, H.A.: Static and dynamic process change. IEEE Trans. Serv. Comput. 11(1), 215\u2013231 (2018)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"5_CR45","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-87877-3_18","volume-title":"Conceptual Modeling - ER 2008","author":"S Rinderle-Ma","year":"2008","unstructured":"Rinderle-Ma, S., Reichert, M., Weber, B.: Relaxed compliance notions in adaptive process management systems. In: Li, Q., Spaccapietra, S., Yu, E., Oliv\u00e9, A. (eds.) ER 2008, vol. 5231, pp. 232\u2013247. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87877-3_18"},{"issue":"3","key":"5_CR46","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9(3), 319\u2013349 (1987)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"6","key":"5_CR47","doi-asserted-by":"publisher","first-page":"1340","DOI":"10.1109\/TSE.2011.101","volume":"38","author":"C Hayden","year":"2012","unstructured":"Hayden, C., Smith, E., Hardisty, E., Hicks, M., Foster, J.: Evaluating dynamic software update safety using systematic testing. IEEE Trans. Softw. Eng. 38(6), 1340\u20131354 (2012)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Engineering Trustworthy Software Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02928-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T14:09:33Z","timestamp":1572617373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02928-9_5"}},"subtitle":["Challenges and Approaches to Dynamic Software Update"],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030029272","9783030029289"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02928-9_5","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":"SETSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"School on Engineering Trustworthy Software Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chongqing","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":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setss2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.swu-rise.net.cn\/SETSS2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}