{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:03:18Z","timestamp":1725559398984},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642144110"},{"type":"electronic","value":"9783642144127"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14412-7_10","type":"book-chapter","created":{"date-parts":[[2010,7,17]],"date-time":"2010-07-17T04:13:53Z","timestamp":1279340033000},"page":"198-229","source":"Crossref","is-referenced-by-count":1,"title":["Modelling the Asynchronous Dynamic Evolution of Architectural Types"],"prefix":"10.1007","author":[{"given":"Crist\u00f3bal","family":"Costa-Soria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"AGG: Attributed Graph Grammar System Tool, http:\/\/user.cs.tu-berlin.de\/~gragra\/agg\/"},{"key":"10_CR2","unstructured":"Andersson, J., Comstedt, M., Ritzau, T.: Run-time support for dynamic Java architectures. In: ECOOP 1998 workshop on Object-Oriented Software Architectures (WOOSA 1998), Brussels (1998)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Andersson, J., De Lemos, R., Malek, S., Weyns, D.: Reflecting on Self-Adaptive Software Systems. In: ICSE workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2009), Vancouver, Canada (2009)","DOI":"10.1007\/978-3-642-02161-9_2"},{"issue":"5","key":"10_CR4","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MS.2003.1231149","volume":"20","author":"C. Atkinson","year":"2003","unstructured":"Atkinson, C., K\u00fchne, T.: Model-Driven Development: A Metamodeling Foundation. IEEE Software\u00a020(5), 36\u201341 (2003)","journal-title":"IEEE Software"},{"key":"10_CR5","unstructured":"Bencomo, N., Blair, G.S., Flores-Cort\u00e9s, C.A., Sawyer, P.: Reflective Component-based Technologies to Support Dynamic Variability. In: 2nd Int. Workshop on Variability Modelling of Software-Intensive Systems (VaMoS\u201908), Universit\u00e4t Duisburg-Essen, Germany (2008)"},{"key":"10_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28554-7","volume-title":"Model-Driven Software Development","author":"S. Beydeda","year":"2005","unstructured":"Beydeda, S., Book, M., Gruhn, V.: Model-Driven Software Development. Springer, Heidelberg (2005)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A Survey of Self-Management in Dynamic Software Architecture Specifications. In: Workshop on Self-Managed Systems (WOSS 2004), Newport Beach, CA (2004)","DOI":"10.1145\/1075405.1075411"},{"key":"10_CR8","series-title":"ENTCS","first-page":"39","volume-title":"Graph Transformations for Verification and Concurrency","author":"A. Bucchiarone","year":"2007","unstructured":"Bucchiarone, A., Melgratti, H., Gnesi, S., Bruni, R.: Modelling Dynamic Software Architectures using Typed Graph Grammars. In: Graph Transformations for Verification and Concurrency. ENTCS, vol.\u00a0213(1), pp. 39\u201353. Elsevier, Amsterdam (2007)"},{"issue":"13","key":"10_CR9","first-page":"2182","volume":"14","author":"J. C\u00e1mara","year":"2008","unstructured":"C\u00e1mara, J., Sala\u00fcn, G., Canal, C.: Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J. of Universal Computer Science\u00a014(13), 2182\u20132211 (2008)","journal-title":"J. of Universal Computer Science"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Canal, C., Pimentel, E., Troya, J.M.: Specification and Refinement of Dynamic Software Architectures. In: Working IFIP Conference on Software Architecture (WICSA 1999), San Antonio, Texas, USA (1999)","DOI":"10.1007\/978-0-387-35563-4_7"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-540-25930-5_5","volume-title":"Objects, Agents, and Features","author":"W. Cazzola","year":"2004","unstructured":"Cazzola, W., Ghoneim, A., Saake, G.: Software Evolution through Dynamic Adaptation of Its OO Design. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol.\u00a02975, pp. 67\u201380. Springer, Heidelberg (2004)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/11428589_11","volume-title":"Self-star Properties in Complex Information Systems","author":"S. Cheng","year":"2005","unstructured":"Cheng, S., Garlan, D., Schmerl, B.R.: Making Self-Adaptation an Engineering Reality. In: Babao\u011flu, \u00d6., Jelasity, M., Montresor, A., Fetzer, C., Leonardi, S., van Moorsel, A., van Steen, M. (eds.) SELF-STAR 2004. LNCS, vol.\u00a03460, pp. 158\u2013173. Springer, Heidelberg (2005)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Costa-Soria, C., Herv\u00e1s-Mu\u00f1oz, D., P\u00e9rez, J., Cars\u00ed, J.A.: A Reflective Approach for Supporting the Dynamic Evolution of Component Types. In: 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009). Potsdam, Germany (2009)","DOI":"10.1109\/ICECCS.2009.35"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Costa-Soria, C., P\u00e9rez, J., Cars\u00ed, J.A.: An Aspect-Oriented Approach for Supporting Autonomic Reconfiguration of Software Architectures. In: 2nd Workshop on Autonomic and SELF-adaptive Systems (WASELF 2009), San Sebasti\u00e1n, Spain (2009)","DOI":"10.1109\/CSMR.2009.33"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-24769-2_4","volume-title":"Software Architecture","author":"C.E. Cuesta","year":"2004","unstructured":"Cuesta, C.E., Romay, P., de la Fuente, P., Barrio-Sol\u00f3rzano, M.: Reflection-Based, Aspect-Oriented Software Architecture. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol.\u00a03047, pp. 43\u201356. Springer, Heidelberg (2004)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"De Lucia, A., Deufemia, V., Gravino, C., Risi, M.: Behavioral Pattern Identification through Visual Language Parsing and Code Instrumentation. In: 13th European Conference on Software Maintenance and Reengineering (CSMR 2009), Kaiserslautern, Germany (2009)","DOI":"10.1109\/CSMR.2009.29"},{"key":"10_CR17","volume-title":"Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series). Springer, Heidelberg (2006)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-45800-X_18","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"G. Engels","year":"2002","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.M., Groenewegen, L.: Consistency-Preserving Model Evolution through Transformations. In: J\u00e9z\u00e9quel, J.-M., Hu\u00dfmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 212\u2013227. Springer, Heidelberg (2002)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/3-540-45441-1_21","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"G. Engels","year":"2001","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.M.: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 272\u2013286. Springer, Heidelberg (2001)"},{"key":"10_CR20","unstructured":"Fabry, R.S.: How to design a system in which modules can be changed on the fly. In: 2nd International Conference on Software Engineering (ICSE 1976), San Francisco, California, USA (1976)"},{"key":"10_CR21","series-title":"ENTCS","first-page":"187","volume-title":"School on Foundations of Visual Modelling Techniques (FoVMT 2004)","author":"R. Heckel","year":"2006","unstructured":"Heckel, R.: Graph Transformation in a Nutshell. In: School on Foundations of Visual Modelling Techniques (FoVMT 2004). ENTCS, vol.\u00a0148(1), pp. 187\u2013198. Elsevier, Amsterdam (2006)"},{"key":"10_CR22","volume-title":"3rd Int. Software Architecture Workshop (ISAW-3)","author":"D. Hirsch","year":"1998","unstructured":"Hirsch, D., Inverardi, P., Montanari, U.: Graph grammars and constraint solving for software architecture styles. In: 3rd Int. Software Architecture Workshop (ISAW-3). ACM Press, New York (1998)"},{"issue":"1","key":"10_CR23","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing. IEEE Computer\u00a036(1), 41\u201351 (2003)","journal-title":"IEEE Computer"},{"key":"10_CR24","volume-title":"ICSE - Future of Software Engineering (FOSE 2007)","author":"J. Kramer","year":"2007","unstructured":"Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: ICSE - Future of Software Engineering (FOSE 2007). IEEE, Los Alamitos (2007)"},{"issue":"11","key":"10_CR25","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 Transactions on Software Engineering\u00a016(11), 1293\u20131306 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR26","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)"},{"issue":"7","key":"10_CR27","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/MC.2004.48","volume":"37","author":"P.K. McKinley","year":"2004","unstructured":"McKinley, P.K., Sadjadi, S.M., Kasten, E.P., Cheng, B.H.C.: Composing Adaptive Software. IEEE Computer\u00a037(7), 56\u201364 (2004)","journal-title":"IEEE Computer"},{"issue":"1","key":"10_CR28","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"10_CR29","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1002\/smr.257","volume":"14","author":"T. Mens","year":"2002","unstructured":"Mens, T., Wermelinger, M.: Separation of concerns for software evolution. J. of Software Maintenance and Evolution\u00a014(5), 311\u2013315 (2002)","journal-title":"J. of Software Maintenance and Evolution"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Milner, R.: The Polyadic \u03c0-Calculus: A Tutorial. Laboratory for Foundations of Computer Science Department, University of Edinburgh (1993)","DOI":"10.1007\/978-3-642-58041-3_6"},{"issue":"4","key":"10_CR31","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/1357010.1352617","volume":"42","author":"A. Nicoara","year":"2008","unstructured":"Nicoara, A., Alonso, G., Roscoe, T.: Controlled, Systematic, and Efficient Code Replacement for Running Java Programs. SIGOPS Operating Systems Review\u00a042(4), 233\u2013246 (2008)","journal-title":"SIGOPS Operating Systems Review"},{"issue":"3","key":"10_CR32","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/5254.769885","volume":"14","author":"P. Oreizy","year":"1999","unstructured":"Oreizy, P., Gorlick, M., Taylor, R.N., et al.: An Architecture-Based Approach to Self-Adaptive Software. IEEE Intelligent Systems\u00a014(3), 54\u201362 (1999)","journal-title":"IEEE Intelligent Systems"},{"issue":"9-10","key":"10_CR33","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1016\/j.infsof.2007.08.007","volume":"50","author":"J. P\u00e9rez","year":"2008","unstructured":"P\u00e9rez, J., Ali, N., Cars\u00ed, J.A., Ramos, I., et al.: Integrating aspects in software architectures: PRISMA applied to robotic tele-operated systems. Information & Software Technology\u00a050(9-10), 969\u2013990 (2008)","journal-title":"Information & Software Technology"},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11783565_9","volume-title":"Component-Based Software Engineering","author":"J. P\u00e9rez","year":"2006","unstructured":"P\u00e9rez, J., Ali, N., Cars\u00ed, J.A., Ramos, I.: Designing Software Architectures with an Aspect-Oriented Architecture Description Language. In: Gorton, I., Heineman, G.T., Crnkovi\u0107, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) CBSE 2006. LNCS, vol.\u00a04063, pp. 123\u2013138. Springer, Heidelberg (2006)"},{"key":"10_CR35","unstructured":"P\u00e9rez, J.: PRISMA: Aspect-Oriented Software Architectures. PhD Thesis, Universidad Polit\u00e9cnica de Valencia (2006)"},{"issue":"4","key":"10_CR36","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the Study of Software Architecture. SIGSOFT Software Engineering Notes\u00a017(4), 40\u201352 (1992)","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"10_CR37","unstructured":"Ritzau, T., Andersson, J.: Dynamic Deployment of Java Applications. In: Java for Embedded Systems, London (2000)"},{"key":"10_CR38","doi-asserted-by":"crossref","unstructured":"Rogers, A., Jennings, N.R., Farinelli, A.: Self-Organising Sensors for Wide Area Surveillance using the Max-Sum Algorithm. In: WICSA\/ECSA Workshop on Self-Organizing Architectures (SOAR 2009), Cambridge, UK (2009)","DOI":"10.1007\/978-3-642-14412-7_5"},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"Rombach, H.D.: Design for Maintenance - Use of Engineering Principles and Product Line Technology. In: 13th European Conf. on Software Maintenance and Reengineering (CSMR 2009), Kaiserslautern, Germany (2009)","DOI":"10.1109\/CSMR.2009.48"},{"issue":"2","key":"10_CR40","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/52.199735","volume":"10","author":"M.E. Segal","year":"1993","unstructured":"Segal, M.E., Frieder, O.: On-the-Fly Program Modification: Systems for Dynamic Updating. IEEE Software\u00a010(2), 53\u201365 (1993)","journal-title":"IEEE Software"},{"key":"10_CR41","first-page":"45","volume":"30","author":"G.D.M. Serugendo","year":"2006","unstructured":"Serugendo, G.D.M., Gleizes, M.P., Karageorgos, A.: Self-organisation and emergence in MAS: An Overview. Informatica (Slovenia)\u00a030, 45\u201354 (2006)","journal-title":"Informatica (Slovenia)"},{"key":"10_CR42","unstructured":"Software Engineering Institute: Ultra-Large-Scale Systems: Software Challenge of the Future. Technical Report, Carnegie Mellon University, Pittsburgh, USA (2006)"},{"key":"10_CR43","volume-title":"Handbook of Logic in Computer Science","author":"C. Stirling","year":"1992","unstructured":"Stirling, C.: Modal and Temporal Logics. In: Handbook of Logic in Computer Science, vol.\u00a0II. Clarendon Press, Oxford (1992)"},{"key":"10_CR44","volume-title":"Software Architecture: Foundations, Theory and Practice","author":"R.N. Taylor","year":"2009","unstructured":"Taylor, R.N., Medvidovic, N., Dashofy, E.M.: Software Architecture: Foundations, Theory and Practice. Wiley, Chichester (2009)"},{"key":"10_CR45","doi-asserted-by":"crossref","unstructured":"Thao, C., Munson, E.V., Nguyen, T.N.: Software Configuration Management for Product Derivation in Software Product Families. In: 15th Int. Conf. on Engineering of Computer Based Systems (ECBS 2008), Belfast, Northern Ireland (2008)","DOI":"10.1109\/ECBS.2008.53"},{"key":"10_CR46","unstructured":"Vandewoude, Y., Berbers, Y.: Component state mapping for runtime evolution. In: Int. Conf. on Programming Languages and Compilers, Las Vegas, Nevada, USA (2005)"},{"issue":"12","key":"10_CR47","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., et al.: Tranquillity: A low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates. IEEE Transactions on Software Engineering\u00a033(12), 856\u2013868 (2007)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"10_CR48","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1002\/smr.324","volume":"18","author":"Q. Wang","year":"2006","unstructured":"Wang, Q., Shen, J., Wang, X., Mei, H.: A Component-Based Approach to Online Software Evolution. Journal of Software Maintenance and Evolution\u00a018(3), 181\u2013205 (2006)","journal-title":"Journal of Software Maintenance and Evolution"},{"issue":"5","key":"10_CR49","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/503271.503213","volume":"26","author":"M. Wermelinger","year":"2001","unstructured":"Wermelinger, M., Lopes, A., Fiadeiro, J.L.: A graph based architectural (re)configuration language. SIGSOFT Software Engineering Notes\u00a026(5), 21\u201332 (2001)","journal-title":"SIGSOFT Software Engineering Notes"}],"container-title":["Lecture Notes in Computer Science","Self-Organizing Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14412-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T05:48:02Z","timestamp":1559281682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14412-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144110","9783642144127"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14412-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}