{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T06:40:12Z","timestamp":1737355212421,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665380"},{"type":"electronic","value":"9783540481669"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48166-4_24","type":"book-chapter","created":{"date-parts":[[2007,8,9]],"date-time":"2007-08-09T00:59:20Z","timestamp":1186621160000},"page":"393-409","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Algebraic Software Architecture Reconfiguration"],"prefix":"10.1007","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":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"key":"24_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Allen","year":"1998","unstructured":"R. Allen, R. Douence, and D. Garlan. Specifying and analyzing dynamic software architectures. In Fundamental Approaches to Software Engineering, volume 1382 of LNCS, pages 21\u201337. Springer-Verlag, 1998."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"C. Canal, E. Pimentel, and J. M. Troya. Specification and refinement of dynamic software architectures. In P. Donohoe, editor, Software Architecture, pages 107\u2013125. Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-0-387-35563-4_7"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra. Parallel Program Design\u2014A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. In Proceedings of the First International Workshop on Rewriting Logic, volume 4 of Electronic Notes in Theoretical Computer Science, pages 65\u201389. Elsevier, 1996.","DOI":"10.1016\/S1571-0661(04)00034-9"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. L\u00f6we. Algebraic approaches to graph transformation, part I: Basic concepts and double pushout approach. Technical Report TR-96-17, University of Pisa, Mar. 1996.","DOI":"10.1142\/9789812384720_0003"},{"issue":"5","key":"24_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/270849.270855","volume":"22","author":"Description of EDCS technology clusters","year":"1997","unstructured":"Description of EDCS technology clusters. ACM SIGSOFT Software Engineering Notes, 22(5):33\u201342, Sept. 1997.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"24_CR7","unstructured":"M. Endler. A language for implementing generic dynamic reconfigurations of distributed programs. In Proceedings of the 12th Brazilian Symposium on Computer Networks, pages 175\u2013187, 1994."},{"key":"24_CR8","series-title":"Lect Notes Comput Sci","first-page":"505","volume-title":"Proceedings of TAPSOFT\u201997","author":"J. L. Fiadeiro","year":"1997","unstructured":"J. L. Fiadeiro and A. Lopes. Semantics of architectural connectors. In Proceedings of TAPSOFT\u201997, volume 1214 of LNCS, pages 505\u2013519. Springer-Verlag, 1997."},{"key":"24_CR9","unstructured":"J. L. Fiadeiro and T. Maibaum. Interconnecting formalisms: Supporting modularity, reuse and incrementality. In SIGSOFT\u201995: Third Symposium on Foundations of Software Engineering, pages 72\u201380. ACM Press, 1995."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"J. L. Fiadeiro and T. Maibaum. A mathematical toolbox for the software architect. In Proceedings of the 8th International Workshop on Software Specification and Design, pages 46\u201355. IEEE Computer Society Press, 1996.","DOI":"10.1109\/IWSSD.1996.501146"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","volume":"28","author":"J. L. Fiadeiro","year":"1997","unstructured":"J. L. Fiadeiro and T. Maibaum. Categorial semantics of parallel program design. Science of Computer Programming, 28:111\u2013138, 1997.","journal-title":"Science of Computer Programming"},{"key":"24_CR12","unstructured":"J. L. Fiadeiro, M. Wermelinger, and J. Meseguer. Semantics of transient connectors in rewriting logic. Position Paper for the First Working International Conference on Software Architecture, Feb. 1999."},{"key":"24_CR13","unstructured":"N. Francez and I. Forman. Interacting Processes. Addison-Wesley, 1996."},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"A. Habel, R. Heckel, and G. Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, 26(3-4), 1996.","DOI":"10.3233\/FI-1996-263404"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"D. Hirsch, P. Inverardi, and U. Montanari. Modelling software architectures and styles with graph grammars and constraint solving. In P. Donohoe, editor, Software Architecture, pages 127\u2013143. Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-0-387-35563-4_8"},{"issue":"11","key":"24_CR16","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/32.60317","volume":"16","author":"J. Kramer","year":"1990","unstructured":"J. Kramer and J. Magee. The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering, 16(11):1293\u20131306, Nov. 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"J. Kramer and J. Magee. Analysing dynamic change in software architectures: A case study. In Proceedings of the Fourth International Conference on Configurable Distributed Systems, pages 91\u2013100. IEEE Computer Society Press, 1998.","DOI":"10.1109\/CDS.1998.675762"},{"key":"24_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-49020-3_10","volume-title":"Proceedings of Fundamental Approaches to Software Engineering","author":"A. Lopes","year":"1999","unstructured":"A. Lopes and J. L. Fiadeiro. Using explicit state do describe architectures. In Proceedings of Fundamental Approaches to Software Engineering, number 1577 in LNCS, pages 144\u2013160. Springer-Verlag, 1999."},{"key":"24_CR19","unstructured":"M. L\u00f6we. Algebraic approach to graph transformation based on single pushout derivations. Technical Report 90\/5, Technische Universit\u00e4t Berlin, 1990."},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"J. Magee and J. Kramer. Dynamic structure in software architectures. In Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 3\u201314. ACM Press, 1996.","DOI":"10.1145\/250707.239104"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"P. J. McCann and G.-C. Roman. Compositional programming abstractions for mobile computing. IEEE Transactions on Software Engineering, 24(2), Feb. 1998.","DOI":"10.1109\/32.666824"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"N. Medvidovic. ADLs and dynamic architecture changes. In Joint Proceedings of the SIGSOFT\u201996 Workshops, pages 24\u201327. ACM Press, 1996.","DOI":"10.1145\/243327.243340"},{"key":"24_CR23","volume-title":"Technical Report UCI-ICS-97-02","author":"N. Medvidovic","year":"1997","unstructured":"N. Medvidovic. A classification and comparison framework for software architecture description languages. Technical Report UCI-ICS-97-02, Department of Information and Computer Science, University of California, Irvine, Feb. 1997."},{"issue":"7","key":"24_CR24","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D. L. M\u00e9tayer","year":"1998","unstructured":"D. L. M\u00e9tayer. Describing software architecture styles using graph grammars. IEEE Transactions on Software Engineering, 24(7):521\u2013553, July 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR25","unstructured":"J. C. Mitchell. Foundations for Programming Languages. MIT Press, 1996."},{"key":"24_CR26","unstructured":"R. T. Monroe, D. Garlan, and D. Wile. Acme StrawManual, Nov. 1997."},{"key":"24_CR27","volume-title":"Technical Report UCI-ICS-TR-96-35","author":"P. Oreizy","year":"1996","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, Aug. 1996."},{"key":"24_CR28","doi-asserted-by":"crossref","unstructured":"D. E. Perry. State-of-the-art: Software architecture. In Proceedings of the 19th International Conference on Software Engineering, pages 590\u2013591. ACM Press, 1997. Slides available from http:\/\/www.bell-labs.com\/user\/dep\/work\/swa\/icse97.vg.ps.gz .","DOI":"10.1145\/253228.253487"},{"issue":"3","key":"24_CR29","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1145\/258077.258079","volume":"6","author":"G.-C. Roman","year":"1997","unstructured":"G.-C. Roman, P. J. McCann, and J. Y. Plun. Mobile UNITY: Reasoning and specification in mobile computing. ACM TOSEM, 6(3):250\u2013282, July 1997.","journal-title":"ACM TOSEM"},{"key":"24_CR30","unstructured":"R. Sedgewick. Algorithms. Addison-Wesley, second edition, 1988."},{"key":"24_CR31","unstructured":"G. Taentzer, M. Goedicke, and T. Meyer. Dynamic change management by distributed graph transformation: Towards configurable distributed systems. In Proc. 6th Int. Workshop on Theory and Application of Graph Transformation, 1998."},{"key":"24_CR32","doi-asserted-by":"crossref","unstructured":"M. Wermelinger. A hierarchic architecture model for dynamic reconfiguration. In Proceedings of the Second International Workshop on Software Engineering for Parallel and Distributed Systems, pages 243\u2013254. IEEE Computer Society Press, 1997.","DOI":"10.1109\/PDSE.1997.596843"},{"issue":"5","key":"24_CR33","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1049\/ip-sen:19982294","volume":"145","author":"M. Wermelinger","year":"1998","unstructured":"M. Wermelinger. Towards a chemical model for software architecture reconfiguration. IEE Proceedings\u2014 Software, 145(5):130\u2013136, Oct. 1998.","journal-title":"IEE Proceedings\u2014 Software"},{"issue":"5","key":"24_CR34","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1109\/32.685257","volume":"24","author":"M. Wermelinger","year":"1998","unstructured":"M. Wermelinger and J. L. Fiadeiro. Connectors for mobile programs. IEEE Transactions on Software Engineering, 24(5):331\u2013341, May 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR35","doi-asserted-by":"crossref","unstructured":"M. Wermelinger and J. L. Fiadeiro. Towards an algebra of architectural connectors: a case study on synchronization for mobility. In Proceedings of the Ninth International Workshop on Software Specification and Design, pages 135\u2013142. IEEE Computer Society Press, 1998.","DOI":"10.1109\/IWSSD.1998.667928"},{"issue":"1","key":"24_CR36","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/251759.251844","volume":"22","author":"A. L. Wolf","year":"1997","unstructured":"A. L. Wolf. Succeedings of the Second International Software Architecture Workshop. ACM SIGSOFT Software Engineering Notes, 22(1):42\u201356, Jan. 1997.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"24_CR37","unstructured":"D. Wolz. Colimit Library for Graph Transformations and Algebraic Development Techniques. PhD thesis, Technische Universit\u00e4t Berlin, 1998."}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC\/FSE \u201999"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48166-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T06:04:38Z","timestamp":1737353078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48166-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665380","9783540481669"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-48166-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"27 August 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}