{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T19:40:09Z","timestamp":1748806809968,"version":"3.41.0"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319307336"},{"type":"electronic","value":"9783319307343"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30734-3_10","type":"book-chapter","created":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T08:19:52Z","timestamp":1457770792000},"page":"122-139","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Modeling Role-Based Systems with Exogenous Coordination"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Chrszon","sequence":"first","affiliation":[]},{"given":"Clemens","family":"Dubslaff","sequence":"additional","affiliation":[]},{"given":"Christel","family":"Baier","sequence":"additional","affiliation":[]},{"given":"Joachim","family":"Klein","sequence":"additional","affiliation":[]},{"given":"Sascha","family":"Kl\u00fcppelholz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,13]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-39656-7_2","volume-title":"Formal Methods for Components and Objects","author":"F Arbab","year":"2003","unstructured":"Arbab, F.: Abstract behavior types: a foundation model for components and their composition. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 33\u201370. Springer, Heidelberg (2003)"},{"key":"10_CR2","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, 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/11417019_16","volume-title":"Coordination Models and Languages","author":"F Arbab","year":"2005","unstructured":"Arbab, F., Baier, C., de Boer, F.S., Rutten, J., Sirjani, M.: Synthesis of Reo circuits for implementation of component-connector automata specifications. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 236\u2013251. Springer, Heidelberg (2005)"},{"key":"10_CR4","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 2003. LNCS, vol. 2755, pp. 34\u201355. Springer, Heidelberg (2003)"},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10270-006-0009-9","volume":"6","author":"F Arbab","year":"2007","unstructured":"Arbab, F., Baier, C., de Boer, F.S., Rutten, J.M.M., Sirjani, M.: Models and temporal logical specifications for timed component connectors. Softw. Syst. Model. 6(1), 59\u201382 (2007)","journal-title":"Softw. Syst. Model."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Arbab, F., Meng, S., Moon, Y.-J., Kwiatkowska, M.Z., Hongyang, Q.: Reo2MC: a tool chain for performance analysis of coordination models. In: 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 287\u2013288. ACM (2009)","DOI":"10.1145\/1595696.1595745"},{"key":"10_CR7","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)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-642-02053-7_13","volume-title":"Coordination Models and Languages","author":"C 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, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 247\u2013267. Springer, Heidelberg (2009)"},{"issue":"1","key":"10_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2014-980","volume":"130","author":"C Baier","year":"2014","unstructured":"Baier, C., Klein, J., Kl\u00fcppelholz, S.: Synthesis of Reo connectors for strategies and controllers. Fundamenta Informaticae 130(1), 1\u201320 (2014)","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"10_CR10","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":"10_CR11","doi-asserted-by":"crossref","unstructured":"Becht, M., Gurzki, T., Klarmann, J., Muscholl, M.: ROPE: role oriented programming environment for multiagent systems. In: Cooperative Information Systems (CoopIS 1999), pp. 325\u2013333 (1999)","DOI":"10.1109\/COOPIS.1999.792181"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Cabri, G., Ferrari, L., Leonardo, L.: Rethinking agent roles: extending the role definition in the brain framework. In: Systems, Man and Cybernetics (SMC 2004), vol. 6, pp. 5455\u20135460. IEEE (2004)","DOI":"10.1109\/ICSMC.2004.1401061"},{"issue":"04","key":"10_CR13","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1017\/S026988891000024X","volume":"25","author":"G Cabri","year":"2010","unstructured":"Cabri, G., Leonardi, L., Ferrari, L., Zambonelli, F.: Role-based software agent interaction models: a survey. Knowl. Eng. Rev. 25(04), 397\u2013419 (2010)","journal-title":"Knowl. Eng. Rev."},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-39964-3_11","volume-title":"On the Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE","author":"G Cabri","year":"2003","unstructured":"Cabri, G., Leonardi, L., Zambonelli, F.: BRAIN: a framework for flexible role-based interactions in multiagent systems. In: Meersman, R., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol. 2888, pp. 145\u2013161. Springer, Heidelberg (2003)"},{"issue":"3","key":"10_CR15","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/j.scico.2007.01.009","volume":"66","author":"D Clarke","year":"2007","unstructured":"Clarke, D., Costa, D., Arbab, F.: Connector colouring I: synchronisation and context dependency. Sci. Comput. Program. 66(3), 205\u2013225 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"10_CR16","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":"10_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11559306_5","volume-title":"Frontiers of Combining Systems","author":"L de Alfaro","year":"2005","unstructured":"de Alfaro, L., da Silva, L.D., Faella, M., Legay, A., Roy, P., Sorea, M.: Sociable interfaces. In: Gramlich, B. (ed.) FroCos 2005. LNCS (LNAI), vol. 3717, pp. 81\u2013105. Springer, Heidelberg (2005)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L de Alfaro","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"key":"10_CR19","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-1-4612-5695-3_12","volume-title":"Selected Writings on Computing: A personal Perspective","author":"Edsger W. Dijkstra","year":"1982","unstructured":"Dijkstra, E.W.: On the role of scientific thought. In: Selected Writings on Computing: A Personal Perspective, pp. 60\u201366. Springer, New York (1982). Transcribed 1974"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Fasli, M.: Social interactions in multi-agent systems: a formal approach. In: Intelligent Agent Technology (IAT 2003), pp. 240\u2013246. IEEE (2003)","DOI":"10.1109\/IAT.2003.1241074"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Ferber, J., Gutknecht, O.: A meta-model for the analysis and design of organizations in multi-agent systems. In: Multi Agent Systems (ICMAS 1998), pp. 128\u2013135. IEEE (1998)","DOI":"10.1109\/ICMAS.1998.699041"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-24620-6_15","volume-title":"Agent-Oriented Software Engineering IV","author":"J Ferber","year":"2004","unstructured":"Ferber, J., Gutknecht, O., Michel, F.: From agents to organizations: an organizational view of multi-agent systems. In: Giorgini, P., M\u00fcller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 214\u2013230. Springer, Heidelberg (2004)"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-39967-4_8","volume-title":"Knowledge Engineering and Knowledge Management. Methods, Models, and Tools","author":"N Guarino","year":"2000","unstructured":"Guarino, N., Welty, C.A.: A formal ontology of properties. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 97\u2013112. Springer, Heidelberg (2000)"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-642-54624-2_18","volume-title":"Specification, Algebra, and Software","author":"R Hennicker","year":"2014","unstructured":"Hennicker, R., Klarl, A.: Foundations for ensemble modeling \u2013 the Helena approach. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 359\u2013381. Springer, Heidelberg (2014)"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Izadi, M., Movaghar, A., Arbab, F.: Model checking of component connectors. In: 31st Annual International Computer Software and Applications Conference, (COMPSAC), pp. 673\u2013675. IEEE Computer Society (2007)","DOI":"10.1109\/COMPSAC.2007.153"},{"issue":"1","key":"10_CR26","first-page":"201","volume":"22","author":"S-STQ Jongmans","year":"2012","unstructured":"Jongmans, S.-S.T.Q., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comput. Sci. 22(1), 201\u2013251 (2012)","journal-title":"Sci. Ann. Comput. Sci."},{"key":"10_CR27","unstructured":"Klarman, S., Guti\u00e9rrez-Basulto, V.: Two-dimensional description logics of context. In: Description Logics (DL 2011), vol. 745. CEUR Workshop Proceedings (2011)"},{"key":"10_CR28","unstructured":"Klein, J.: Compositional synthesis and most general controllers. Ph.D. thesis, Technische Universit\u00e4t Dresden (2013)"},{"issue":"4\u20135","key":"10_CR29","first-page":"443","volume":"52","author":"J Klein","year":"2015","unstructured":"Klein, J., Baier, C., Kl\u00fcppelholz, S.: Compositional construction of most general controllers. Acta Informatica, Spec. Issue: Combining Compositionality Concurrency: Part 2 52(4\u20135), 443\u2013482 (2015)","journal-title":"Acta Informatica, Spec. Issue: Combining Compositionality Concurrency: Part 2"},{"key":"10_CR30","unstructured":"Kl\u00fcppelholz, S.: Verification of branching-time and alternating-time properties for exogenous coordination models. Ph.D. thesis, Technische Universit\u00e4t Dresden (2012)"},{"issue":"6","key":"10_CR31","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1016\/j.scico.2009.07.007","volume":"75","author":"S Kl\u00fcppelholz","year":"2010","unstructured":"Kl\u00fcppelholz, S., Baier, C.: Alternating-time stream logic for multi-agent systems. Sci. Comput. Program. 75(6), 398\u2013425 (2010)","journal-title":"Sci. Comput. Program."},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Data-aware design and verification of service compositions with Reo and mCRL2. In: Symposium on Applied Computing (SAC 2010), pp. 2406\u20132413. ACM (2010)","DOI":"10.1145\/1774088.1774590"},{"issue":"2","key":"10_CR33","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s00165-011-0191-6","volume":"24","author":"N Kokash","year":"2012","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Reo + mCRL2: a framework for model-checking dataflow in service compositions. Formal Aspects Comput. 24(2), 187\u2013216 (2012)","journal-title":"Formal Aspects Comput."},{"issue":"1","key":"10_CR34","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."},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"K\u00fchn, T., B\u00f6hme, S., G\u00f6tz, S., A\u00dfmann, U.: A combined formal model for relational context-dependent roles. In: Software Language Engineering (SLE 2015) (2015, to appear)","DOI":"10.1145\/2814251.2814255"},{"key":"10_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/978-3-319-11245-9_8","volume-title":"Software Language Engineering","author":"T K\u00fchn","year":"2014","unstructured":"K\u00fchn, T., Leuth\u00e4user, M., G\u00f6tz, S., Seidl, C., A\u00dfmann, U.: A metamodel family for role-based modeling and programming languages. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 141\u2013160. Springer, Heidelberg (2014)"},{"key":"10_CR37","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2011.11.007","volume":"80","author":"Y-J Moon","year":"2014","unstructured":"Moon, Y.-J., Silva, A., Krause, C., Arbab, F.: A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Sci. Comput. Program. 80, 3\u201324 (2014)","journal-title":"Sci. Comput. Program."},{"key":"10_CR38","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."},{"issue":"7\u20138","key":"10_CR39","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1016\/j.scico.2011.04.001","volume":"77","author":"B Pourvatan","year":"2012","unstructured":"Pourvatan, B., Sirjani, M., Hojjat, H., Arbab, F.: Symbolic execution of Reo circuits using constraint automata. Sci. Comput. Program. 77(7\u20138), 848\u2013869 (2012)","journal-title":"Sci. Comput. Program."},{"key":"10_CR40","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-45364-9_14","volume-title":"Advances in Service-Oriented and Cloud Computing","author":"J Proen\u00e7a","year":"2013","unstructured":"Proen\u00e7a, J., Clarke, D.: Data abstraction in coordination constraints. In: Canal, C., Villari, M. (eds.) ESOCC 2013. CCIS, vol. 393, pp. 159\u2013173. Springer, Heidelberg (2013)"},{"key":"10_CR41","volume-title":"Working with Objects: The Ooram Software Engineering Method","author":"T Reenskaug","year":"1996","unstructured":"Reenskaug, T., Wold, P., Lehne, O.A.: Working with Objects: The Ooram Software Engineering Method. Manning, Greenwich (1996)"},{"key":"10_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/11767954_16","volume-title":"Coordination Models and Languages","author":"S Ren","year":"2006","unstructured":"Ren, S., Yu, Y., Chen, N., Marth, K., Poirot, P.-E., Shen, L.: Actors, roles and coordinators \u2014 a coordination model for open distributed and embedded systems. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 247\u2013265. Springer, Heidelberg (2006)"},{"issue":"1","key":"10_CR43","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0169-023X(00)00023-9","volume":"35","author":"F Steimann","year":"2000","unstructured":"Steimann, F.: On the representation of roles in object-oriented and conceptual modelling. Data Knowl. Eng. 35(1), 83\u2013106 (2000)","journal-title":"Data Knowl. Eng."},{"key":"10_CR44","doi-asserted-by":"crossref","unstructured":"Talcott, C., Sirjani, M., Ren, S.: Comparing three coordination models: Reo, ARC, and RRD. In: Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science, vol. 194, no. 4, pp. 39\u201355. Elsevier (2008)","DOI":"10.1016\/j.entcs.2008.03.098"},{"issue":"3","key":"10_CR45","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1109\/TSMCC.2008.919168","volume":"38","author":"H Zhu","year":"2008","unstructured":"Zhu, H., Zhou, M.: Roles in information systems: a survey. IEEE Trans. Syst. Man Cybern. Part C 38(3), 377\u2013396 (2008)","journal-title":"IEEE Trans. Syst. Man Cybern. Part C"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30734-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T19:21:01Z","timestamp":1748805661000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-30734-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319307336","9783319307343"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30734-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"13 March 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}