{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:24Z","timestamp":1762458504228},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346944"},{"type":"electronic","value":"9783540346951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767954_7","type":"book-chapter","created":{"date-parts":[[2006,6,10]],"date-time":"2006-06-10T15:48:13Z","timestamp":1149954493000},"page":"97-112","source":"Crossref","is-referenced-by-count":8,"title":["Evolution On-the-Fly with Paradigm"],"prefix":"10.1007","author":[{"given":"Luuk","family":"Groenewegen","sequence":"first","affiliation":[]},{"given":"Erik","family":"de Vink","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J.J. Alferes","year":"2000","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming\u00a045, 43\u201370 (2000)","journal-title":"Journal of Logic Programming"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, G.: A formal basis for architectural connection. ACM Transactions on Software Engineering Methodology\u00a06, 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1145\/568760.568847","volume-title":"Proc. SEKE 2002","author":"J.C. Augosto","year":"2002","unstructured":"Augosto, J.C., Gomez, R.S.: A temporal logic view of Paradigm models. In: Proc. SEKE 2002, Ischia, Italy, pp. 497\u2013503. ACM, New York (2002)"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.jss.2003.05.007","volume":"74","author":"A. Bracciali","year":"2005","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software\u00a074, 45\u201354 (2005)","journal-title":"Journal of Systems and Software"},{"key":"7_CR5","first-page":"28","volume-title":"[10]","author":"J. Bradbury","year":"2004","unstructured":"Bradbury, J., Cordy, J., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: [10], pp. 28\u201333. ACM Press, New York (2004)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11417019_5","volume-title":"Coordination Models and Languages","author":"A. Colman","year":"2005","unstructured":"Colman, A., Han, J.: Coordination systems in role-based adaptive software. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol.\u00a03454, pp. 63\u201378. Springer, Heidelberg (2005)"},{"key":"7_CR7","first-page":"34","volume-title":"[10]","author":"L. Desmet","year":"2004","unstructured":"Desmet, L., Janssens, N., Michiels, S., Piessens, F., Joonsen, W., Verbaeten, P.: Towards preserving coorectness in self-managed software systems. In: [10], pp. 34\u201338. ACM Press, New York (2004)"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"307","DOI":"10.7551\/mitpress\/1131.003.0020","volume-title":"Advances in Object-Oriented Data Modeling","author":"G. Engels","year":"2000","unstructured":"Engels, G., Groenewegen, L.P.J., Kappel, G.: Coordinated Collaboration of Objects. In: Papazoglou, M., Spaccapietra, S., Tari, Z. (eds.) Advances in Object-Oriented Data Modeling, pp. 307\u2013331. MIT Press, Cambridge (2000)"},{"volume-title":"Proceedings of the 1st Workshop on Self-Healing Systems","year":"2002","key":"7_CR9","unstructured":"Garlan, D., Kramer, J., Wolf, A. (eds.): Proceedings of the 1st Workshop on Self-Healing Systems, Charleston, South Carolina. ACM, New York (2002)"},{"volume-title":"Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managing Systems","year":"2004","key":"7_CR10","unstructured":"Garlan, D., Kramer, J., Wolf, A. (eds.): Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managing Systems, Newport Beach, CA. ACM, New York (2004)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/11417019_7","volume-title":"Coordination Models and Languages","author":"L. Groenewegen","year":"2005","unstructured":"Groenewegen, L., van Kampenhout, N., de Vink, E.: Delegation Modeling with Paradigm. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol.\u00a03454, pp. 94\u2013108. Springer, Heidelberg (2005)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-46000-4_20","volume-title":"Coordination Models and Languages","author":"L. Groenewegen","year":"2002","unstructured":"Groenewegen, L., de Vink, E.: Operational semantics for coordination in Paradigm. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 191\u2013206. Springer, Heidelberg (2002)"},{"key":"7_CR13","unstructured":"van Kampenhout, N.: Systematic Specification and Verification of Coordination: towards Patterns for Paradigm Models. Master\u2019s thesis, LIACS (2003)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.: Consistency Management of Object-Oriented Behavioral Models. PhD thesis, University of Paderborn (2004)","DOI":"10.1016\/j.entcs.2004.02.056"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-45102-1_17","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"S. Malabarba","year":"2000","unstructured":"Malabarba, S., Pandey, R., Gragg, J., Barr, E., Barnes, J.F.: Runtime support for type-safe dynamic Java classes. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, pp. 337\u2013361. Springer, Heidelberg (2000)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/978-3-540-27815-3_38","volume-title":"Algebraic Methodology and Software Technology","author":"S. Meng","year":"2004","unstructured":"Meng, S., Barbosa, L.S.: On refinement of generic state-based software components. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 506\u2013520. Springer, Heidelberg (2004)"},{"key":"7_CR17","unstructured":"Oriol, M.: An Approach to the Dynamic Evolution of Software Systems. PhD thesis, Department of Information Systems, University of Geneva (2004)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/11417019_17","volume-title":"Coordination Models and Languages","author":"M. Oriol","year":"2005","unstructured":"Oriol, M., Hicks, M.W.: Tagged sets: A secure and transparent coordination medium. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol.\u00a03454, pp. 252\u2013267. Springer, Heidelberg (2005)"},{"key":"7_CR19","unstructured":"Poizat, P.: Korrigan: un formalisme et une m\u00e9thode pour la sp\u00e9cification formelle et structur\u00e9e de syst\u00e8mes mixtes. PhD thesis, IRIN, University of Nantes (2000)"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/1040305.1040321","volume-title":"Proc. POPL 2005","author":"G. Stoyle","year":"2005","unstructured":"Stoyle, G., Hicks, M.W., Bierman, G.M., Sewell, P., Neamtiu, I.: Mutatis mutandis: safe and predictable dynamic software updating. In: Proc. POPL 2005, Long Beach, California, pp. 183\u2013194. ACM, New York (2005)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767954_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T20:01:40Z","timestamp":1707076900000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767954_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346944","9783540346951"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11767954_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}