{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T04:47:11Z","timestamp":1746506831447},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,3,6]],"date-time":"2020-03-06T00:00:00Z","timestamp":1583452800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,6]],"date-time":"2020-03-06T00:00:00Z","timestamp":1583452800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/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":[[2020,8]]},"DOI":"10.1007\/s10009-020-00555-2","type":"journal-article","created":{"date-parts":[[2020,3,6]],"date-time":"2020-03-06T12:02:26Z","timestamp":1583496146000},"page":"437-455","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications"],"prefix":"10.1007","volume":"22","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Maggi","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":[[2020,3,6]]},"reference":[{"key":"555_CR1","doi-asserted-by":"crossref","unstructured":"Garlan, D.: Software architecture: a travelogue. In: Proceedings of the on Future of Software Engineering, pp.\u00a029\u201339. ACM (2014)","DOI":"10.1145\/2593882.2593886"},{"key":"555_CR2","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: Proceedings of the 38th Computer Software and Applications Conference, pp.\u00a0338\u2013343. IEEE (2014)","DOI":"10.1109\/COMPSAC.2014.56"},{"key":"555_CR3","unstructured":"Bradbury, J.S.: Organizing definitions and formalisms for dynamic software architectures, Technical Report, vol.\u00a0477 (2004)"},{"key":"555_CR4","unstructured":"Oreizy, P., et\u00a0al.: Issues in modeling and analyzing dynamic software architectures. In: Proceedings of the International Workshop on the Role of Software Architecture in Testing and Analysis, pp.\u00a054\u201357 (1998)"},{"issue":"6","key":"555_CR5","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."},{"key":"555_CR6","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 languages. In: Pre-proceedings of 4th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering, p.\u00a013 (2017)"},{"issue":"1","key":"555_CR7","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/j.infsof.2006.08.006","volume":"49","author":"N Medvidovic","year":"2007","unstructured":"Medvidovic, N., Dashofy, E.M., Taylor, R.N.: Moving architectural description from under the technology lamppost. Inf. Softw. Technol. 49(1), 12\u201331 (2007)","journal-title":"Inf. Softw. Technol."},{"key":"555_CR8","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-030-03424-5_2","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems","author":"R De Nicola","year":"2018","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, pp. 13\u201331. Springer, Cham (2018)"},{"issue":"10","key":"555_CR9","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."},{"key":"555_CR10","doi-asserted-by":"crossref","unstructured":"Pinciroli, C., Lee-Brown, A., Beltrame, G.: Buzz: An extensible programming language for self-organizing heterogeneous robot swarms. arXiv preprint arXiv:1507.05946 (2015)","DOI":"10.1109\/IROS.2016.7759558"},{"key":"555_CR11","doi-asserted-by":"crossref","unstructured":"Bozga, M., Jaber, M., Maris, N., Sifakis, J.: Modeling dynamic architectures using Dy-BIP. In: Software Composition, pp.\u00a01\u201316. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30564-1_1"},{"key":"555_CR12","doi-asserted-by":"crossref","unstructured":"Milner, R.: A calculus of communicating systems (1980)","DOI":"10.1007\/3-540-10235-3"},{"issue":"3","key":"555_CR13","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"SD Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31(3), 560\u2013599 (1984)","journal-title":"J. ACM"},{"issue":"1","key":"555_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus Of Mobile Processes, I. Inf. Comput. 100(1), 1\u201340 (1992)","journal-title":"Inf. Comput."},{"key":"555_CR15","doi-asserted-by":"crossref","unstructured":"Alrahman, Y.\u00a0Abd, Nicola, R.\u00a0De, Loreti, M.: On the power of attribute-based communication. In: Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems\u2014FORTE 2016\u201436th IFIP WG 6.1 International Conference","DOI":"10.1007\/978-3-319-39570-8_1"},{"key":"555_CR16","unstructured":"Pinciroli, C., Beltrame, G.: Buzz: an extensible programming language for heterogeneous swarm robotics. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), 2016, pp. 3794\u20133800, IEEE (2016)"},{"key":"555_CR17","unstructured":"Bruni, R., Lafuente, A.\u00a0L., Montanari, U., Tuosto, E.: Style based reconfigurations of software architectures, Universita di Pisa, Tech. Rep. TR-07-17, (2007)"},{"issue":"3","key":"555_CR18","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2009.05.012","volume":"238","author":"R Bruni","year":"2009","unstructured":"Bruni, R., Lluch-Lafuente, A., Montanari, U.: Hierarchical design rewriting with maude. Electron. Notes Theor. Comput. Sci. 238(3), 45\u201362 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"555_CR19","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: ISoLA 2018, vol. 11246. Springer (2018)","DOI":"10.1007\/978-3-030-03424-5_20"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00555-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-020-00555-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00555-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,17]],"date-time":"2022-10-17T21:02:45Z","timestamp":1666040565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-020-00555-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,6]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["555"],"URL":"https:\/\/doi.org\/10.1007\/s10009-020-00555-2","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,6]]},"assertion":[{"value":"6 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}