{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T21:28:07Z","timestamp":1774560487634,"version":"3.50.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,1,5]],"date-time":"2021-01-05T00:00:00Z","timestamp":1609804800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,5]],"date-time":"2021-01-05T00:00:00Z","timestamp":1609804800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s10009-020-00596-7","type":"journal-article","created":{"date-parts":[[2021,1,5]],"date-time":"2021-01-05T07:03:03Z","timestamp":1609830183000},"page":"701-719","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Programming dynamic reconfigurable systems"],"prefix":"10.1007","volume":"23","author":[{"given":"Rim","family":"El Ballouli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,1,5]]},"reference":[{"key":"596_CR1","doi-asserted-by":"crossref","unstructured":"Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications. In: Carloni, L.P., Tripakis, S. (eds.) Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, pp 229\u2013238. ACM, New York (2010)","DOI":"10.1145\/1879021.1879052"},{"key":"596_CR2","doi-asserted-by":"crossref","unstructured":"Aguirre, N., Maibaum, T.: A temporal logic approach to the specification of reconfigurable component-based systems. In: 17th IEEE International Conference on Automated Software Engineering, ASE 2002, pp. 271\u2013274. IEEE, New York (2002)","DOI":"10.1109\/ASE.2002.1115028"},{"key":"596_CR3","doi-asserted-by":"crossref","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: 1st International Conference on Fundamental Approaches to Software Engineering, FASE\u201998. LNCS, vol. 1382, pp. 21\u201337. Springer, Berlin (1998)","DOI":"10.1007\/BFb0053581"},{"key":"596_CR4","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), pp. 3\u201312. IEEE Computer Society (2006)"},{"issue":"3","key":"596_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A Basu","year":"2011","unstructured":"Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T., Sifakis, J.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41\u201348 (2011)","journal-title":"IEEE Softw."},{"key":"596_CR6","doi-asserted-by":"crossref","unstructured":"Bergenhem, C.: Approaches for facilities layer protocols for platooning. In: IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015, pp. 1989\u20131994. IEEE, New York (2015)","DOI":"10.1109\/ITSC.2015.322"},{"issue":"10","key":"596_CR7","doi-asserted-by":"publisher","first-page":"1315","DOI":"10.1109\/TC.2008.26","volume":"57","author":"S Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors structuring interaction in BIP. IEEE Trans. Comput. 57(10), 1315\u20131330 (2008)","journal-title":"IEEE Trans. Comput."},{"issue":"5","key":"596_CR8","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s00446-012-0168-6","volume":"25","author":"B Bonakdarpour","year":"2012","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: A framework for automated distributed implementation of component-based models. Distrib. Comput. 25(5), 383\u2013409 (2012)","journal-title":"Distrib. Comput."},{"key":"596_CR9","doi-asserted-by":"crossref","unstructured":"Bozga, M., Jaber, M., Maris, N., Sifakis, J.: Modeling dynamic architectures using Dy-BIP. In: Software Composition\u201411th International Conference, SC 2012, LNCS, vol. 7306, pp. 1\u201316. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30564-1_1"},{"key":"596_CR10","doi-asserted-by":"crossref","unstructured":"Bozga, M., Iosif, R., Sifakis, J.: Checking deadlock-freedom of parametric component-based systems. In: Tools and Algorithms for the Construction and Analysis of Systems\u201425th International Conference, TACAS 2019, LNCS, vol. 11428, pp. 3\u201320. Springer, Berlin (2019)","DOI":"10.1007\/978-3-030-17465-1_1"},{"key":"596_CR11","unstructured":"Bradbury, J.: Organizing definitions and formalisms for dynamic software architectures. Tech. Rep. 2004-477, Software Technology Laboratory, School of Computing, Queen\u2019s University (2004)"},{"key":"596_CR12","doi-asserted-by":"crossref","unstructured":"Bradbury, J., Cordy, J., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, pp. 28\u201333. ACM, New York (2004)","DOI":"10.1145\/1075405.1075411"},{"key":"596_CR13","unstructured":"Butting, A., Heim, R., Kautz, O., Ringert, J.O., Rumpe, B., Wortmann, A.: A classification of dynamic reconfiguration in component and connector architecture description. In: Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp), CEUR-WS.org, CEUR Workshop Proceedings, vol. 2019, pp. 10\u201316 (2017)"},{"key":"596_CR14","doi-asserted-by":"crossref","unstructured":"Canal, C., Pimentel, E., Troya, J.M.: Specification and refinement of dynamic software architectures. In: Software Architecture, TC2 First Working IFIP Conference on Software Architecture (WICSA1), IFIP Conference Proceedings, vol. 140, pp. 107\u2013126. Kluwer, Dordrecht (1999)","DOI":"10.1007\/978-0-387-35563-4_7"},{"key":"596_CR15","doi-asserted-by":"crossref","unstructured":"Cavalcante, E., Batista, T.V., Oquendo, F.: Supporting dynamic software architectures: from architectural description to implementation. In: Bass, L., Lago, P., Kruchten, P. (eds.) 12th Working IEEE\/IFIP Conference on Software Architecture, WICSA 2015, pp. 31\u201340. IEEE Computer Society (2015)","DOI":"10.1109\/WICSA.2015.21"},{"key":"596_CR16","doi-asserted-by":"crossref","unstructured":"Cimatti, A., DeLong, R., Stojic, I., Tonetta, S.: Model-based run-time synthesis of architectural configurations for adaptive MILS systems. In: Romanovsky, A.B., Troubitsyna, E., Bitsch, F. (eds.) Computer Safety, Reliability, and Security\u201438th International Conference, SAFECOMP 2019, Lecture Notes in Computer Science, vol. 11698, pp. 200\u2013215. Springer, Berlin (2019)","DOI":"10.1007\/978-3-030-26601-1_14"},{"issue":"2","key":"596_CR17","doi-asserted-by":"publisher","first-page":"7:1","DOI":"10.1145\/2619998","volume":"9","author":"R De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. TAAS 9(2), 7:1\u20137:29 (2014)","journal-title":"TAAS"},{"key":"596_CR18","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Maggi, A., Sifakis, J.: DReAM: dynamic reconfigurable architecture modeling. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems\u20148th International Symposium, ISoLA 2018, Lecture Notes in Computer Science, vol. 11246, pp. 13\u201331. Springer, Berlin (2018)","DOI":"10.1007\/978-3-030-03424-5_2"},{"key":"596_CR19","doi-asserted-by":"crossref","unstructured":"Dormoy, J., Kouchnarenko, O., Lanoix, A.: Using temporal logic for dynamic reconfigurations of components. In: Barbosa, L.S., Lumpe, M. (eds.) Formal Aspects of Component Software\u20147th International Workshop, FACS 2010, Lecture Notes in Computer Science, vol. 6921, pp. 200\u2013217. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-27269-1_12"},{"key":"596_CR20","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.jlamp.2017.06.003","volume":"92","author":"R Edelmann","year":"2017","unstructured":"Edelmann, R., Bliudze, S., Sifakis, J.: Functional BIP: embedding connectors in functional programming languages. J. Log. Algebr. Methods Program. 92, 19\u201344 (2017)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"596_CR21","doi-asserted-by":"crossref","unstructured":"El Ballouli, R., Bensalem, S., Bozga, M., Sifakis, J.: Four exercises in programming dynamic reconfigurable systems: methodology and solution in DR-BIP. In: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems\u20148th International Symposium, ISoLA 2018, LNCS, vol. 11246, pp. 304\u2013320. Springer, Berlin (2018)","DOI":"10.1007\/978-3-030-03424-5_20"},{"key":"596_CR22","doi-asserted-by":"crossref","unstructured":"El Ballouli, R., Bensalem, S., Bozga, M., Sifakis, J.: Programming dynamic reconfigurable systems. In: Formal Aspects of Component Software\u201415th International Conference, FACS 2018, Proceedings, Lecture Notes in Computer Science, vol. 11222, pp. 118\u2013136. Springer, Berlin (2018)","DOI":"10.1007\/978-3-030-02146-7_6"},{"key":"596_CR23","unstructured":"Endler, M., Wei, J.: Programming generic dynamic reconfigurations for distributed applications. In: International Workshop on Configurable Distributed Systems, 1992, pp. 68\u201379. IET (1992)"},{"key":"596_CR24","doi-asserted-by":"crossref","unstructured":"Garlan, D.: Software architecture: a travelogue. In: Proceedings of the on Future of Software Engineering, FOSE 2014, pp. 29\u201339. ACM, New York (2014)","DOI":"10.1145\/2593882.2593886"},{"key":"596_CR25","doi-asserted-by":"crossref","unstructured":"Heim, R., Kautz, O., Ringert, J.O., Rumpe, B., Wortmann, A.: Retrofitting controlled dynamic reconfiguration into the architecture description language MontiArcAutomaton. In: Software Architecture\u201410th European Conference (ECSA\u201916) (2016)","DOI":"10.1007\/978-3-319-48992-6_13"},{"key":"596_CR26","doi-asserted-by":"crossref","unstructured":"Le M\u00e9tayer, D.: Software architecture styles as graph grammars. In: In ACM SIGSOFT Software Engineering Notes, vol. 21, issue 6, pp. 15\u201323. ACM, New York (1996)","DOI":"10.1145\/250707.239105"},{"issue":"4","key":"596_CR27","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D Luckham","year":"1995","unstructured":"Luckham, D., Kenney, J., Augustin, L., Vera, J., Bryan, D., Mann, W.: Specification and analysis of system architecture using Rapide. IEEE Trans. Softw. Eng. 21(4), 336\u2013354 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"596_CR28","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J.: Dynamic structure in software architectures. In: ACM SIGSOFT Software Engineering Notes, vol. 21, issue 6, pp. 3\u201314. ACM, New York (1996)","DOI":"10.1145\/250707.239104"},{"issue":"6","key":"596_CR29","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1109\/TSE.2012.74","volume":"39","author":"I Malavolta","year":"2013","unstructured":"Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Softw. Eng. 39(6), 869\u2013891 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"596_CR30","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.jlamp.2016.05.002","volume":"86","author":"A Mavridou","year":"2017","unstructured":"Mavridou, A., Baranov, E., Bliudze, S., Sifakis, J.: Configuration logics: modeling architecture styles. J. Log. Algebr. Methods Program. 86(1), 2\u201329 (2017)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"596_CR31","doi-asserted-by":"crossref","unstructured":"Mavridou, A., Rutz, V., Bliudze, S.: Coordination of dynamic software components with JavaBIP. In: Formal Aspects of Component Software\u201414th International Conference, FACS 2017, LNCS, vol. 10487, pp. 39\u201357. Springer, Berlin (2017)","DOI":"10.1007\/978-3-319-68034-7_3"},{"key":"596_CR32","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Rosenblum, D.S., Taylor, R.N.: A language and environment for architecture-based software development and evolution. In: Boehm, B.W., Garlan, D., Kramer, J. (eds.) Proceedings of the 1999 International Conference on Software Engineering, ICSE\u201999, pp. 44\u201353. ACM, New York (1999)","DOI":"10.1145\/302405.302410"},{"issue":"3\/4","key":"596_CR33","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1504\/IJCCBS.2018.096439","volume":"8","author":"A Nouri","year":"2018","unstructured":"Nouri, A., Mediouni, B.L., Bozga, M., Combaz, J., Bensalem, S., Legay, A.: Performance evaluation of stochastic real-time systems with the SBIP framework. IJCCBS 8(3\/4), 340\u2013370 (2018)","journal-title":"IJCCBS"},{"issue":"4","key":"596_CR34","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1109\/TEVC.2008.2011746","volume":"13","author":"S Nouyan","year":"2009","unstructured":"Nouyan, S., Gross, R., Bonani, M., Mondada, F., Dorigo, M.: Teamwork in self-organized robot colonies. IEEE Trans. Evol. Comput. 13(4), 695\u2013711 (2009)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"596_CR35","unstructured":"Quintero, C.E.C., de la Fuente, P., Barrio-Sol\u00f3rzano, M.: Dynamic coordination architecture through the use of reflection. In: Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), pp. 134\u2013140. ACM, New York (2001)"},{"key":"596_CR36","first-page":"218","volume":"44","author":"A Sanchez","year":"2015","unstructured":"Sanchez, A., Madeira, A., Barbosa, L.S.: On the verification of architectural reconfigurations. Comput. Lang. Syst. Struct. 44, 218\u2013237 (2015)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"596_CR37","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Goedicke, M., Meyer, T.: Dynamic change management by distributed graph transformation: towards configurable distributed systems. In: International Workshop on Theory and Application of Graph Transformations, pp. 179\u2013193. Springer, Berlin (1998)","DOI":"10.1007\/978-3-540-46464-8_13"},{"key":"596_CR38","doi-asserted-by":"crossref","unstructured":"Taivalsaari, A., Mikkonen, T., Syst\u00e4, K.: Liquid software manifesto: the era of multiple device ownership and its implications for software architecture. In: IEEE 38th Annual Computer Software and Applications Conference, COMPSAC 2014, pp. 338\u2013343. IEEE Computer Society (2014)","DOI":"10.1109\/COMPSAC.2014.56"},{"key":"596_CR39","unstructured":"Verimag, DR-BIP Prototype (2018). https:\/\/www-verimag.imag.fr\/~bozga\/download\/drbip.tgz"},{"issue":"5","key":"596_CR40","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1049\/ip-sen:19982294","volume":"145","author":"M Wermelinger","year":"1998","unstructured":"Wermelinger, M.: Towards a chemical model for software architecture reconfiguration. IEE Proc. Softw. 145(5), 130\u2013136 (1998)","journal-title":"IEE Proc. Softw."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00596-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-020-00596-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00596-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T20:12:52Z","timestamp":1724184772000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-020-00596-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,5]]},"references-count":40,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["596"],"URL":"https:\/\/doi.org\/10.1007\/s10009-020-00596-7","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,5]]},"assertion":[{"value":"1 December 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 January 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}