{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:22Z","timestamp":1761611062468},"reference-count":35,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4003,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2002,8]]},"DOI":"10.1016\/s0167-6423(02)00036-9","type":"journal-article","created":{"date-parts":[[2002,10,15]],"date-time":"2002-10-15T01:22:28Z","timestamp":1034644948000},"page":"133-155","source":"Crossref","is-referenced-by-count":74,"title":["A graph transformation approach to software architecture reconfiguration"],"prefix":"10.1016","volume":"44","author":[{"given":"Michel","family":"Wermelinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(02)00036-9_BIB1","doi-asserted-by":"crossref","unstructured":"R. Allen, R. Douence, D. Garlan, Specifying and analyzing dynamic software architectures, in: E. Astesiano (Ed.), Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, vol. 1382, Springer, Berlin, 1998, pp. 21\u201337.","DOI":"10.1007\/BFb0053581"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB2","doi-asserted-by":"crossref","unstructured":"C. Canal, E. Pimentel, J.M. Troya, Specification and refinement of dynamic software architectures, in: P. Donohoe (Ed.), Software Architecture, Kluwer Academic Publishers, Dordrecht, 1999, pp. 107\u2013125.","DOI":"10.1007\/978-0-387-35563-4_7"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB3","series-title":"Parallel Program Design\u2014A Foundation","author":"Chandy","year":"1988"},{"issue":"3\u20134","key":"10.1016\/S0167-6423(02)00036-9_BIB4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","article-title":"Graph processes","volume":"26","author":"Corradini","year":"1996","journal-title":"Fund. Inform."},{"key":"10.1016\/S0167-6423(02)00036-9_BIB5","doi-asserted-by":"crossref","unstructured":"Description of EDCS technology clusters, ACM SIGSOFT Software Eng. Notes 22 (5) (1997) 33\u201342.","DOI":"10.1145\/270849.270855"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB6","unstructured":"M. Endler, A language for implementing generic dynamic reconfigurations of distributed programs, Proc. 12th Brazilian Symp. on Computer Networks, 1994, pp. 175\u2013187."},{"key":"10.1016\/S0167-6423(02)00036-9_BIB7","doi-asserted-by":"crossref","unstructured":"J.L. Fiadeiro, A. Lopes, Semantics of architectural connectors, Proc. TAPSOFT\u201997, Lecture Notes in Computer Science, vol. 1214, Springer, Berlin, 1997, pp. 505\u2013519.","DOI":"10.1007\/BFb0030622"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB8","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","article-title":"Categorial semantics of parallel program design","volume":"28","author":"Fiadeiro","year":"1997","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB9","doi-asserted-by":"crossref","unstructured":"J.L. Fiadeiro, N. Mart\u0131\u0301-Oliet, T. Maibaum, J. Meseguer, I. Pita, Towards a verification logic for rewriting logic, in: D. Bert, C. Choppy, P. Mosses (Eds.), Recent Trends in Algebraic Development Techniques, Lecture Notes in Computer Science, vol. 1827, Springer, Berlin, 2000, pp. 438\u2013458.","DOI":"10.1007\/978-3-540-44616-3_25"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB10","unstructured":"J.L. Fiadeiro, M. Wermelinger, J. Meseguer, Semantics of transient connectors in rewriting logic, Position Paper for the First IFIP Working Internat. Conf. on Software Architecture, February 1999."},{"key":"10.1016\/S0167-6423(02)00036-9_BIB11","series-title":"Interacting Processes","author":"Francez","year":"1996"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB12","doi-asserted-by":"crossref","unstructured":"J. Gouveia, G. Koutsoukos, L. Andrade, J.L. Fiadeiro, Tool support for coordination-based software evolution, Proc. of TOOLS Europe, IEEE Computer Soc. Press, Silver Spring, MD, 2001, pp. 184\u2013196.","DOI":"10.1109\/TOOLS.2001.911772"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB13","doi-asserted-by":"crossref","unstructured":"A. Habel, R. Heckel, G. Taentzer, Graph grammars with negative application conditions, Fund. Inform. 26 (3\u20134) (1996) 287\u2013313.","DOI":"10.3233\/FI-1996-263404"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB14","doi-asserted-by":"crossref","unstructured":"D. Hirsch, P. Inverardi, U. Montanari, Reconfiguration of software architecture styles with name mobility, in: A. Porto, G.-C. Roman (Eds.), Coordination Languages and Models, Lecture Notes in Computer Science, vol. 1906, Springer, Berlin, 2000, pp. 148\u2013163.","DOI":"10.1007\/3-540-45263-X_10"},{"issue":"11","key":"10.1016\/S0167-6423(02)00036-9_BIB15","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/32.60317","article-title":"The evolving philosophers problem: dynamic change management","volume":"16","author":"Kramer","year":"1990","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0167-6423(02)00036-9_BIB16","unstructured":"A. Lopes, N\u00e3o-determinismo e Composicionalidade na Especifica\u00e7\u00e3o de Sistemas Reactivos, Ph.D. Thesis, Universidade de Lisboa, January 1999."},{"key":"10.1016\/S0167-6423(02)00036-9_BIB17","doi-asserted-by":"crossref","unstructured":"J. Magee, J. Kramer, Dynamic structure in software architectures, Proc. 4th ACM SIGSOFT Symp. on the Foundations of Software Engineering, ACM Press, New York, 1996, pp. 3\u201314.","DOI":"10.1145\/239098.239104"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB18","doi-asserted-by":"crossref","unstructured":"J. Magee, J. Kramer, D. Giannakopoulou, Behaviour analysis of software architectures, in: P. Donohoe (Ed.), Software Architecture, Kluwer Academic Publishers, Dordrecht, 1999, pp. 35\u201350.","DOI":"10.1007\/978-0-387-35563-4_3"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB19","doi-asserted-by":"crossref","unstructured":"J.N. Magee, D.E. Perry, Welcome to ISAW-3, Proc. Third Internat. Software Architecture Workshop, ACM Press, New York, 1998, pp. vii\u2013viii.","DOI":"10.1145\/288408"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB20","doi-asserted-by":"crossref","unstructured":"P.J. McCann, G.-C. Roman, Compositional programming abstractions for mobile computing, IEEE Trans. Software Eng. 24 (2) (1998) 97\u2013110.","DOI":"10.1109\/32.666824"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB21","doi-asserted-by":"crossref","unstructured":"N. Medvidovic, ADLs and dynamic architecture changes, Joint Proc. SIGSOFT\u201996 Workshops, ACM Press, New York, 1996, pp. 24\u201327.","DOI":"10.1145\/243327.243340"},{"issue":"7","key":"10.1016\/S0167-6423(02)00036-9_BIB22","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1109\/32.708567","article-title":"Describing software architecture styles using graph grammars","volume":"24","author":"M\u00e9tayer","year":"1998","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0167-6423(02)00036-9_BIB23","unstructured":"R.T. Monroe, D. Garlan, D. Wile, Acme StrawManual, November 1997."},{"key":"10.1016\/S0167-6423(02)00036-9_BIB24","unstructured":"P. Oreizy, Issues in the runtime modification of software architectures, Technical Report UCI-ICS-TR-96-35, Department of Information and Computer Science, University of California, Irvine, August 1996."},{"key":"10.1016\/S0167-6423(02)00036-9_BIB25","doi-asserted-by":"crossref","unstructured":"D.E. Perry, State-of-the-art: software architecture, Proc. 19th Internat. Conf. on Software Engineering, ACM Press, New York, 1997, pp. 590\u2013591.","DOI":"10.1145\/253228.253487"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB26","doi-asserted-by":"crossref","unstructured":"D. Plump, On termination of graph rewriting, Proc. 21st Internat. Workshop on Graph-Theoretic Concepts in Computer Science, Lecture Notes in Computer Science, vol. 1017, Springer, Berlin, 1995, pp. 88\u2013100.","DOI":"10.1007\/3-540-60618-1_68"},{"issue":"3","key":"10.1016\/S0167-6423(02)00036-9_BIB27","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1145\/258077.258079","article-title":"Mobile UNITY","volume":"6","author":"Roman","year":"1997","journal-title":"ACM TOSEM"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB28","unstructured":"G. Taentzer, M. Goedicke, T. Meyer, Dynamic change management by distributed graph transformation: towards configurable distributed systems, Proc. Sixth Internat. Workshop on Theory and Application of Graph Transformation, 1998."},{"issue":"5","key":"10.1016\/S0167-6423(02)00036-9_BIB29","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1049\/ip-sen:19982294","article-title":"Towards a chemical model for software architecture reconfiguration","volume":"145","author":"Wermelinger","year":"1998","journal-title":"IEE Proc.\u2014Software"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB30","doi-asserted-by":"crossref","unstructured":"M. Wermelinger, Specification of Software Architecture Reconfiguration, Ph.D. Thesis, Universidade Nova de Lisboa, September 1999.","DOI":"10.1145\/318774.319256"},{"issue":"5","key":"10.1016\/S0167-6423(02)00036-9_BIB31","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1109\/32.685257","article-title":"Connectors for mobile programs","volume":"24","author":"Wermelinger","year":"1998","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0167-6423(02)00036-9_BIB32","doi-asserted-by":"crossref","unstructured":"M. Wermelinger, A. Lopes, J.L. Fiadeiro, Superposing connectors, Proc. 10th Internat. Workshop of Software Specification and Design, IEEE Computer Society Press, Silver Spring, MD, 2000, pp. 87\u201394.","DOI":"10.1109\/IWSSD.2000.891129"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB33","doi-asserted-by":"crossref","unstructured":"M. Wermelinger, A. Lopes, J.L. Fiadeiro, A graph based architectural (re)configuration language, Proc. ESEC\/FSE, ACM Press, New York, 2001, pp. 21\u201332.","DOI":"10.1145\/503209.503213"},{"issue":"1","key":"10.1016\/S0167-6423(02)00036-9_BIB34","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/251759.251844","article-title":"Succeedings of the Second Internat. Software Architecture Workshop","volume":"22","author":"Wolf","year":"1997","journal-title":"ACM SIGSOFT Software Eng. Notes"},{"key":"10.1016\/S0167-6423(02)00036-9_BIB35","unstructured":"D. Wolz, Colimit library for graph transformations and algebraic development techniques, Ph.D. Thesis, Technische Universit\u00e4t, Berlin, 1998."}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302000369?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302000369?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T07:00:42Z","timestamp":1578466842000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642302000369"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,8]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,8]]}},"alternative-id":["S0167642302000369"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(02)00036-9","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2002,8]]}}}