{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T11:56:16Z","timestamp":1790510176454,"version":"4.1.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319680330","type":"print"},{"value":"9783319680347","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-68034-7_3","type":"book-chapter","created":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T17:32:45Z","timestamp":1505323965000},"page":"39-57","source":"Crossref","is-referenced-by-count":4,"title":["Coordination of Dynamic Software Components with JavaBIP"],"prefix":"10.1007","author":[{"given":"Anastasia","family":"Mavridou","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Valentin","family":"Rutz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simon","family":"Bliudze","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,9,14]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Akers, S.B.: Binary decision diagrams. IEEE Trans. Comput. C-27(6), 509\u2013516 (1978)","DOI":"10.1109\/TC.1978.1675141"},{"key":"3_CR3","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":"3_CR4","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF00262973","volume":"17","author":"A Arnold","year":"1982","unstructured":"Arnold, A.: Synchronized behaviours of processes and rational relations. Acta Informatica 17, 21\u201329 (1982)","journal-title":"Acta Informatica"},{"issue":"3","key":"3_CR5","doi-asserted-by":"crossref","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.-H., Sifakis, J.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41\u201348 (2011)","journal-title":"IEEE Softw."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), pp. 3\u201312, September 2006, Invited talk","DOI":"10.1109\/SEFM.2006.27"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"614","DOI":"10.1007\/978-3-642-02658-4_45","volume-title":"Computer Aided Verification","author":"S Bensalem","year":"2009","unstructured":"Bensalem, S., Bozga, M., Nguyen, T.-H., Sifakis, J.: D-Finder: a tool for compositional deadlock detection and verification. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 614\u2013619. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02658-4_45"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-319-24953-7_25","volume-title":"Automated Technology for Verification and Analysis","author":"S Bliudze","year":"2015","unstructured":"Bliudze, S., Cimatti, A., Jaber, M., Mover, S., Roveri, M., Saab, W., Wang, Q.: Formal verification of infinite-state BIP models. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 326\u2013343. Springer, Cham (2015). doi: 10.1007\/978-3-319-24953-7_25"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Mavridou, A., Szymanek, R., Zolotukhina, A.: Coordination of software components with BIP: application to OSGi. In: Proceedings of the 6th International Workshop on Modeling in Software Engineering, MiSE 2014, pp. 25\u201330. ACM, New York (2014)","DOI":"10.1145\/2593770.2593777"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Mavridou, A., Szymanek, R., Zolotukhina, A.: Exogenous coordination of concurrent software components with JavaBIP. Software: Practice and Experience (2017). Early view: http:\/\/dx.doi.org\/10.1002\/spe.2495","DOI":"10.1002\/spe.2495"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: From high-level component-based models to distributed implementations. In: Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2010, pp. 209\u2013218. ACM, New York (2010)","DOI":"10.1145\/1879021.1879049"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-30564-1_1","volume-title":"Software Composition","author":"M Bozga","year":"2012","unstructured":"Bozga, M., Jaber, M., Maris, N., Sifakis, J.: Modeling dynamic architectures using Dy-BIP. In: Gschwind, T., De Paoli, F., Gruhn, V., Book, M. (eds.) SC 2012. LNCS, vol. 7306, pp. 1\u201316. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-30564-1_1"},{"key":"3_CR13","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: Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, pp. 28\u201333. ACM, New York (2004)","DOI":"10.1145\/1075405.1075411"},{"issue":"1","key":"3_CR14","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.entcs.2008.04.073","volume":"213","author":"R Bruni","year":"2008","unstructured":"Bruni, R., Bucchiarone, A., Gnesi, S., Melgratti, H.: Modelling dynamic software architectures using typed graph grammars. Electron. Notes Theoret. Comput. Sci. 213(1), 39\u201353 (2008)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-642-54624-2_19","volume-title":"Specification, Algebra, and Software","author":"R Bruni","year":"2014","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Behaviour, interaction and dynamics. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 382\u2013401. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54624-2_19"},{"issue":"13","key":"3_CR16","first-page":"2182","volume":"14","author":"J C\u00e1mara","year":"2008","unstructured":"C\u00e1mara, J., Sala\u00fcn, G., Canal, C.: Composition and run-time adaptation of mismatching behavioural interfaces. J. Univ. Comput. Sci. 14(13), 2182\u20132211 (2008)","journal-title":"J. Univ. Comput. Sci."},{"key":"3_CR17","series-title":"IFIP \u2014 The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-0-387-35563-4_7","volume-title":"Software Architecture","author":"C Canal","year":"1999","unstructured":"Canal, C., Pimentel, E., Troya, J.M.: Specification and refinement of dynamic software architectures. In: Donohoe, P. (ed.) Software Architecture. ITIFIP, vol. 12, pp. 107\u2013125. Springer, Boston (1999). doi: 10.1007\/978-0-387-35563-4_7"},{"issue":"4","key":"3_CR18","first-page":"361","volume":"82","author":"D Clarke","year":"2008","unstructured":"Clarke, D.: A basic logic for reasoning about connector reconfiguration. Fundamenta Informaticae 82(4), 361\u2013390 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Cuesta, C.E., de la Fuente, P., Barrio-Sol\u00e1rzano, M.: Dynamic coordination architecture through the use of reflection. In: Proceedings of the 2001 ACM Symposium on Applied Computing, pp. 134\u2013140. ACM (2001)","DOI":"10.1145\/372202.372298"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-21464-6_2","volume-title":"Coordination Models and Languages","author":"C Giusto Di","year":"2011","unstructured":"Di Giusto, C., Stefani, J.-B.: Revisiting glue expressiveness in component-based systems. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol. 6721, pp. 16\u201330. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21464-6_2"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Edelmann, R., Bliudze, S., Sifakis, J., Functional, B.I.P.: Embedding connectors in functional programming languages. J. Logical Algebraic Methods Program. (2017) (Under review)","DOI":"10.1016\/j.jlamp.2017.06.003"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Georgiadis, I., Magee, J., Kramer, J.: Self-organising software architectures for distributed systems. In: Proceedings of the First Workshop on Self-Healing Systems, pp. 33\u201338. ACM (2002)","DOI":"10.1145\/582128.582135"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-319-39570-8_12","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"L Henrio","year":"2016","unstructured":"Henrio, L., Madelaine, E., Zhang, M.: A theory for the composition of concurrent processes. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 175\u2013194. Springer, Cham (2016). doi: 10.1007\/978-3-319-39570-8_12"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Hirsch, D., Inverardi, P., Montanari, U.: Graph grammars and constraint solving for software architecture styles. In: Proceedings of the Third International Workshop on Software Architecture, pp. 69\u201372. ACM (1998)","DOI":"10.1145\/288408.288426"},{"issue":"2","key":"3_CR25","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. (TOSEM) 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"3_CR26","unstructured":"Koehler, C., Costa, D., Proen\u00e7a, J., Arbab, F.: Reconfiguration of Reo connectors triggered by dataflow. ECEASST 10 (2008)"},{"issue":"1","key":"3_CR27","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.scico.2009.10.006","volume":"76","author":"C Krause","year":"2011","unstructured":"Krause, C., Maraikar, Z., Lazovik, A., Arbab, F.: Modeling dynamic reconfigurations in Reo using high-level replacement systems. Sci. Comput. Program. 76(1), 23\u201336 (2011)","journal-title":"Sci. Comput. Program."},{"issue":"7","key":"3_CR28","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D M\u00e9tayer Le","year":"1998","unstructured":"Le M\u00e9tayer, D.: Describing software architecture styles using graph grammars. IEEE Trans. Softw. Eng. 24(7), 521\u2013533 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"3_CR29","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 Softw. Eng. Notes 21(6), 3\u201314 (1996)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"1","key":"3_CR30","doi-asserted-by":"crossref","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. Logical Algebraic Methods Program. 86(1), 2\u201329 (2017)","journal-title":"J. Logical Algebraic Methods Program."},{"key":"3_CR31","unstructured":"Mavridou, A., Rutz, V., Bliudze, S.: Coordination of dynamic software components with JavaBIP. Technical report (2017), https:\/\/arxiv.org\/abs\/1707.09716"},{"issue":"1","key":"3_CR32","doi-asserted-by":"crossref","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."},{"issue":"8","key":"3_CR33","doi-asserted-by":"crossref","first-page":"1023","DOI":"10.1016\/S0167-739X(01)00043-7","volume":"17","author":"GA Papadopoulos","year":"2001","unstructured":"Papadopoulos, G.A., Arbab, F.: Configuration and dynamic reconfiguration of components using the coordination paradigm. Future Gener. Comput. Syst. 17(8), 1023\u20131038 (2001)","journal-title":"Future Gener. Comput. Syst."},{"key":"3_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-540-72952-5_9","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"P Poizat","year":"2007","unstructured":"Poizat, P., Sala\u00fcn, G.: Adaptation of open component-based systems. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 141\u2013156. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-72952-5_9"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68034-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,17]],"date-time":"2020-10-17T16:28:51Z","timestamp":1602952131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68034-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319680330","9783319680347"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68034-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}