{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:03:46Z","timestamp":1762459426835},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319467498"},{"type":"electronic","value":"9783319467504"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46750-4_14","type":"book-chapter","created":{"date-parts":[[2016,9,20]],"date-time":"2016-09-20T22:11:57Z","timestamp":1474409517000},"page":"235-254","source":"Crossref","is-referenced-by-count":13,"title":["Specifying Properties of Dynamic Architectures Using Configuration Traces"],"prefix":"10.1007","author":[{"given":"Diego","family":"Marmsoler","sequence":"first","affiliation":[]},{"given":"Mario","family":"Gleirscher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,22]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/226241.226244","volume":"4","author":"GD Abowd","year":"1995","unstructured":"Abowd, G.D., Allen, R., Garlan, D.: Formalizing style to understand descriptions of software architecture. ACM TOSEM 4, 319\u2013364 (1995)","journal-title":"ACM TOSEM"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"R Allen","year":"1998","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) FASE 1998. LNCS, vol. 1382, pp. 21\u201337. Springer, Heidelberg (1998). doi: 10.1007\/BFb0053581"},{"key":"14_CR3","unstructured":"Allen, R.J.: A formal approach to software architecture. Technical report, DTIC Document (1997)"},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1145\/357474.355064","volume":"25","author":"M Bernardo","year":"2000","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: On the formalization of architectural types with process algebras. ACM SIGSOFT SEN 25, 140\u2013148 (2000)","journal-title":"ACM SIGSOFT SEN"},{"key":"14_CR5","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: WOSS (2004)","DOI":"10.1145\/1075405.1075411"},{"issue":"10","key":"14_CR6","doi-asserted-by":"crossref","first-page":"1758","DOI":"10.1093\/comjnl\/bxq005","volume":"53","author":"M Broy","year":"2010","unstructured":"Broy, M.: A logical basis for component-oriented software and systems engineering. Comput. J. 53(10), 1758\u20131782 (2010)","journal-title":"Comput. J."},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-54848-2_3","volume-title":"From Programs to Systems. The Systems perspective in Computing","author":"M Broy","year":"2014","unstructured":"Broy, M.: A model of dynamic systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) ETAPS 2014. LNCS, vol. 8415, pp. 39\u201353. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54848-2_3"},{"key":"14_CR8","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: A system of patterns: Pattern-oriented software architecture (1996)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-642-14808-8_21","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2010","author":"PF Castro","year":"2010","unstructured":"Castro, P.F., Aguirre, N.M., L\u00f3pez Pombo, C.G., Maibaum, T.S.E.: Towards managing dynamic reconfiguration of software systems in a categorical setting. In: Cavalcanti, A., Deharbe, D., Gaudel, M.-C., Woodcock, J. (eds.) ICTAC 2010. LNCS, vol. 6255, pp. 306\u2013321. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-14808-8_21"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Clements, P.C.: A survey of architecture description languages. In: IWSSD (1996)","DOI":"10.1109\/IWSSD.1996.501143"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Dashofy, E.M., Van der Hoek, A., Taylor, R.N.: A highly-extensible, xml-based architecture description language. In: WICSA, IEEE (2001)","DOI":"10.1109\/WICSA.2001.948416"},{"issue":"2","key":"14_CR12","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s10270-012-0236-1","volume":"12","author":"JL Fiadeiro","year":"2013","unstructured":"Fiadeiro, J.L., Lopes, A.: A model for dynamic reconfiguration in service-oriented architectures. Softw. Syst. Model. 12(2), 349\u2013367 (2013)","journal-title":"Softw. Syst. Model."},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-39800-4_1","volume-title":"Formal Methods for Software Architectures","author":"D Garlan","year":"2003","unstructured":"Garlan, D.: Formal modeling and analysis of software architecture: components, connectors, and events. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 1\u201324. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-39800-4_1"},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S1571-0661(04)80201-9","volume":"51","author":"D Hirsch","year":"2002","unstructured":"Hirsch, D., Montanari, U.: Two graph-based techniques for software architecture reconfiguration. Electron. Notes Theor. Comput. Sci. 51, 177\u2013190 (2002)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"14_CR15","first-page":"373","volume":"21","author":"P Inverardi","year":"1995","unstructured":"Inverardi, P., Wolf, A.L.: Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE TSE 21, 373\u2013386 (1995)","journal-title":"IEEE TSE"},{"key":"14_CR16","first-page":"521","volume":"24","author":"D M\u00e9tayer Le","year":"1998","unstructured":"Le M\u00e9tayer, D.: Describing software architecture styles using graph grammars. IEEE TSE 24, 521\u2013533 (1998)","journal-title":"IEEE TSE"},{"key":"14_CR17","first-page":"336","volume":"21","author":"DC Luckham","year":"1995","unstructured":"Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and analysis of system architecture using Rapide. IEEE TSE 21, 336\u2013355 (1995)","journal-title":"IEEE TSE"},{"key":"14_CR18","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/250707.239104","volume":"21","author":"J Magee","year":"1996","unstructured":"Magee, J., Kramer, J.: Dynamic structure in software architectures. ACM SIGSOFT SEN 21, 3\u201314 (1996)","journal-title":"ACM SIGSOFT SEN"},{"key":"14_CR19","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z Manna","year":"2012","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New york (2012)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Medvidovic, N.: ADLs and dynamic architecture changes. In: ISAW (1996)","DOI":"10.1145\/243327.243340"},{"key":"14_CR21","first-page":"356","volume":"21","author":"M Moriconi","year":"1995","unstructured":"Moriconi, M., Qian, X., Riemenschneider, R.A.: Correct architecture refinement. IEEE TSE 21, 356\u2013372 (1995)","journal-title":"IEEE TSE"},{"key":"14_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","author":"T Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL: A Proof Assistant for Higher-Order Logic. Springer Science & Business Media, Heidelberg (2002)"},{"key":"14_CR23","first-page":"1","volume":"29","author":"F Oquendo","year":"2004","unstructured":"Oquendo, F.: $$\\pi $$ -ADL: an architecture description language based on the higher-order typed $$\\pi $$ -calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT SEN 29, 1\u201314 (2004)","journal-title":"ACM SIGSOFT SEN"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Penix, J., Alexander, P., Havelund, K.: Declarative specification of software architectures. In: ASE (1997)","DOI":"10.1109\/ASE.1997.632840"},{"key":"14_CR25","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline, vol. 1. Prentice Hall Englewood Cliffs, Upper Saddle River (1996)"},{"key":"14_CR26","unstructured":"Spivey, J.M., Abrial, J.: The Z notation (1992)"},{"key":"14_CR27","doi-asserted-by":"crossref","DOI":"10.1145\/1595696.1595754","volume-title":"Software Architecture: Foundations, Theory, and Practice","author":"RN Taylor","year":"2009","unstructured":"Taylor, R.N., Medvidovic, N., Dashofy, E.M.: Software Architecture: Foundations, Theory, and Practice. Wiley Publishing, Hoboken (2009)"},{"key":"14_CR28","first-page":"277","volume":"10","author":"M Wenzel","year":"2007","unstructured":"Wenzel, M.: Isabelle\/Isar: a generic framework for human-readable proof documents. From Insight to Proof: Festschrift in Honour of Andrzej Trybulec 10, 277\u2013298 (2007)","journal-title":"From Insight to Proof: Festschrift in Honour of Andrzej Trybulec"},{"issue":"5","key":"14_CR29","doi-asserted-by":"crossref","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. ACM SIGSOFT SEN 26(5), 21\u201332 (2001)","journal-title":"ACM SIGSOFT SEN"},{"key":"14_CR30","volume-title":"Algebraic Specification","author":"M Wirsing","year":"1991","unstructured":"Wirsing, M.: Algebraic Specification. MIT Press, Cambridge (1991)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46750-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T19:17:22Z","timestamp":1498331842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46750-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319467498","9783319467504"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46750-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}