{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:19Z","timestamp":1772163919860,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,1]],"date-time":"2005-09-01T00:00:00Z","timestamp":1125532800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9]]},"DOI":"10.1145\/1081706.1081720","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"80-89","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Towards a unified formal model for supporting mechanisms of dynamic component update"],"prefix":"10.1145","author":[{"given":"Junrong","family":"Shen","sequence":"first","affiliation":[{"name":"Peking University, Beijing, P.R. China"}]},{"given":"Xi","family":"Sun","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, P.R. China"}]},{"given":"Gang","family":"Huang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, P.R. China"}]},{"given":"Wenpin","family":"Jiao","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, P.R. China"}]},{"given":"Yanchun","family":"Sun","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, P.R. China"}]},{"given":"Hong","family":"Mei","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, P.R. China"}]}],"member":"320","published-online":{"date-parts":[[2005,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/648329.755268"},{"key":"e_1_3_2_1_3_1","first-page":"14","volume-title":"Proceedings of the Workshop on Engineering Complex Object-Oriented Systems for Evolution","author":"Dmitriev M.","year":"2001","unstructured":"M. Dmitriev . Towards flexible and safe technology for runtime evolution of java language applications . In Proceedings of the Workshop on Engineering Complex Object-Oriented Systems for Evolution , pages 14 -- 18 , October 2001 .]] M. Dmitriev. Towards flexible and safe technology for runtime evolution of java language applications. In Proceedings of the Workshop on Engineering Complex Object-Oriented Systems for Evolution, pages 14--18, October 2001.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/507546.507645"},{"key":"e_1_3_2_1_5_1","volume-title":"Version 1.1","author":"Foster I.","year":"2004","unstructured":"I. Foster , J. Frey , S. Graham , Modeling Stateful Resources with Web Services , Version 1.1 , 2004 .]] I. Foster, J. Frey, S. Graham, et al. Modeling Stateful Resources with Web Services, Version 1.1, 2004.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/INM.2001.918011"},{"key":"e_1_3_2_1_7_1","unstructured":"Formal Systems. FDR2 Homepage. http:\/\/www.fsel.com\/software.html.]]  Formal Systems. FDR2 Homepage. http:\/\/www.fsel.com\/software.html.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/648033.744223"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-35828-5_9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.485222"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/638750.638780"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-006-7738-4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/525587.851336"},{"key":"e_1_3_2_1_15_1","volume-title":"Communicating Sequential Processes","author":"Hoare C.","year":"1985","unstructured":"C. Hoare . Communicating Sequential Processes . Prentice-Hall International , Englewood Cliffs , New Jersey, 1985 .]] C. Hoare. Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs, New Jersey, 1985.]]"},{"key":"e_1_3_2_1_16_1","first-page":"274","volume-title":"Proceedings of International Conference on Software Maintenance","author":"Janssens N.","year":"2004","unstructured":"N. Janssens , S. Michiels , T. Holvoet , and P. Verbaeten . A modular approach enforcing safe reconfiguration of producer-consumer applications . In Proceedings of International Conference on Software Maintenance , pages 274 -- 283 , October 2004 .]] N. Janssens, S. Michiels, T. Holvoet, and P. Verbaeten. A modular approach enforcing safe reconfiguration of producer-consumer applications. In Proceedings of International Conference on Software Maintenance, pages 274--283, October 2004.]]"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of Second International Workshop on Unanticipated Software Evolution (USE)","author":"Janssens N.","year":"2003","unstructured":"N. Janssens , S. Michiels , T. Mahieu , and P. Verbaeten . Towards transparent hot-swapping support for producer-consumer components . In Proceedings of Second International Workshop on Unanticipated Software Evolution (USE) , 2003 .]] N. Janssens, S. Michiels, T. Mahieu, and P. Verbaeten. Towards transparent hot-swapping support for producer-consumer components. In Proceedings of Second International Workshop on Unanticipated Software Evolution (USE), 2003.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.60317"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/253769.253782"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20000922"},{"key":"e_1_3_2_1_22_1","first-page":"271","volume-title":"Proceeding of The International Conference on Dependable Systems and Networks(DSN)","author":"Lyu J.","year":"2001","unstructured":"J. Lyu , Y. Kim , Y. Kim , and I. Lee . A procedure-based dynamic software update . In Proceeding of The International Conference on Dependable Systems and Networks(DSN) , pages 271 -- 284 , July 2001 .]] J. Lyu, Y. Kim, Y. Kim, and I. Lee. A procedure-based dynamic software update. In Proceeding of The International Conference on Dependable Systems and Networks(DSN), pages 271--284, July 2001.]]"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/646157.679869"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194003001330"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337201"},{"key":"e_1_3_2_1_26_1","first-page":"163","volume-title":"10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS)","author":"Mei H.","year":"2004","unstructured":"H. Mei and G. Huang . PKUAS: An architecture-based reflective component operating platform . In 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS) , pages 163 -- 169 , May 2004 .]] H. Mei and G. Huang. PKUAS: An architecture-based reflective component operating platform. In 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS), pages 163--169, May 2004.]]"},{"key":"e_1_3_2_1_27_1","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"Shaw M.","year":"1996","unstructured":"M. Shaw and D. Garlan . Software Architecture: Perspectives on an Emerging Discipline . Prentice Hall , 1996 .]] M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566182"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/876882.879757"},{"key":"e_1_3_2_1_30_1","first-page":"02","article-title":"Architecture and Specification","volume":"0","author":"Object Management Group","year":"2002","unstructured":"Object Management Group , The Common Object Request Broker : Architecture and Specification , Version 3 . 0 , formal\/ 02 - 06 -01, 2002 .]] Object Management Group, The Common Object Request Broker: Architecture and Specification, Version 3.0, formal\/02-06-01, 2002.]]","journal-title":"Version 3"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/582972.792780"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/375212.375228"},{"key":"e_1_3_2_1_33_1","volume-title":"Concurrent and Real-time Systems: The CSP Approach","author":"Schneider S.","year":"2000","unstructured":"S. Schneider . Concurrent and Real-time Systems: The CSP Approach . John Wiley & Sons , 2000 .]] S. Schneider. Concurrent and Real-time Systems: The CSP Approach. John Wiley & Sons, 2000.]]"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.199735"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776862"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/850929.851923"},{"key":"e_1_3_2_1_37_1","unstructured":"Sun Microsystems. Enterprise Java Bean (EJB). http:\/\/java.sun.com\/products\/ejb.]]  Sun Microsystems. Enterprise Java Bean (EJB). http:\/\/java.sun.com\/products\/ejb.]]"},{"key":"e_1_3_2_1_38_1","unstructured":"Sun Microsystems. Java 2 Platform Enterprise Edition Specification. http:\/\/java.sun.com\/j2ee\/1.4\/index.jsp.]]  Sun Microsystems. Java 2 Platform Enterprise Edition Specification. http:\/\/java.sun.com\/j2ee\/1.4\/index.jsp.]]"},{"key":"e_1_3_2_1_39_1","unstructured":"Sun Microsystems. Java Document for Reflection. http:\/\/java.sun.com\/j2se\/1.3\/docs\/guide\/reflection\/.]]  Sun Microsystems. Java Document for Reflection. http:\/\/java.sun.com\/j2se\/1.3\/docs\/guide\/reflection\/.]]"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/876882.879754"},{"key":"e_1_3_2_1_41_1","first-page":"131","volume-title":"Proceedings of International Conference on Software Maintenance(ICSM)","author":"Wang Q.","year":"2002","unstructured":"Q. Wang , F. Chen , H. Mei , and F. Yang . An application server to support online evolution . In Proceedings of International Conference on Software Maintenance(ICSM) , pages 131 -- 140 , October 2002 .]] Q. Wang, F. Chen, H. Mei, and F. Yang. An application server to support online evolution. In Proceedings of International Conference on Software Maintenance(ICSM), pages 131--140, October 2002.]]"},{"key":"e_1_3_2_1_42_1","first-page":"178","volume-title":"Must-Know Business Continuity Strategies","author":"Yankee Group","year":"2002","unstructured":"Yankee Group . How much is an hour of downtime worth to you ? Must-Know Business Continuity Strategies , pages 178 -- 187 , July 2002 .]] Yankee Group. How much is an hour of downtime worth to you? Must-Know Business Continuity Strategies, pages 178--187, July 2002.]]"}],"event":{"name":"ESEC\/FSE05: Joint 10th European Software Engineering Conference 2005","location":"Lisbon Portugal","acronym":"ESEC\/FSE05","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081706.1081720","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1081706.1081720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:33Z","timestamp":1750248513000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081706.1081720"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9]]},"references-count":39,"alternative-id":["10.1145\/1081706.1081720","10.1145\/1081706"],"URL":"https:\/\/doi.org\/10.1145\/1081706.1081720","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1095430.1081720","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,9]]},"assertion":[{"value":"2005-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}