{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T11:53:42Z","timestamp":1782215622648,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540751311","type":"print"},{"value":"9783540751328","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75132-8_2","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T05:32:01Z","timestamp":1188538321000},"page":"2-10","source":"Crossref","is-referenced-by-count":8,"title":["An Active Architecture Approach to Dynamic Systems Co-evolution"],"prefix":"10.1007","author":[{"given":"Ron","family":"Morrison","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dharini","family":"Balasubramaniam","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Flavio","family":"Oquendo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Brian","family":"Warboys","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R. Mark","family":"Greenwood","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/1075405.1075409","volume-title":"WOSS 2004","author":"D. Balasubramaniam","year":"2004","unstructured":"Balasubramaniam, D., Morrison, R., Mickan, K., Kirby, G.N.C., Warboys, B.C., Robertson, I., Snowdon, R., Greenwood, R.M., Seet, W.: Support for feedback and change in self-adaptive systems. In: WOSS 2004. Proc. ACM SIGSOFT Workshop on Self-Managing Systems, Newport Beach, CA, USA, pp. 18\u201322. ACM Press, New York (2004)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Balasubramaniam, D., Morrison, R., Kirby, G.N.C., Mickan, K., Warboys, B.C., Robertson, I., Snowdon, B., Greenwood, R.M., Seet, W.: A software architecture approach for structuring autonomic systems. In: DEAS 2005. Proc. ICSE Workshop on the Design and Evolution of Autonomic Application Software, St Louis, MO, USA, pp. 59\u201365 (2005)","DOI":"10.1145\/1083063.1083077"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Chaudet, C., Greenwood, M., Oquendo, F., Warboys, B.: Architecture-Driven Software Engineering: Specifying, Generating, and Evolving Component-Based Software Systems. IEE Journal: Software Engineering\u00a0147(6) (December 2000)","DOI":"10.1049\/ip-sen:20000916"},{"key":"2_CR5","volume-title":"ASE 2000","author":"C. Chaudet","year":"2000","unstructured":"Chaudet, C., Oquendo, F.: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems. In: ASE 2000. Proceedings of the 15th IEEE International Conference on Automated Software Engineering, Grenoble, September 2000, IEEE Computer Society, Los Alamitos (2000)"},{"key":"2_CR6","unstructured":"Davies, J., Woodcock, J.: Using Z: Specification, Refinement and Proof. Prentice Hall International Series in Computer Science (1996)"},{"key":"2_CR7","volume-title":"Modelling Systems: Practical Tools and Techniques for Software Development","author":"J. Fitzgerald","year":"1998","unstructured":"Fitzgerald, J., Larsen, P.: Modelling Systems: Practical Tools and Techniques for Software Development. Cambridge University Press, Cambridge (1998)"},{"issue":"10","key":"2_CR8","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MC.2004.175","volume":"37","author":"D. Garlan","year":"2004","unstructured":"Garlan, D., Cheng, S.W., Huang, A.C., Schmerl, B., Steenkiste, P.: Rainbow: Architecture-based self-adaptation with reusable infrastructure. IEEE Computer\u00a037(10), 46\u201354 (2004)","journal-title":"IEEE Computer"},{"key":"2_CR9","first-page":"131","volume-title":"ICSM 2000","author":"M.W. Godfrey","year":"2000","unstructured":"Godfrey, M.W., Tu, Q.: Evolution in Open Source Software: A Case Study. In: ICSM 2000. Proceedings of the International Conference on Software Maintenance, Washington, DC, October 11 - 14, 2000, pp. 131\u2013142. IEEE Computer Society, Los Alamitos (2000)"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/ICSE.1991.130620","volume-title":"Proc. 13th International Conference on Software Engineering","author":"M.M. Gorlick","year":"1991","unstructured":"Gorlick, M.M., Razouk, R.R.: Using Weaves for Software Construction and Analysis. In: Proc. 13th International Conference on Software Engineering, Austin, Texas, United States, pp. 23\u201334. IEEE Computer Society Press, Los Alamitos (1991)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Software Process Technology","author":"M. Greenwood","year":"2003","unstructured":"Greenwood, M., Balasubramaniam, D., Cimpan, S., Kirby, N.C., Mickan, K., Morrison, R., Oquendo, F., Robertson, I., Seet, W., Snowdon, R., Warboys, B., Zirintsis, E.: Process Support for Evolving Active Architectures. In: Oquendo, F. (ed.) EWSPT 2003. LNCS, vol.\u00a02786, Springer, Heidelberg (2003)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/11767954_7","volume-title":"Coordination Models and Languages","author":"L.P.J. Groenewegen","year":"2006","unstructured":"Groenewegen, L.P.J., de Vink, E.P.: Evolution-On-The-Fly with Paradigm. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 97\u2013122. Springer, Heidelberg (2006)"},{"key":"2_CR13","unstructured":"IEEE Std 1471-2000: IEEE Recommended Practice for Architectural Description of Software-Intensive Systems (October 2000)"},{"key":"2_CR14","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/978-1-4471-3209-7_6","volume-title":"Persistent Object Systems, 1992","author":"G.N.C. Kirby","year":"1993","unstructured":"Kirby, G.N.C., Connor, R.C.H., Cutts, Q.I., Dearle, A., Farkas, A.M., Morrison, R.: Persistent hyper-programs. In: Albano, A., Morrison, R. (eds.) Persistent Object Systems, 1992. Proc. 5th International Conference on Persistent Object Systems, Italy, pp. 86\u2013106. Springer, Heidelberg (1993)"},{"issue":"11","key":"2_CR15","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. on Software Engineering\u00a016(11), 1293\u20131306 (1990)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"2_CR16","first-page":"91","volume-title":"CDS 1998","author":"J. Kramer","year":"1998","unstructured":"Kramer, J., Magee, J.: Analysing Dynamic Change in Software Architectures: A Case Study. In: CDS 1998. Proc. IEEE 4th Int. Conference on Configurable Distributed Systems, Annapolis, USA, May 1998, pp. 91\u2013100. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/BFb0017737","volume-title":"Software Process Technology","author":"M.M. Lehman","year":"1996","unstructured":"Lehman, M.M.: Laws of software evolution revisited. In: Montangero, C. (ed.) EWSPT 1996. LNCS, vol.\u00a01149, pp. 108\u2013124. Springer, Heidelberg (1996)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Mateescu, R., Oquendo, F.: pi-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioural Properties of Software Architectures. ACM Software Engineering Notes\u00a031(2) (March 2006)","DOI":"10.1145\/1118537.1118541"},{"key":"2_CR19","unstructured":"Mickan, K.: A Meta-Programming Framework for Software Evolution. Ph.D. Thesis, University of St Andrews (2006)"},{"key":"2_CR20","volume-title":"Communicating and Mobile Systems: The Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"2_CR21","unstructured":"Milner, R.: Computing in space. In: 17th International Congress on Computer Assisted Radiology and Surgery (CARS 2003) (2003), http:\/\/www.cl.cam.ac.uk\/users\/rm135\/"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/(SICI)1097-024X(20000410)30:4<363::AID-SPE303>3.0.CO;2-P","volume":"30","author":"R. Morrison","year":"2000","unstructured":"Morrison, R., Balasubramaniam, D., Greenwood, R.M., Kirby, G.N.C., Mayes, K., Munro, D., Warboys, B.C.: A Compliant Persistent Architecture. Software, Practice & Experience\u00a030, 1\u201324 (2000)","journal-title":"Software, Practice & Experience"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Morrison, R., Kirby, G.N.C., Balasubramaniam, D., Mickan, K., Oquendo, F., C\\v{i}mpan, S., Warboys, B.C., Snowdon, B., Greenwood, R.M.: Support for evolving software architectures in the ArchWare ADL. In: WICSA 4. Proc. 4th Working IEEE\/IFIP Conference on Software Architecture, Oslo, Norway, pp. 69\u201378 (2004)","DOI":"10.1109\/WICSA.2004.1310691"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Morrison, R., Balasubramaniam, D., Kirby, G.N.C., Warboys, B.C., Greenwood, R.M.: A Framework for Supporting Dynamic Systems Co-evolution. Journal of Automated Software Engineering (accepted for publication, 2007)","DOI":"10.1007\/s10515-007-0011-7"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1109\/ICSE.1998.671114","volume-title":"Proc. 20th International Conference on Software Engineering","author":"P. Oreizy","year":"1998","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-Based Runtime Software Evolution. In: Proc. 20th International Conference on Software Engineering, Kyoto, Japan, pp. 177\u2013186. IEEE Computer Society, Los Alamitos (1998)"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b97879","volume-title":"Software Architecture","author":"F. Oquendo","year":"2004","unstructured":"Oquendo, F., Warboys, B., Morrison, R., Dindeleux, R., Gallo, F., Garavel, H., Occhipinti, C.: ArchWare: Architecting Evolvable Software. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol.\u00a03047, Springer, Heidelberg (2004)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Oquendo, F.: \u03c0-ADL: an architecture description language based on the higher-order typed \u03c0-calculus for specifying dynamic and mobile software architectures. ACM Software Engineering Notes\u00a029(3) (2004)","DOI":"10.1145\/986710.986728"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Oquendo, F.: pi-ARL: An Architecture Refinement Language for Formally Modelling the Stepwise Refinement of Software Architectures. ACM Software Engineering Notes\u00a029(5) (September 2004)","DOI":"10.1145\/1022494.1022517"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1145\/568760.568804","volume-title":"SEKE 2002","author":"B. Schmerl","year":"2002","unstructured":"Schmerl, B., Garlan, D.: Exploiting architectural design knowledge to support self-repairing systems. In: SEKE 2002. Proceedings of the 14th international Conference on Software Engineering and Knowledge Engineering, Ischia, Italy, July 15-19, 2002, vol.\u00a027, pp. 241\u2013248. ACM Press, New York (2002)"},{"key":"2_CR30","first-page":"158","volume-title":"Fully Integrated Data Environments","author":"D. Stemple","year":"1999","unstructured":"Stemple, D., Fegaras, L., Stanton, R.B., Sheard, T., Philbrow, P., Cooper, R.L., Atkinson, M.P., Morrison, R., Kirby, G.N.C., Connor, R.C.H., Alagic, S.: Type-safe linguistic reflection: a generator technology. In: Atkinson, M.P., Welland, R. (eds.) Fully Integrated Data Environments, pp. 158\u2013188. Springer, Heidelberg (1999)"},{"key":"2_CR31","volume-title":"Specification and Development of Interactive Systems","author":"K. Stolen","year":"2001","unstructured":"Stolen, K., Broy, M.: Specification and Development of Interactive Systems. Springer, Heidelberg (2001)"},{"key":"2_CR32","volume-title":"Business Information Systems: A Process Approach","author":"B.C. Warboys","year":"1999","unstructured":"Warboys, B.C., Kawalek, P., Robertson, I., Greenwood, R.M.: Business Information Systems: A Process Approach. McGraw-Hill, New York (1999)"},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/3-540-48166-4_6","volume-title":"Software Engineering - ESEC\/FSE 1999","author":"B.C. Warboys","year":"1999","unstructured":"Warboys, B.C., Balasubramaniam, D., Greenwood, R.M., Kirby, G.N.C., Mayes, K., Morrison, R., Munro, D.S.: Collaboration and Composition: Issues for a Second Generation Process Language. In: Nierstrasz, O., Lemoine, M. (eds.) Software Engineering - ESEC\/FSE 1999. LNCS, vol.\u00a01687, pp. 75\u201391. Springer, Heidelberg (1999)"},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/11494713_3","volume-title":"Software Architecture","author":"B.C. Warboys","year":"2005","unstructured":"Warboys, B.C., Greenwood, R.M., Robertson, I., Morrison, R., Balasubramaniam, D., Kirby, G.N.C., Mickan, K.: The ArchWare Tower: The Implementation of an Active Software Engineering Environment using a \u03c0-calculus based Architecture Description Language. In: Morrison, R., Oquendo, F. (eds.) EWSA 2005. LNCS, vol.\u00a03527, pp. 30\u201340. Springer, Heidelberg (2005)"},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/1134285.1134337","volume-title":"ICSE 2006","author":"J. Zhang","year":"2006","unstructured":"Zhang, J., Cheng, B.H.: Model-based development of dynamically adaptive software. In: ICSE 2006. Proc. of the 28th international Conference on Software Engineering, Shanghai, China, May 20-28, 2006, pp. 371\u2013380. ACM Press, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75132-8_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T19:34:11Z","timestamp":1737401651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75132-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751311","9783540751328"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75132-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}