{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T06:12:26Z","timestamp":1726035146111},"publisher-location":"Cham","reference-count":91,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030214845"},{"type":"electronic","value":"9783030214852"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-21485-2_12","type":"book-chapter","created":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T14:04:18Z","timestamp":1562162658000},"page":"191-216","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Different Glasses to Look into the Three Cs: Component, Connector, Coordination"],"prefix":"10.1007","author":[{"given":"Farhad","family":"Arbab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Autili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,3]]},"reference":[{"unstructured":"Allen, R.: A formal approach to software architecture. Ph.D. thesis, Carnegie Mellon, School of Computer Science, January 1997. Issued as CMU Technical Report CMU-CS-97-144","key":"12_CR1"},{"issue":"3","key":"12_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213\u2013249 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"unstructured":"Arbab, F.: What do you mean, coordination? Bulletin of the Dutch Association for Theoretical Computer Science (NVTI), 19 March 1998","key":"12_CR3"},{"issue":"3","key":"12_CR4","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1\u20133","key":"12_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2004.05.010","volume":"55","author":"F Arbab","year":"2005","unstructured":"Arbab, F.: Abstract behavior types: a foundation model for components and their composition. Sci. Comput. Program. 55(1\u20133), 3\u201352 (2005)","journal-title":"Sci. Comput. Program."},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-24933-4_9","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"F Arbab","year":"2011","unstructured":"Arbab, F.: Puff, the magic protocol. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 169\u2013206. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-24933-4_9"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-319-30734-3_7","volume-title":"Theory and Practice of Formal Methods","author":"F Arbab","year":"2016","unstructured":"Arbab, F.: Proper protocol. In: \u00c1brah\u00e1m, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 65\u201387. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-30734-3_7"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-89674-6_8","volume-title":"Intelligent Agents and Multi-Agent Systems","author":"F Arbab","year":"2008","unstructured":"Arbab, F., A\u015ftef\u0103noaei, L., de Boer, F.S., Dastani, M., Meyer, J.-J., Tinnermeier, N.: Reo connectors as coordination artifacts in 2APL systems. In: Bui, T.D., Ho, T.V., Ha, Q.-T. (eds.) PRIMA 2008. LNCS (LNAI), vol. 5357, pp. 42\u201353. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-89674-6_8"},{"doi-asserted-by":"crossref","unstructured":"Arbab, F., Chothia, T., Meng, S., Moon, Y.-J.: Component connectors with QoS guarantees. In: Murphy and Vitek [84], pp. 286\u2013304","key":"12_CR9","DOI":"10.1007\/978-3-540-72794-1_16"},{"key":"12_CR10","first-page":"268","volume-title":"Lecture Notes in Computer Science","author":"Farhad Arbab","year":"2009","unstructured":"Arbab, F., Chothia, T., van der Mei, R., Meng, S., Moon, Y.-J., Verhoef, C.: From coordination to stochastic models of QoS. In: Field and Vasconcelos [49], pp. 268\u2013287"},{"key":"12_CR11","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-88479-8_9","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"F Arbab","year":"2008","unstructured":"Arbab, F., Kokash, N., Meng, S.: Towards using Reo for compliance-aware business process modeling. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 108\u2013123. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-88479-8_9"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-87891-9_8","volume-title":"Component-Based Software Engineering","author":"F Arbab","year":"2008","unstructured":"Arbab, F., Meng, S.: Synthesis of connectors from scenario-based interaction specifications. In: Chaudron, M.R.V., Szyperski, C., Reussner, R. (eds.) CBSE 2008. LNCS, vol. 5282, pp. 114\u2013129. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-87891-9_8"},{"doi-asserted-by":"crossref","unstructured":"Arbab, F., Meng, S., Moon, Y.-J., Kwiatkowska, M.Z., Qu, H.: Reo2MC: a tool chain for performance analysis of coordination models. In: van Vliet, H., Issarny, V. (eds.) ESEC\/SIGSOFT FSE, pp. 287\u2013288. ACM (2009)","key":"12_CR13","DOI":"10.1145\/1595696.1595745"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-40020-2_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F Arbab","year":"2003","unstructured":"Arbab, F., Rutten, J.J.M.M.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002. LNCS, vol. 2755, pp. 34\u201355. Springer, Heidelberg (2003). \n                      https:\/\/doi.org\/10.1007\/978-3-540-40020-2_2"},{"unstructured":"Arvind, A., Gostelow, K.P., Plouffe, W.: Indeterminancy, monitors, and dataflow. In: Rosen, S., Denning, P.J. (eds.) Proceedings of the Sixth Symposium on Operating System Principles, SOSP 1977, Purdue University, West Lafayette, Indiana, USA, 16\u201318 November 1977, pp. 159\u2013169. ACM (1977)","key":"12_CR15"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-319-10431-7_10","volume-title":"Software Engineering and Formal Methods","author":"P Attie","year":"2014","unstructured":"Attie, P., Baranov, E., Bliudze, S., Jaber, M., Sifakis, J.: A general framework for architecture composability. In: Giannakopoulou, D., Sala\u00fcn, G. (eds.) SEFM 2014. LNCS, vol. 8702, pp. 128\u2013143. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-10431-7_10"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-16561-0_28","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"M Autili","year":"2010","unstructured":"Autili, M., Chilton, C., Inverardi, P., Kwiatkowska, M., Tivoli, M.: Towards a connector algebra. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6416, pp. 278\u2013292. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-16561-0_28"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2017.10.010","volume":"160","author":"M Autili","year":"2018","unstructured":"Autili, M., Inverardi, P., Tivoli, M.: Choreography realizability enforcement through the automatic synthesis of distributed coordination delegates. Sci. Comput. Program. 160, 3\u201329 (2018)","journal-title":"Sci. Comput. Program."},{"doi-asserted-by":"crossref","unstructured":"Autili, M., Salle, A.D., Gallo, F., Pompilio, C., Tivoli, M.: On the model-driven synthesis of evolvable service choreographies. In: Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, ECSA 2018, Madrid, Spain, 24\u201328 September 2018, pp. 20:1\u201320:6 (2018)","key":"12_CR19","DOI":"10.1145\/3241403.3241425"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-04167-9_5","volume-title":"Formal Methods for Components and Objects","author":"C Baier","year":"2009","unstructured":"Baier, C., Blechmann, T., Klein, J., Kl\u00fcppelholz, S.: Formal verification for components and connectors. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol. 5751, pp. 82\u2013101. Springer, Heidelberg (2009). \n                      https:\/\/doi.org\/10.1007\/978-3-642-04167-9_5"},{"key":"12_CR21","first-page":"247","volume-title":"Lecture Notes in Computer Science","author":"Christel Baier","year":"2009","unstructured":"Baier, C., Blechmann, T., Klein, J., Kl\u00fcppelholz, S.: A uniform framework for modeling and verifying components and connectors. In: Field and Vasconcelos [49], pp. 247\u2013267"},{"key":"12_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-16561-0_15","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"C Baier","year":"2010","unstructured":"Baier, C., Blechmann, T., Klein, J., Kl\u00fcppelholz, S., Leister, W.: Design and verification of systems with exogenous coordination using Vereofy. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6416, pp. 97\u2013111. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-16561-0_15"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-21455-4_4","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"C Baier","year":"2011","unstructured":"Baier, C., Klein, J., Kl\u00fcppelholz, S.: Modeling and verification of components and connectors. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 114\u2013147. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-21455-4_4"},{"issue":"2","key":"12_CR24","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11767954_1","volume-title":"Coordination Models and Languages","author":"C Baier","year":"2006","unstructured":"Baier, C., Wolf, V.: Stochastic reasoning about channel-based component connectors. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 1\u201315. Springer, Heidelberg (2006). \n                      https:\/\/doi.org\/10.1007\/11767954_1"},{"unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM 2006: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, Washington, DC, USA, pp. 3\u201312. IEEE Computer Society (2006)","key":"12_CR26"},{"unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Proceedings of SEFM 2006, pp. 3\u201312. IEEE (2006)","key":"12_CR27"},{"key":"12_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-662-49665-7_2","volume-title":"Fundamental Approaches to Software Engineering","author":"S Basu","year":"2016","unstructured":"Basu, S., Bultan, T.: Automated choreography repair. In: Stevens, P., W\u0105sowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 13\u201330. Springer, Heidelberg (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-662-49665-7_2"},{"doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: POPL. ACM (2012)","key":"12_CR29","DOI":"10.1145\/2103656.2103680"},{"key":"12_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-58043-3_16","volume-title":"A Decade of Concurrency Reflections and Perspectives","author":"A Benveniste","year":"1994","unstructured":"Benveniste, A., Caspi, P., Le Guernic, P., Halbwachs, N.: Data-flow synchronous languages. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol. 803, pp. 1\u201345. Springer, Heidelberg (1994). \n                      https:\/\/doi.org\/10.1007\/3-540-58043-3_16"},{"key":"12_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48153-2_1","volume-title":"Correct Hardware Design and Verification Methods","author":"G Berry","year":"1999","unstructured":"Berry, G.: Esterel and Jazz: two synchronous languages for circuit design (abstract). In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, p. 1. Springer, Heidelberg (1999). \n                      https:\/\/doi.org\/10.1007\/3-540-48153-2_1"},{"issue":"2","key":"12_CR32","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s00165-007-0045-4","volume":"20","author":"P Bhaduri","year":"2008","unstructured":"Bhaduri, P., Ramesh, S.: Interface synthesis and protocol conversion. Form. Asp. Comput. 20(2), 205\u2013224 (2008)","journal-title":"Form. Asp. Comput."},{"key":"12_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/11494881_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"P Bidinger","year":"2005","unstructured":"Bidinger, P., Schmitt, A., Stefani, J.-B.: An abstract machine for the Kell calculus. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 31\u201346. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/11494881_3"},{"key":"12_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-39958-2_8","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"P Bidinger","year":"2003","unstructured":"Bidinger, P., Stefani, J.-B.: The Kell calculus: operational semantics and type system. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 109\u2013123. Springer, Heidelberg (2003). \n                      https:\/\/doi.org\/10.1007\/978-3-540-39958-2_8"},{"key":"12_CR35","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.entcs.2008.06.029","volume":"215","author":"T Blechmann","year":"2008","unstructured":"Blechmann, T., Baier, C.: Checking equivalence for Reo networks. Electr. Notes Theor. Comput. Sci 215, 209\u2013226 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci"},{"issue":"10","key":"12_CR36","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":"1","key":"12_CR37","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.tcs.2006.07.005","volume":"366","author":"R Bruni","year":"2006","unstructured":"Bruni, R., Lanese, I., Montanari, U.: A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1), 98\u2013120 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"12_CR38","first-page":"155","volume":"4","author":"JT Buck","year":"1994","unstructured":"Buck, J.T., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: a framework for simulating and prototyping heterogenous systems. Int. J. Comput. Simul. 4(2), 155\u2013182 (1994)","journal-title":"Int. J. Comput. Simul."},{"issue":"11","key":"12_CR39","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/384150.384165","volume":"44","author":"N Carriero","year":"2001","unstructured":"Carriero, N., Gelernter, D.: A computational model of everything. Commun. ACM 44(11), 77\u201381 (2001)","journal-title":"Commun. ACM"},{"unstructured":"Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.: LUSTRE: a declarative language for programming synchronous systems. In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, 21\u201323 January 1987, pp. 178\u2013188. ACM Press (1987)","key":"12_CR40"},{"issue":"4","key":"12_CR41","first-page":"361","volume":"82","author":"D Clarke","year":"2008","unstructured":"Clarke, D.: A basic logic for reasoning about connector reconfiguration. Fundam. Inform. 82(4), 361\u2013390 (2008)","journal-title":"Fundam. Inform."},{"key":"12_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/11925040_2","volume-title":"Leveraging Applications of Formal Methods","author":"D Clarke","year":"2006","unstructured":"Clarke, D., Costa, D., Arbab, F.: Modelling coordination in biological systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol. 4313, pp. 9\u201325. Springer, Heidelberg (2006). \n                      https:\/\/doi.org\/10.1007\/11925040_2"},{"issue":"5","key":"12_CR43","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes 26(5), 109\u2013120 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"unstructured":"Dennis, J.B., Gao, G.R.: An efficient pipelined dataflow processor architecture. In: Michael, G.A. (ed.) Proceedings Supercomputing 1988, Orlando, FL, USA, 12\u201317 November 1988, pp. 368\u2013373. IEEE Computer Society (1988)","key":"12_CR44"},{"key":"12_CR45","doi-asserted-by":"publisher","first-page":"121","DOI":"10.4204\/EPTCS.272.10","volume":"272","author":"Kasper Dokter","year":"2018","unstructured":"Dokter, K., Arbab. F.: Treo: textual syntax for Reo connectors. In: Bliudze, S., Bensalem, S. (eds.) Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018. EPTCS, Thessaloniki, Greece, 15th April 2018, vol. 272, pp. 121\u2013135 (2018)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"1","key":"12_CR46","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.jlamp.2016.09.008","volume":"86","author":"K Dokter","year":"2017","unstructured":"Dokter, K., Jongmans, S., Arbab, F., Bliudze, S.: Combine and conquer: relating BIP and Reo. J. Log. Algebr. Meth. Program. 86(1), 134\u2013156 (2017)","journal-title":"J. Log. Algebr. Meth. Program."},{"key":"12_CR47","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-45191-4_5","volume-title":"Generic Programming","author":"J. L. Fiadeiro","year":"2003","unstructured":"Fiadeiro, J.L., Lopes, A., Wermelinger, M.: A mathematical semantics for architectural connectors. In: Generic Programming, pp. 178\u2013221 (2003)"},{"key":"12_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/3-540-18317-5_15","volume-title":"Functional Programming Languages and Computer Architecture","author":"T Gautier","year":"1987","unstructured":"Gautier, T., Le Guernic, P., Besnard, L.: SIGNAL: a declarative language for synchronous programming of real-time systems. In: Kahn, G. (ed.) FPCA 1987. LNCS, vol. 274, pp. 257\u2013277. Springer, Heidelberg (1987). \n                      https:\/\/doi.org\/10.1007\/3-540-18317-5_15"},{"key":"12_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/3-540-48919-3_32","volume-title":"Coordinatio Languages and Models","author":"D Hirsch","year":"1999","unstructured":"Hirsch, D., Uchitel, S., Yankelevich, D.: Towards a periodic table of connectors. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol. 1594, p. 418. Springer, Heidelberg (1999). \n                      https:\/\/doi.org\/10.1007\/3-540-48919-3_32"},{"key":"12_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-19056-8_4","volume-title":"Distributed Computing and Internet Technology","author":"K Honda","year":"2011","unstructured":"Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling interactions with a formal foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol. 6536, pp. 55\u201375. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-19056-8_4"},{"doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Necula, G.C., Wadler, P. (eds.) Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, 7\u201312 January 2008, pp. 273\u2013284. ACM (2008)","key":"12_CR51","DOI":"10.1145\/1328438.1328472"},{"doi-asserted-by":"crossref","unstructured":"Inverardi, P., Tivoli, M.: Automatic synthesis of modular connectors via composition of protocol mediation patterns. In: 35th International Conference on Software Engineering, ICSE 2013, San Francisco, CA, USA, 18\u201326 May 2013, pp. 3\u201312 (2013)","key":"12_CR52","DOI":"10.1109\/ICSE.2013.6606546"},{"doi-asserted-by":"crossref","unstructured":"Jongmans, S.-S., Halle, S., Arbab, F.: Reo: a dataflow inspired language for multicore. In: Proceedings of DFM 2013, pp. 42\u201350. IEEE (2014)","key":"12_CR53","DOI":"10.1109\/DFM.2013.14"},{"unstructured":"Jongmans, S.-S.T.: Automata-theoretic protocol programming: parallel computation, threads and their interaction, optimized compilation, [at a] high level of abstraction. Ph.D. thesis, Leiden University (2015, submitted)","key":"12_CR54"},{"issue":"1","key":"12_CR55","first-page":"201","volume":"22","author":"S-ST Jongmans","year":"2013","unstructured":"Jongmans, S.-S.T., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comput. Sci. 22(1), 201\u2013251 (2013)","journal-title":"Sci. Ann. Comput. Sci."},{"unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Rosenfeld, J.L. (ed.) Information Processing, Stockholm, Sweden, pp. 471\u2013475. North Holland, Amsterdam, August 1974","key":"12_CR56"},{"unstructured":"Kahn, G., MacQueen, D.B.: Coroutines and networks of parallel processes. In: IFIP Congress, pp. 993\u2013998 (1977)","key":"12_CR57"},{"key":"12_CR58","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.entcs.2009.10.027","volume":"255","author":"S Kemper","year":"2009","unstructured":"Kemper, S.: SAT-based verification for timed component connectors. Electr. Notes Theor. Comput. Sci. 255, 103\u2013118 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"12_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-13414-2_7","volume-title":"Coordination Models and Languages","author":"S Kemper","year":"2010","unstructured":"Kemper, S.: Compositional construction of real-time dataflow networks. In: Clarke, D., Agha, G. (eds.) COORDINATION 2010. LNCS, vol. 6116, pp. 92\u2013106. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-13414-2_7"},{"key":"12_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-24431-5_17","volume-title":"Formal Methods for Industrial Critical Systems","author":"J Klein","year":"2011","unstructured":"Klein, J., Kl\u00fcppelholz, S., Stam, A., Baier, C.: Hierarchical modeling and formal verification. An industrial case study using Reo and Vereofy. In: Sala\u00fcn, G., Sch\u00e4tz, B. (eds.) FMICS 2011. LNCS, vol. 6959, pp. 228\u2013243. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-24431-5_17"},{"issue":"2","key":"12_CR61","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2007.03.003","volume":"175","author":"S Kl\u00fcppelholz","year":"2007","unstructured":"Kl\u00fcppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. Electr. Notes Theor. Comput. Sci 175(2), 19\u201337 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci"},{"key":"12_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-03429-9_15","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C Koehler","year":"2009","unstructured":"Koehler, C., Arbab, F., de Vink, E.: Reconfiguring distributed Reo\u00a0connectors. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol. 5486, pp. 221\u2013235. Springer, Heidelberg (2009). \n                      https:\/\/doi.org\/10.1007\/978-3-642-03429-9_15"},{"unstructured":"Koehler, C., Costa, D., Proen\u00e7a, J., Arbab, F.: Reconfiguration of Reo connectors triggered by dataflow. In: Ermel, C., Heckel, R., de Lara, J. (eds.) Proceedings of the 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), vol. 10, pp. 1\u201313 (2008). ECEASST. ISSN 1863-2122. \n                      http:\/\/www.easst.org\/eceasst\/","key":"12_CR63"},{"doi-asserted-by":"crossref","unstructured":"Koehler, C., Lazovik, A., Arbab, F.: ReoService: coordination modeling tool. In: Kr\u00e4mer et al. [72], pp. 625\u2013626","key":"12_CR64","DOI":"10.1007\/978-3-540-74974-5_60"},{"key":"12_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-04167-9_2","volume-title":"Formal Methods for Components and Objects","author":"N Kokash","year":"2009","unstructured":"Kokash, N., Arbab, F.: Formal behavioral modeling and compliance analysis for service-oriented systems. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol. 5751, pp. 21\u201341. Springer, Heidelberg (2009). \n                      https:\/\/doi.org\/10.1007\/978-3-642-04167-9_2"},{"issue":"2","key":"12_CR66","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1109\/TSC.2011.46","volume":"6","author":"N Kokash","year":"2013","unstructured":"Kokash, N., Arbab, F.: Formal design and verification of long-running transactions with extensible coordination tools. IEEE Trans. Serv. Comput. 6(2), 186\u2013200 (2013)","journal-title":"IEEE Trans. Serv. Comput."},{"doi-asserted-by":"crossref","unstructured":"Kokash, N., Krause, C., de Vink, E.: Data-aware design and verification of service compositions with Reo and mCRL2. In: SAC 2010: Proceedings of the 2010 ACM Symposium on Applied Computing, pp. 2406\u20132413. ACM, New York (2010)","key":"12_CR67","DOI":"10.1145\/1774088.1774590"},{"key":"12_CR68","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-17071-3_2","volume-title":"Formal Methods for Components and Objects","author":"N Kokash","year":"2010","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Verification of context-dependent channel-based service models. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 21\u201340. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-17071-3_2"},{"doi-asserted-by":"crossref","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Time and data-aware analysis of graphical service models in Reo. In: Fiadeiro, J.L., Gnesi, S., Maggiolo-Schettini, A. (eds.) SEFM, pp. 125\u2013134. IEEE Computer Society (2010)","key":"12_CR69","DOI":"10.1109\/SEFM.2010.26"},{"unstructured":"Krause, C.: Reconfigurable component connectors. Ph.D. thesis, Leiden University (2011). \n                      https:\/\/openaccess.leidenuniv.nl\/handle\/1887\/17718","key":"12_CR70"},{"issue":"1","key":"12_CR71","doi-asserted-by":"publisher","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":"12_CR72","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"12_CR73","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-540-74974-5_34","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"Alexander Lazovik","year":"2007","unstructured":"Lazovik, A., Arbab, F.: Using Reo for service coordination. In: Kr\u00e4mer et al. [72], pp. 398\u2013403"},{"unstructured":"Liu, X., Xiong, Y., Lee, E.A.: The Ptolemy II framework for visual languages. In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), Stresa, Italy, 5\u20137 September 2001, p. 50. IEEE Computer Society (2001)","key":"12_CR74"},{"issue":"1","key":"12_CR75","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/839268.839272","volume":"12","author":"A Lopes","year":"2003","unstructured":"Lopes, A., Wermelinger, M., Fiadeiro, J.L.: Higher-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12(1), 64\u2013104 (2003)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"5","key":"12_CR76","doi-asserted-by":"publisher","first-page":"1294","DOI":"10.1016\/j.jss.2012.12.026","volume":"86","author":"K Manikas","year":"2013","unstructured":"Manikas, K., Hansen, K.M.: Software ecosystems - a systematic literature review. J. Syst. Softw. 86(5), 1294\u20131306 (2013)","journal-title":"J. Syst. Softw."},{"key":"12_CR77","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, New York (1982)"},{"key":"12_CR78","volume-title":"Communicating and Mobile Systems: The Pi-Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"12_CR79","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626661","volume-title":"The Space and Motion of Communicating Agents","author":"R Milner","year":"2009","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, New York (2009)"},{"key":"12_CR80","doi-asserted-by":"publisher","first-page":"93","DOI":"10.4204\/EPTCS.30.7","volume":"30","author":"Young-Joo Moon","year":"2010","unstructured":"Moon, Y.-J., Silva, A., Krause, C., Arbab, F.: A compositional semantics for stochastic Reo connectors. In: Mousavi, M.R., Sala\u00fcn, G. (eds.) FOCLASA. EPTCS, vol. 30, pp. 93\u2013107 (2010)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"12_CR81","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-662-46663-6_11","volume-title":"Compiler Construction","author":"N Ng","year":"2015","unstructured":"Ng, N., de Figueiredo Coutinho, J.G., Yoshida, N.: Protocols by default - safe MPI code generation based on session types. In: Franke, B. (ed.) CC 2015. LNCS, vol. 9031, pp. 212\u2013232. Springer, Heidelberg (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-662-46663-6_11"},{"doi-asserted-by":"crossref","unstructured":"Ng, N., Yoshida, N.: Pabble: parameterised scribble for parallel programming. In: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, 2\u201314 February 2014, pp. 707\u2013714. IEEE Computer Society (2014)","key":"12_CR82","DOI":"10.1109\/PDP.2014.20"},{"key":"12_CR83","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.scico.2018.08.006","volume":"168","author":"RD Nicola","year":"2018","unstructured":"Nicola, R.D., Duong, T., Inverso, O., Trubiani, C.: AErlang: empowering Erlang with attribute-based communication. Sci. Comput. Program. 168, 71\u201393 (2018)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"12_CR84","doi-asserted-by":"publisher","first-page":"7:1","DOI":"10.1145\/2619998","volume":"9","author":"R Nicola De","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. Syst. 9(2), 7:1\u20137:29 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"12_CR85","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/S0065-2458(08)60208-9","volume":"46","author":"GA Papadopoulos","year":"1998","unstructured":"Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Adv. Comput. 46, 329\u2013400 (1998)","journal-title":"Adv. Comput."},{"key":"12_CR86","volume-title":"The Theory and Practice of Concurrency","author":"AW Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall Inc., New York (1998)"},{"key":"12_CR87","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-31794-4_9","volume-title":"Global Computing","author":"A Schmitt","year":"2005","unstructured":"Schmitt, A., Stefani, J.-B.: The Kell calculus: a family of higher-order distributed process calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146\u2013178. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/978-3-540-31794-4_9"},{"key":"12_CR88","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-642-16985-4_29","volume-title":"Current Trends in Web Engineering","author":"D Schumm","year":"2010","unstructured":"Schumm, D., Turetken, O., Kokash, N., Elgammal, A., Leymann, F., van den Heuvel, W.-J.: Business process compliance through reusable units of compliant processes. In: Daniel, F., Facca, F.M. (eds.) ICWE 2010. LNCS, vol. 6385, pp. 325\u2013337. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-16985-4_29"},{"doi-asserted-by":"crossref","unstructured":"Sifakis, J.: A framework for component-based construction extended abstract. In: SEFM 2005: Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, Washington, DC, USA, pp. 293\u2013300. IEEE Computer Society (2005)","key":"12_CR89","DOI":"10.1109\/SEFM.2005.3"},{"issue":"1","key":"12_CR90","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1016\/S1571-0661(05)80087-8","volume":"85","author":"J-B Stefani","year":"2003","unstructured":"Stefani, J.-B.: A calculus of Kells. Electr. Notes Theor. Comput. Sci. 85(1), 40\u201360 (2003)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"12_CR91","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-319-05119-2_3","volume-title":"Trustworthy Global Computing","author":"N Yoshida","year":"2014","unstructured":"Yoshida, N., Hu, R., Neykova, R., Ng, N.: The scribble protocol language. In: Abadi, M., Lluch Lafuente, A. (eds.) TGC 2013. LNCS, vol. 8358, pp. 22\u201341. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-05119-2_3"}],"container-title":["Lecture Notes in Computer Science","Models, Languages, and Tools for Concurrent and Distributed Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21485-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T14:13:07Z","timestamp":1562163187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-21485-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030214845","9783030214852"],"references-count":91,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21485-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}