{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T00:52:38Z","timestamp":1648515158062},"reference-count":47,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100004963","name":"FP7","doi-asserted-by":"publisher","award":["610582"],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Logical and Algebraic Methods in Programming"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1016\/j.jlamp.2016.03.002","type":"journal-article","created":{"date-parts":[[2016,3,22]],"date-time":"2016-03-22T03:25:02Z","timestamp":1458617102000},"page":"349-390","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["Dynamic Rebinding for Concurrent Object Groups: Theory and practice"],"prefix":"10.1016","volume":"86","author":[{"given":"Mario","family":"Bravetti","sequence":"first","affiliation":[]},{"given":"Elena","family":"Giachino","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Lienhardt","sequence":"additional","affiliation":[]},{"given":"Peter Y.H.","family":"Wong","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"11","key":"10.1016\/j.jlamp.2016.03.002_br0010","doi-asserted-by":"crossref","DOI":"10.1109\/MDSO.2007.65","article-title":"Reengineering J2EE servers for automated management in distributed environments","volume":"8","author":"Abdellatif","year":"2007","journal-title":"IEEE Distrib. Syst. Online"},{"key":"10.1016\/j.jlamp.2016.03.002_br0020","series-title":"ECOOP 2006 \u2013 Object-Oriented Programming, Proceedings of the 20th European Conference","first-page":"452","article-title":"Modular software upgrades for distributed systems","author":"Ajmani","year":"2006"},{"key":"10.1016\/j.jlamp.2016.03.002_br0030","series-title":"ECOOP 2002 \u2013 Object-Oriented Programming","first-page":"334","article-title":"Architectural reasoning in archjava","volume":"vol. 2374","author":"Aldrich","year":"2002"},{"key":"10.1016\/j.jlamp.2016.03.002_br0040","series-title":"CDS","first-page":"35","article-title":"A dynamic reconfiguration service for CORBA","author":"Bidan","year":"1998"},{"key":"10.1016\/j.jlamp.2016.03.002_br0050","series-title":"Proc. 2nd Intl. Workshop on Unanticipated Software Evolution (USE)","article-title":"Formalizing dynamic software updating","author":"Bierman","year":"2003"},{"key":"10.1016\/j.jlamp.2016.03.002_br0060","series-title":"ECOOP 2008 \u2013 Object-Oriented Programming, Proceedings of the 22nd European Conference","first-page":"235","article-title":"UpgradeJ: incremental typechecking for class upgrades","author":"Bierman","year":"2008"},{"issue":"11\u201312","key":"10.1016\/j.jlamp.2016.03.002_br0070","article-title":"The fractal component model and its support in Java","volume":"36","author":"Bruneton","year":"2006","journal-title":"Softw. Pract. Exp."},{"key":"10.1016\/j.jlamp.2016.03.002_br0080","series-title":"A Theory of Distributed Objects \u2013 Asynchrony, Mobility, Groups, Components","author":"Caromel","year":"2005"},{"key":"10.1016\/j.jlamp.2016.03.002_br0090","series-title":"Proceedings of the Tenth International Conference on Aspect-oriented Software Development","first-page":"105","article-title":"Aspect-based dynamic software updating: a model and its empirical evaluation","author":"Cech Previtali","year":"2011"},{"key":"10.1016\/j.jlamp.2016.03.002_br0100","series-title":"Proceedings of the 2009 WRI World Congress on Software Engineering, vol. 03","first-page":"493","article-title":"Dynamic service update based on OSGI","author":"Chen","year":"2009"},{"key":"10.1016\/j.jlamp.2016.03.002_br0110","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","article-title":"Maude: specification and programming in rewriting logic","volume":"285","author":"Clavel","year":"2002","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.jlamp.2016.03.002_br0120","series-title":"Proceedings of the 2004 ACM Symposium on Applied Computing","first-page":"1297","article-title":"Re-classification and multi-threading: Ficklemt","author":"Damiani","year":"2004"},{"key":"10.1016\/j.jlamp.2016.03.002_br0130","series-title":"Proceedings of the 11th International Conference on Generative Programming and Component Engineering","first-page":"1","article-title":"A formal foundation for dynamic delta-oriented software product lines","author":"Damiani","year":"2012"},{"key":"10.1016\/j.jlamp.2016.03.002_br0140","series-title":"Proceedings of the 15th International Software Product Line Conference, vol. 2","first-page":"34:1","article-title":"Dynamic delta-oriented programming","author":"Damiani","year":"2011"},{"key":"10.1016\/j.jlamp.2016.03.002_br0150","series-title":"SEFM","first-page":"167","article-title":"A type system for components","author":"Dardha","year":"2013"},{"issue":"2","key":"10.1016\/j.jlamp.2016.03.002_br0160","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0164-1212(91)90096-O","article-title":"On dynamically updating a computer program: from concept to prototype","volume":"14","author":"Frieder","year":"1991","journal-title":"J. Syst. Softw."},{"key":"10.1016\/j.jlamp.2016.03.002_br0170","first-page":"1","article-title":"A framework for deadlock detection in core ABS","author":"Giachino","year":"2015","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.jlamp.2016.03.002_br0180","unstructured":"O.M. Group, CORBA Components \u2013 OMG document orbos\/99-02-01, 1999."},{"issue":"9","key":"10.1016\/j.jlamp.2016.03.002_br0190","doi-asserted-by":"crossref","first-page":"1086","DOI":"10.1016\/j.infsof.2014.04.003","article-title":"Low-disruptive dynamic updating of Java applications","volume":"56","author":"Gu","year":"2014","journal-title":"Inf. Softw. Technol."},{"issue":"2","key":"10.1016\/j.jlamp.2016.03.002_br0200","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1109\/32.485222","article-title":"A formal framework for on-line software version change","volume":"22","author":"Gupta","year":"1996","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.jlamp.2016.03.002_br0210","series-title":"ACM Conference on Object-Oriented Programming Systems, Languages, and Applications","first-page":"249","article-title":"Kitsune: efficient, general-purpose dynamic software updating for C","author":"Hayden","year":"2012"},{"key":"10.1016\/j.jlamp.2016.03.002_br0220","series-title":"ACM Workshop on Hot Topics in Software Upgrades","first-page":"179","article-title":"State transfer for clear and efficient runtime updates","author":"Hayden","year":"2011"},{"issue":"6","key":"10.1016\/j.jlamp.2016.03.002_br0230","doi-asserted-by":"crossref","first-page":"1049","DOI":"10.1145\/1108970.1108971","article-title":"Dynamic software updating","volume":"27","author":"Hicks","year":"2005","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/j.jlamp.2016.03.002_br0240","series-title":"ICDCS","first-page":"101","article-title":"Dynamic reconfiguration in distributed systems: adapting software modules for replacement","author":"Hofmeister","year":"1993"},{"key":"10.1016\/j.jlamp.2016.03.002_br0250","series-title":"Proc. 9th International Symposium on Formal Methods for Components and Objects","first-page":"142","article-title":"ABS: a core language for abstract behavioral specification","volume":"vol. 6957","author":"Johnsen","year":"2011"},{"key":"10.1016\/j.jlamp.2016.03.002_br0260","series-title":"FM","first-page":"596","article-title":"Dynamic classes: modular asynchronous evolution of distributed concurrent objects","volume":"vol. 5850","author":"Johnsen","year":"2009"},{"issue":"1","key":"10.1016\/j.jlamp.2016.03.002_br0270","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s10270-006-0011-2","article-title":"An asynchronous communication model for distributed concurrent objects","volume":"6","author":"Johnsen","year":"2007","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.jlamp.2016.03.002_br0280","series-title":"Proc. International Conference on Formal Verification of Object-Oriented Software","first-page":"46","article-title":"Validating timed models of deployment components with parametric concurrency","volume":"vol. 6528","author":"Johnsen","year":"2011"},{"issue":"1\u20132","key":"10.1016\/j.jlamp.2016.03.002_br0290","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","article-title":"Creol: a type-safe object-oriented model for distributed concurrent systems","volume":"365","author":"Johnsen","year":"2006","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.jlamp.2016.03.002_br0300","series-title":"ISoLA (1)","first-page":"64","article-title":"An object group-based component model","author":"Lienhardt","year":"2012"},{"key":"10.1016\/j.jlamp.2016.03.002_br0310","series-title":"GPCE'07: Proceedings of the 6th International Conference on Generative Programming and Component Engineering","first-page":"43","article-title":"Oz\/K: a kernel language for component-based open programming","author":"Lienhardt","year":"2007"},{"key":"10.1016\/j.jlamp.2016.03.002_br0320","series-title":"ACM Conference on Object-Oriented Programming Systems, Languages, and Applications","first-page":"265","article-title":"Automating object transformations for dynamic software updating","author":"Magill","year":"2012"},{"key":"10.1016\/j.jlamp.2016.03.002_br0330","series-title":"Software adaptation through dynamic updating","author":"Miedes","year":"2012"},{"key":"10.1016\/j.jlamp.2016.03.002_br0340","series-title":"Proceedings of the 5th International Workshop on Feature-Oriented Software Development","first-page":"17","article-title":"Executable modelling of dynamic software product lines in the ABS language","author":"Muschevici","year":"2013"},{"key":"10.1016\/j.jlamp.2016.03.002_br0350","series-title":"Programming Languages Design and Implementation","first-page":"13","article-title":"Safe and timely updates to multi-threaded programs","author":"Neamtiu","year":"2009"},{"key":"10.1016\/j.jlamp.2016.03.002_br0360","series-title":"Proc. Intl. Conf. on Software Maintenance","first-page":"649","article-title":"A technique for dynamic updating of Java software","author":"Orso","year":"2002"},{"key":"10.1016\/j.jlamp.2016.03.002_br0380","unstructured":"OSGi Alliance, Osgi Service Platform, Release 3, 2003."},{"issue":"2","key":"10.1016\/j.jlamp.2016.03.002_br0410","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1002\/spe.2107","article-title":"Javadaptor-flexible runtime updates of Java applications","volume":"43","author":"Pukall","year":"2013","journal-title":"Softw. Pract. Exp."},{"issue":"1","key":"10.1016\/j.jlamp.2016.03.002_br0420","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/174625.174629","article-title":"The polylith software bus","volume":"16","author":"Purtilo","year":"1994","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/j.jlamp.2016.03.002_br0430","doi-asserted-by":"crossref","unstructured":"I. Schaefer, L. Bettini, V. Bono, F. Damiani, N. Tanzarella, Delta-oriented programming of software product lines, in: Proc. of 14th Software Product Line Conference, SPLC 2010, Sept. 2010.","DOI":"10.1007\/978-3-642-15579-6_6"},{"key":"10.1016\/j.jlamp.2016.03.002_br0440","series-title":"European Conference on Object-Oriented Programming","first-page":"275","article-title":"JCoBox: generalizing active objects to concurrent components","volume":"vol. 6183","author":"Sch\u00e4fer","year":"2010"},{"issue":"2","key":"10.1016\/j.jlamp.2016.03.002_br0450","doi-asserted-by":"crossref","first-page":"63","DOI":"10.2298\/CSIS0802063S","article-title":"Component J: a component-based programming language with dynamic reconfiguration","volume":"5","author":"Seco","year":"2008","journal-title":"Comput. Sci. Inf. Syst."},{"issue":"4","key":"10.1016\/j.jlamp.2016.03.002_br0460","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1145\/1255450.1255455","article-title":"Mutatis mutandis: safe and predictable dynamic software updating","volume":"29","author":"Stoyle","year":"2007","journal-title":"Trans. Program. Lang. Syst."},{"key":"10.1016\/j.jlamp.2016.03.002_br0470","series-title":"Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation","first-page":"1","article-title":"Dynamic software updates: a VM-centric approach","author":"Subramanian","year":"2009"},{"key":"10.1016\/j.jlamp.2016.03.002_br0480","series-title":"Component Software","author":"Szyperski","year":"2002"},{"issue":"5","key":"10.1016\/j.jlamp.2016.03.002_br0490","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1007\/s10009-012-0250-1","article-title":"The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems","volume":"14","author":"Wong","year":"2012","journal-title":"J. Softw. Tools Technol. Transf."},{"issue":"5","key":"10.1016\/j.jlamp.2016.03.002_br0500","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1016\/j.scico.2011.06.005","article-title":"Unrestricted and safe dynamic code evolution for Java","volume":"78","author":"W\u00fcrthinger","year":"2013","journal-title":"Sci. Comput. Program."}],"container-title":["Journal of Logical and Algebraic Methods in Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352220816300189?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352220816300189?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T02:53:21Z","timestamp":1609469601000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2352220816300189"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["S2352220816300189"],"URL":"https:\/\/doi.org\/10.1016\/j.jlamp.2016.03.002","relation":{},"ISSN":["2352-2208"],"issn-type":[{"value":"2352-2208","type":"print"}],"subject":[],"published":{"date-parts":[[2017,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Dynamic Rebinding for Concurrent Object Groups: Theory and practice","name":"articletitle","label":"Article Title"},{"value":"Journal of Logical and Algebraic Methods in Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jlamp.2016.03.002","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2016 Elsevier Inc.","name":"copyright","label":"Copyright"}]}}
