{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:52Z","timestamp":1762458832600},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148071"},{"type":"electronic","value":"9783642148088"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14808-8_21","type":"book-chapter","created":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T09:52:01Z","timestamp":1282384321000},"page":"306-321","source":"Crossref","is-referenced-by-count":10,"title":["Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting"],"prefix":"10.1007","author":[{"given":"Pablo F.","family":"Castro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nazareno M.","family":"Aguirre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos Gustavo","family":"L\u00f3pez Pombo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas S. E.","family":"Maibaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","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":"21_CR2","series-title":"Lecture Notes in Computer Science","first-page":"407","volume-title":"Verification: Theory and Practice","author":"N. Aguirre","year":"2004","unstructured":"Aguirre, N., Maibaum, T.: Some Institutional Requirements for Temporal Reasoning about Dynamic Reconfiguration. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 407\u2013435. Springer, Heidelberg (2004)"},{"key":"21_CR3","unstructured":"Burstall, R., Goguen, J.: Putting Theories together to make Specifications. In: Proc. of the Fifth International Joint Conference on Artificial Intelligence (1977)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-540-68679-8_23","volume-title":"Concurrency, Graphs and Models","author":"M. Cengarle","year":"2008","unstructured":"Cengarle, M., Knapp, A., Tarlecki, A., Wirsing, M.: A Heterogeneous Approach To UML Semantics. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 383\u2013402. Springer, Heidelberg (2008)"},{"key":"21_CR5","unstructured":"Diaconescu, R.: Institution-independent Model Theory. Studies in Universal Logic, vol.\u00a02. Birkh\u00e4user, Basel (2008)"},{"key":"21_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification","author":"H. Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification, vol.\u00a02. Springer, Heidelberg (1990)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J., Maibaum, T.: Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing\u00a04(3) (1992)","DOI":"10.1007\/BF01212304"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019447","volume-title":"Foundations of Object-Oriented Languages","author":"J. Fiadeiro","year":"1991","unstructured":"Fiadeiro, J., Maibaum, T.: Describing, Structuring and Implementing Objects. In: de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1990. LNCS, vol.\u00a0489, Springer, Heidelberg (1991)"},{"key":"21_CR9","volume-title":"Categories for Software Engineering","author":"J. Fiadeiro","year":"2004","unstructured":"Fiadeiro, J.: Categories for Software Engineering. Springer, Heidelberg (2004)"},{"key":"21_CR10","volume-title":"The Future of Software Engineering","author":"D. Garlan","year":"2000","unstructured":"Garlan, D.: Software Architecture: A Roadmap. In: Filkenstein, A. (ed.) The Future of Software Engineering. ACM Press, New York (2000)"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Local Area Networks: An Advanced Course","author":"J. Goguen","year":"1985","unstructured":"Goguen, J., Burstall, R.: Introducing Institutions. In: Hutchison, D., Shepherd, W.D., Mariani, J.A. (eds.) Local Area Networks: An Advanced Course. LNCS, vol.\u00a0184, Springer, Heidelberg (1985)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Goguen, J., Burstall, R.: Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM\u00a039(1) (1992)","DOI":"10.1145\/147508.147524"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Goguen, J., Rosu, G.: Institution Morphisms. Formal Aspects of Computing\u00a013(3-5) (2002)","DOI":"10.1007\/s001650200013"},{"key":"21_CR14","series-title":"ENTCS","volume-title":"Two Graph-Based Techniques for Software Architecture Reconfiguration","author":"D. Hirsch","year":"2001","unstructured":"Hirsch, D., Montanari, U.: Two Graph-Based Techniques for Software Architecture Reconfiguration. ENTCS, vol.\u00a051. Elsevier, Amsterdam (2001)"},{"key":"21_CR15","volume-title":"Proc. of the ACM Symposium on Applied Computing, SAC 2010","author":"A. Knapp","year":"2010","unstructured":"Knapp, A., Marczynski, G., Wirsing, M., Zawlocki, A.: A Heterogeneous Approach to Service-Oriented Systems Specification. In: Proc. of the ACM Symposium on Applied Computing, SAC 2010. ACM Press, New York (2010)"},{"key":"21_CR16","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1991)"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Medvidovic, N.: ADLs and Dynamic Architecture Changes. In: Proc. of the 2nd. International Software Architecture Workshop ISAW-2 (1996)","DOI":"10.1145\/243327.243340"},{"key":"21_CR18","volume-title":"Logic Colloquium 1987","author":"J. Meseguer","year":"1989","unstructured":"Meseguer, J.: General Logics. In: Logic Colloquium 1987. North Holland, Amsterdam (1989)"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., Luttich, K.: The Heterogeneous Tool Set, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"21_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"B. Pierce","year":"1991","unstructured":"Pierce, B.: Basic Category Theory for Computer Scientists. The MIT Press, Cambridge (1991)"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A.: Specifications in an Arbitrary Institution. Inf. Comput.\u00a076(2\/3) (1988)","DOI":"10.1016\/0890-5401(88)90008-9"},{"key":"21_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Recent Trends in Data Type Specification","author":"A. Tarlecki","year":"1996","unstructured":"Tarlecki, A.: Moving Between Logical Systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol.\u00a01130, Springer, Heidelberg (1996)"},{"key":"21_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-540-73094-1_4","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"A. Tarlecki","year":"2007","unstructured":"Tarlecki, A.: Toward Specifications for Reconfigurable Component Systems. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 24\u201328. Springer, Heidelberg (2007)"},{"key":"21_CR24","series-title":"Studies in Logic and Computation","volume-title":"Frontiers of Combining Systems","author":"A. Tarlecki","year":"2000","unstructured":"Tarlecki, A.: Towards Heterogeneous Specifications. In: Frontiers of Combining Systems. Studies in Logic and Computation, vol.\u00a02. Research Studies Press, Hertfordshire (2000)"},{"key":"21_CR25","series-title":"NATO Science Series","volume-title":"Proc. of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software","author":"A. Tarlecki","year":"2003","unstructured":"Tarlecki, A.: Abstract Specification Theory: An Overview. In: Proc. of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software. NATO Science Series. IOS Press, Amsterdam (2003)"},{"key":"21_CR26","volume-title":"Proc. of the Joint European Software Engineering Conference the Symposium on the Foundations of Software Engineering, ESEC\/FSE 2001","author":"M. Wermelinger","year":"2001","unstructured":"Wermelinger, M., Lopes, A., Fiadeiro, J.: A Graph Based Architectural (Re)configuration Language. In: Proc. of the Joint European Software Engineering Conference the Symposium on the Foundations of Software Engineering, ESEC\/FSE 2001. ACM Press, New York (2001)"},{"key":"21_CR27","volume-title":"Using Z","author":"J. Davies","year":"1996","unstructured":"Davies, J., Woodcock, J.: Using Z. Prentice-Hall, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14808-8_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:57:45Z","timestamp":1606186665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14808-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148071","9783642148088"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14808-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}