{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:40:52Z","timestamp":1742913652325,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":22,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781475765380"},{"type":"electronic","value":"9780387356075"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-0-387-35607-5_9","type":"book-chapter","created":{"date-parts":[[2013,6,4]],"date-time":"2013-06-04T16:55:08Z","timestamp":1370364908000},"page":"143-156","source":"Crossref","is-referenced-by-count":4,"title":["Introducing Reflection in Architecture Description Languages"],"prefix":"10.1007","author":[{"given":"Carlos E.","family":"Cuesta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"de la Fuente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Barrio-Sol\u00f3rzano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Encarnaci\u00f3n","family":"Beato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Technical report CMU-CS-97-144","author":"R Allen","year":"1997","unstructured":"Allen, R. (1997). A Formal Approach to Software Architecture. PhD thesis, School of Computer Science, Carnegie Mellon University. Technical report CMU-CS-97\u2013144."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Allen, R., Douence, R., and Garlan, D. (1998). Specifying and Analyzing Dynamic Software Architectures. In Proceedings of 1998 Conference on Fundamental Approaches to Software Engineering,Lisbon, Portugal.","DOI":"10.1007\/BFb0053581"},{"key":"9_CR3","first-page":"24","volume-title":"Coordination Languages and Models, volume 1061 of Lecture Notes in Computer Science","author":"F Arbab","year":"1996","unstructured":"Arbab, F. (1996). The IWIM Model for Coordination of Concurrent Activities. In Ciancarini, P. and Hankin, C., editors, Coordination Languages and Models, volume 1061 of Lecture Notes in Computer Science, pages 24\u201356, Cesena, Italia. Springer Verlag."},{"key":"9_CR4","volume-title":"Proceedings of the Second Working IEEE\/IFIP Conference on Software Architecture","author":"M Bernardo","year":"2001","unstructured":"Bernardo, M., Ciancarini, P., and Donatiello, L. (2001). Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. In Kazman, R., Kruchten, P., Verhoef, C., and van Vliet, H., editors, Proceedings of the Second Working IEEE\/IFIP Conference on Software Architecture (WICSA\u201901), Amsterdam. IEEE Computer Society Press."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Canal, C., Pimentel, E., and Troya, J. M. (1999). Specification and Refinement of Dynamic Software Architectures. In Software Architecture, pages 107\u2013126. Kluwer Academic Publishing.","DOI":"10.1007\/978-0-387-35563-4_7"},{"key":"9_CR6","volume-title":"degli studi di Milano","author":"W Cazzola","year":"1999","unstructured":"Cazzola, W., Savigni, A., Sosio, A., and Tisato, F. (1999). Architectural Reflection: Concepts, Design, and Evaluation. Technical Report RI-DSI 234\u201399, Univ. degli studi di Milano."},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/372202.372298","volume-title":"Proceedings of 16th ACM Symposium on Applied Computing (SAC2001)","author":"CE Cuesta","year":"2001","unstructured":"Cuesta, C. E., de la Fuente, P., Barrio-Sol\u00f3rzano, M., and Beato, E. (2001). Dynamic Coordination Architecture through the use of Reflection. In Proceedings of 16th ACM Symposium on Applied Computing (SAC2001), pages 134\u2013140, Las Vegas, NV. ACM Press."},{"key":"9_CR8","first-page":"141","volume-title":"Coordination Models and Languages, volume 2315 of Lecture Notes in Computer Science","author":"CE Cuesta","year":"2002","unstructured":"Cuesta, C. E., de la Fuente, P., Barrio-Sol\u00f3rzano, M., and Beato, E. (2002). Coordination in a Reflective Architecture Description Language. In Arbab, F. and Talcott, C., editors, Coordination Models and Languages, volume 2315 of Lecture Notes in Computer Science, pages 141\u2013148, York, UK. Springer Verlag."},{"issue":"2","key":"9_CR9","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"S Katz","year":"1993","unstructured":"Katz, S. (1993). A Superimposition Control Construct for Distributed Systems. ACM Transactions on Programming Languages and Systems, 15 (2): 337\u2013356.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Kramer, J. and Magee, J. (1990). The Evolving Philosophers Problem: Dynamic Change Management. IEEE Transactions on Software Engineering, 16.","DOI":"10.1109\/32.60317"},{"issue":"7","key":"9_CR11","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D M\u00e9tayer","year":"1998","unstructured":"Le M\u00e9tayer, D. (1998). Describing Software Architecture Styles Using Graph Grammars. IEEE Transactions on Software Engineering, 24 (7): 521\u2013553.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"9","key":"9_CR12","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1109\/32.464548","volume":"21","author":"DC Luckham","year":"1995","unstructured":"Luckham, D. C. and Vera, J. (1995). An Event-Based Architecture Definition Language. IEEE Transactions on Software Engineering, 21 (9): 717\u2013734.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR13","unstructured":"Lynch, N. A. (1996). Distributed Algorithms. Morgan Kaufmann."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Maes, P. (1987). Concepts and Experiments in Computational Reflection. In Meyrowitz, N., editor, OOPSLA\u201987 Conference Proceedings,volume 22(12) of SIGPLAN Notices,pages 147\u2013155. ACM Press.","DOI":"10.1145\/38765.38821"},{"issue":"6","key":"9_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/250707.239104","volume":"21","author":"J Magee","year":"1996","unstructured":"Magee, J. and Kramer, J. (1996). Dynamic Structure in Software Architectures. ACM Software Engineering Notes, 21 (6): 3\u201314.","journal-title":"ACM Software Engineering Notes"},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N Medvidovic","year":"2000","unstructured":"Medvidovic, N. and Taylor, R.N. (2000). A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering, 26 (1): 70\u201393.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR17","unstructured":"Milner, R. (1989). Communication and Concurrency. Prentice-Hall."},{"key":"9_CR18","unstructured":"Milner, R. (1999). Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Shaw, M. (1994). Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status. In Workshop on Studies of Software Design.","DOI":"10.21236\/ADA281026"},{"key":"9_CR20","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M Shaw","year":"1996","unstructured":"Shaw, M. and Garlan, D. (1996). Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, New Jersey."},{"key":"9_CR21","unstructured":"Victor, B. and Moller, F. (1994). The Mobility Workbench \u2014 A Tool for the ir-Calculus. In Dill, D., editor, CAV\u201994: Computer Aided Verification,volume 818 of Lecture Notes in Computer Science,pages 428\u2013440. Springer-Verlag."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Wermelinger, M. and Fiadeiro, J. L. (1999). Algebraic Software Architecture Reconfiguration. In Software Engineering\u2013Proceedings of ESEC\/FSE\u201999,volume 1687 of Lecture Notes in Computer Science,pages 393\u2013409. Springer Verlag.","DOI":"10.1007\/3-540-48166-4_24"}],"container-title":["IFIP Advances in Information and Communication Technology","Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35607-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T10:36:42Z","timestamp":1557743802000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-35607-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9781475765380","9780387356075"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-35607-5_9","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2002]]}}}