Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives

  • Giovanni Ciatto
  • Stefano MarianiEmail author
  • Maxime Louvel
  • Andrea Omicini
  • Franco Zambonelli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10852)


Since complexity of inter- and intra-systems interactions is steadily increasing in modern application scenarios (e.g., the IoT), coordination technologies are required to take a crucial step towards maturity. In this paper we look back at the history of the COORDINATION conference in order to shed light on the current status of the coordination technologies there proposed throughout the years, in an attempt to understand success stories, limitations, and possibly reveal the gap between actual technologies, theoretical models, and novel application needs.


Coordination technologies Middleware Survey 


  1. 1.
    Abreu, J., Fiadeiro, J.L.: A coordination model for service-oriented interactions. In: Lea and Zavattaro [56], pp. 1–16Google Scholar
  2. 2.
    Achermann, F., Kneubuehl, S., Nierstrasz, O.: Scripting coordination styles. In: Porto and Roman [76], pp. 19–35CrossRefGoogle Scholar
  3. 3.
    Andrić, M., De Nicola, R., Lafuente, A.L.: Replica-based high-performance tuple space computing. In: Holvoet and Viroli [49], pp. 3–18Google Scholar
  4. 4.
    Ao, X., Minsky, N., Nguyen, T.D., Ungureanu, V.: Law-Governed Internet communities. In: Porto and Roman [76], pp. 133–147CrossRefGoogle Scholar
  5. 5.
    Arbab, F.: The IWIM model for coordination of concurrent activities. In: Ciancarini and Hankin [24], pp. 34–56CrossRefGoogle Scholar
  6. 6.
    Arbab, F., Mavaddat, F.: Coordination through channel composition. In: Arbab and Talcott [7], pp. 22–39Google Scholar
  7. 7.
    Arbab, F., Talcott, C. (eds.): COORDINATION 2002. LNCS, vol. 2315. Springer, Heidelberg (2002). Scholar
  8. 8.
    Arsénio, A., Serra, H., Francisco, R., Nabais, F., Andrade, J., Serrano, E.: Internet of intelligent things: bringing artificial intelligence into things and communication networks. In: Xhafa, F., Bessis, N. (eds.) Inter-cooperative Collective Intelligence: Techniques and Applications. SCI, vol. 495, pp. 1–37. Springer, Heidelberg (2014). Scholar
  9. 9.
    Atzori, L., Iera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787–2805 (2010)CrossRefGoogle Scholar
  10. 10.
    Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program. 61(2), 75–113 (2006)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Banătre, J.-P., Fradet, P., Le Métayer, D.: Gamma and the chemical reaction model: fifteen years after. In: Calude, C.S., PĂun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2000. LNCS, vol. 2235, pp. 17–44. Springer, Heidelberg (2001). Scholar
  12. 12.
    Banville, M.: Sonia: an adaptation of Linda for coordination of activities in organizations. In: Ciancarini and Hankin [24], pp. 57–74CrossRefGoogle Scholar
  13. 13.
    Bellifemine, F.L., Poggi, A., Rimassa, G.: JADE–a FIPA-compliant agentframework. In: 4th International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM-99), pp. 97–108 (1999)Google Scholar
  14. 14.
    Bettini, L., Bono, V., Venneri, B.: Coordinating mobile object-oriented code. In: Arbab and Talcott [7], pp. 56–71Google Scholar
  15. 15.
    Bettini, L., Bono, V., Venneri, B.: O’Klaim: a coordination language with mobile mixins. In: De Nicola et al. [33], pp. 20–37Google Scholar
  16. 16.
    Bettini, L., De Nicola, R.: Mobile distributed programming in X-Klaim. In: Bernardo, M., Bogliolo, A. (eds.) SFM-Moby 2005. LNCS, vol. 3465, pp. 29–68. Springer, Heidelberg (2005). Scholar
  17. 17.
    Bettini, L., De Nicola, R., Falassi, D., Lacoste, M., Lopes, L., Oliveira, L., Paulino, H., Vasconcelos, V.T.: A software framework for rapid prototyping of run-time systems for mobile calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 179–207. Springer, Heidelberg (2005). Scholar
  18. 18.
    Bettini, L., De Nicola, R., Loreti, M.: Implementing session centered calculi. In: Lea and Zavattaro [56], pp. 17–32Google Scholar
  19. 19.
    Bettini, L., Loreti, M., Pugliese, R.: An infrastructure language for open nets. In: 2002 ACM Symposium on Applied Computing (SAC 2002), pp. 373–377. ACM, New York (2002)Google Scholar
  20. 20.
    Bettini, L., Nicola, R.D., Pugliese, R.: X-Klaim and Klava: programming mobile code. Electron. Notes Theor. Comput. Sci. 62, 24–37 (2002)CrossRefGoogle Scholar
  21. 21.
    Bordini, R.H., Hübner, J.F., Wooldridge, M.J.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley, Chichester (2007)zbMATHGoogle Scholar
  22. 22.
    Bryce, C., Oriola, M., Vitck, J.: A coordination model for agents based on secure spaces. In: Ciancarini and Wolf [26], pp. 4–20CrossRefGoogle Scholar
  23. 23.
    Calegari, R., Denti, E.: Building smart spaces on the home manager platform. ALP Newslett. (2016).
  24. 24.
    Ciancarini, P., Hankin, C. (eds.): COORDINATION 1996. LNCS, vol. 1061. Springer, Heidelberg (1996). Scholar
  25. 25.
    Ciancarini, P., Rossi, D.: Jada: coordination and communication for Java agents. In: Vitek, J., Tschudin, C. (eds.) MOS 1996. LNCS, vol. 1222, pp. 213–226. Springer, Heidelberg (1997). Scholar
  26. 26.
    Ciancarini, P., Wolf, A.L. (eds.): COORDINATION 1999. LNCS, vol. 1594. Springer, Heidelberg (1999). Scholar
  27. 27.
    Ciatto, G., Mariani, S., Omicini, A.: Programming the interaction space effectively with ReSpecT\({\mathbb{X}}\). In: Ivanović, M., Bădică, C., Dix, J., Jovanović, Z., Malgeri, M., Savić, M. (eds.) IDC 2017. SCI, vol. 737, pp. 89–101. Springer, Cham (2018). Scholar
  28. 28.
    Cremonini, M., Omicini, A., Zambonelli, F.: Coordination in context: authentication, authorisation and topology in mobile agent applications. In: Ciancarini and Wolf [26], p. 416CrossRefGoogle Scholar
  29. 29.
    Cruz, J.C., Ducasse, S.: A group based approach for coordinating active objects. In: Ciancarini and Wolf [26], pp. 355–370CrossRefGoogle Scholar
  30. 30.
    De Angelis, F.L., Di Marzo Serugendo, G.: Logic Fragments: a coordination model based on logic inference. In: Holvoet and Viroli [49], pp. 35–48Google Scholar
  31. 31.
    De Bosschere, K., Jacquet, J.M.: \(\mu \)2Log: towards remote coordination. In: Ciancarini and Hankin [24], pp. 142–159CrossRefGoogle Scholar
  32. 32.
    De Meuter, W., Roman, G.-C. (eds.): COORDINATION 2011. LNCS, vol. 6721. Springer, Heidelberg (2011). Scholar
  33. 33.
    De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.): COORDINATION 2004. LNCS, vol. 2949. Springer, Heidelberg (2004). Scholar
  34. 34.
    Dedecker, J., Van Cutsem, T., Mostinckx, S., D’Hondt, T., De Meuter, W.: Ambient-oriented programming. In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, pp. 31–40. ACM, New York (2005)Google Scholar
  35. 35.
    Denti, E., Natali, A., Omicini, A., Venuti, M.: An extensible framework for the development of coordinated applications. In: Ciancarini and Hankin [24], pp. 305–320CrossRefGoogle Scholar
  36. 36.
    Denti, E., Omicini, A., Ricci, A.: tuProlog: a light-weight prolog for internet applications and infrastructures. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 184–198. Springer, Heidelberg (2001). Scholar
  37. 37.
    Dubovitskaya, A., Urovi, V., Barba, I., Aberer, K., Schumacher, M.I.: A multiagent system for dynamic data aggregation in medical research. BioMed Res. Int. 2016 (2016). Scholar
  38. 38.
    Ducasse, S., Hofmann, T., Nierstrasz, O.: Openspaces: an object-oriented framework for reconfigurable coordination spaces. In: Porto and Roman [76], pp. 1–18Google Scholar
  39. 39.
    Fensel, D.: Triple-space computing: semantic web services based on persistent publication of information. In: Aagesen, F.A., Anutariya, C., Wuwongse, V. (eds.) INTELLCOMM 2004. LNCS, vol. 3283, pp. 43–53. Springer, Heidelberg (2004). Scholar
  40. 40.
    Fok, C.L., Roman, G.C., Hackmann, G.: A lightweight coordination middleware for mobile computing. In: De Nicola et al. [33], pp. 135–151Google Scholar
  41. 41.
    Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus. In: 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 372–385. ACM (1996)Google Scholar
  42. 42.
    Fukuda, M., Bic, L.F., Dillencourt, M.B., Merchant, F.: Intra- and inter-object coordination with MESSENGERS. In: Ciancarini and Hankin [24], pp. 179–196CrossRefGoogle Scholar
  43. 43.
    Garlan, D., Le Métayer, D. (eds.): COORDINATION 1997. LNCS, vol. 1282. Springer, Heidelberg (1997). Scholar
  44. 44.
    Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. (TOPLAS) 7(1), 80–112 (1985)CrossRefGoogle Scholar
  45. 45.
    Gilmore, S., Hillston, J.: The PEPA workbench: a tool to support a process algebra-based approach to performance modelling. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol. 794, pp. 353–368. Springer, Heidelberg (1994). Scholar
  46. 46.
    van der Goot, R., Schaeffer, J., Wilson, G.V.: Safer tuple spaces. In: Garlan and Le Métayer [43], pp. 289–301Google Scholar
  47. 47.
    Hendler, J.A.: Agents and the Semantic web. IEEE Intell. Syst. 16(2), 30–37 (2001)CrossRefGoogle Scholar
  48. 48.
    Heuer, J., Hund, J., Pfaff, O.: Toward the web of things: applying web technologies to the physical world. Computer 48(5), 34–42 (2015)CrossRefGoogle Scholar
  49. 49.
    Holvoet, T., Viroli, M. (eds.): COORDINATION 2015. LNCS, vol. 9037. Springer, Cham (2015). Scholar
  50. 50.
    Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122–138. Springer, Heidelberg (1998). Scholar
  51. 51.
    Hu, R., Yoshida, N., Honda, K.: Session-based distributed programming in Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 516–541. Springer, Heidelberg (2008). Scholar
  52. 52.
    Jagannathan, S.: Communication-passing style for coordination languages. In: Garlan and Le Métayer [43], pp. 131–149CrossRefGoogle Scholar
  53. 53.
    Jamison, W.C., Lea, D.: TRUCE: agent coordination through concurrent interpretation of role-based protocols. In: Ciancarini and Wolf [26], pp. 384–398CrossRefGoogle Scholar
  54. 54.
    Jongmans, S.S.T.Q., Santini, F., Sargolzaei, M., Arbab, F., Afsarmanesh, H.: Orchestrating web services using Reo: from circuits and behaviors to automatically generated code. SOCA 8(4), 277–297 (2014)CrossRefGoogle Scholar
  55. 55.
    Kokash, N., Krause, C., de Vink, E.: Reo + mCRL2: a framework for model-checking dataflow in service compositions. Formal Aspects Comput. 24(2), 187–216 (2012)MathSciNetCrossRefGoogle Scholar
  56. 56.
    Lea, D., Zavattaro, G. (eds.): COORDINATION 2008. LNCS, vol. 5052. Springer, Heidelberg (2008). Scholar
  57. 57.
    Liptchinsky, V., Khazankin, R., Truong, H.L., Dustdar, S.: Statelets: coordination of social collaboration processes. In: Sirjani [90], pp. 1–16Google Scholar
  58. 58.
    Louvel, M., Pacull, F.: LINC: a compact yet powerful coordination environment. In: Kühn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 83–98. Springer, Heidelberg (2014). Scholar
  59. 59.
    Louvel, M., Pacull, F., Rutten, E., Sylla, A.N.: Development tools for rule-based coordination programming in LINC. In: Jacquet, J.-M., Massink, M. (eds.) COORDINATION 2017. LNCS, vol. 10319, pp. 78–96. Springer, Cham (2017). Scholar
  60. 60.
    Mariani, S., Omicini, A.: Coordination mechanisms for the modelling and simulation of stochastic systems: the case of uniform primitives. SCS M&S Mag. IV(3), 6–25 (2014)Google Scholar
  61. 61.
    Mariani, S., Omicini, A.: Multi-paradigm coordination for MAS: integrating heterogeneous coordination approaches in MAS technologies. In: Santoro, C., Messina, F., De Benedetti, M. (eds.) WOA 2016 – 17th Workshop “From Objects to Agents”,, vol. 1664, pp. 91–99. Sun SITE Central Europe, 29–30 July 2016Google Scholar
  62. 62.
    Mariani, S., Omicini, A., Sangiorgi, L.: Models of autonomy and coordination: integrating subjective and objective approaches in agent development frameworks. In: Camacho, D., Braubach, L., Venticinque, S., Badica, C. (eds.) Intelligent Distributed Computing VIII. SCI, vol. 570, pp. 69–79. Springer, Cham (2015). Scholar
  63. 63.
    Merrick, I., Wood, A.: Scoped coordination in open distributed systems. In: Porto and Roman [76], pp. 311–316CrossRefGoogle Scholar
  64. 64.
    Minsky, N.H., Leichter, J.: Law-Governed Linda as a coordination model. In: Ciancarini, P., Nierstrasz, O., Yonezawa, A. (eds.) ECOOP 1994. LNCS, vol. 924, pp. 125–146. Springer, Heidelberg (1995). Scholar
  65. 65.
    Mostinckx, S., Scholliers, C., Philips, E., Herzeel, C., De Meuter, W.: Fact spaces: coordination in the face of disconnection. In: Murphy and Vitek [67], pp. 268–285Google Scholar
  66. 66.
    Murphy, A.L., Picco, G.P., Roman, G.C.: LIME: a coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Eng. Method. (TOSEM) 15(3), 279–328 (2006)CrossRefGoogle Scholar
  67. 67.
    Murphy, A.L., Vitek, J. (eds.): COORDINATION 2007. LNCS, vol. 4467. Springer, Heidelberg (2007). Scholar
  68. 68.
    Ng, N., Yoshida, N., Pernet, O., Hu, R., Kryftis, Y.: Safe parallel programming with session Java. In: De Meuter and Roman [32], pp. 110–126Google Scholar
  69. 69.
    Omicini, A.: Hybrid coordination models for handling information exchange among internet agents. In: Bonarini, A., Colombetti, M., Lanzi, P.L. (eds.) Workshop “Agenti intelligenti e Internet: teorie, strumenti e applicazioni”, 7th AI*IA Convention (AI*IA 2000), Milano, Italy, pp. 1–4, 13 September 2000Google Scholar
  70. 70.
    Omicini, A.: Formal \({\sf ReSpecT}\) in the A&A perspective. Electron. Notes Theor. Comput. Sci. 175(2), 97–117 (2007)CrossRefGoogle Scholar
  71. 71.
    Omicini, A., Denti, E.: From tuple spaces to tuple centres. Sci. Comput. Program. 41(3), 277–294 (2001)CrossRefGoogle Scholar
  72. 72.
    Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R. (eds.): Coordination of Internet Agents: Models, Technologies, and Applications. Springer, Heidelberg (2001). Scholar
  73. 73.
    Papadopoulos, G.A.: Models and technologies for the coordination of Internet agents: a survey. In: Omicini et al. [72], chap. 2, pp. 25–56Google Scholar
  74. 74.
    Picco, G.P., Murphy, A.L., Roman, G.C.: LIME: Linda meets mobility. In: 1999 International Conference on Software Engineering (ICSE 1999), pp. 368–377, May 1999Google Scholar
  75. 75.
    Plociniczak, H., Eisenbach, S.: JErlang: Erlang with joins. In: Clarke, D., Agha, G. (eds.) COORDINATION 2010. LNCS, vol. 6116, pp. 61–75. Springer, Heidelberg (2010). Scholar
  76. 76.
    Porto, A., Roman, G.-C. (eds.): COORDINATION 2000. LNCS, vol. 1906. Springer, Heidelberg (2000). Scholar
  77. 77.
    Proença, J., Clarke, D.: Interactive interaction constraints. In: De Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 211–225. Springer, Heidelberg (2013). Scholar
  78. 78.
    Proença, J., Clarke, D., de Vink, E., Arbab, F.: Dreams: a framework for distributed synchronous coordination. In: 27th Annual ACM Symposium on Applied Computing (SAC 2012), pp. 1510–1515. ACM, New York (2012)Google Scholar
  79. 79.
    Ricci, A., Omicini, A., Denti, E.: Virtual enterprises and workflow management as agent coordination issues. Int. J. Coop. Inf. Syst. 11(3/4), 355–379 (2002)CrossRefGoogle Scholar
  80. 80.
    Rossi, D.: A social software-based coordination platform. In: Sirjani [90], pp. 17–28Google Scholar
  81. 81.
    Rossi, D., Cabri, G., Denti, E.: Tuple-based technologies for coordination. In: Omicini et al. [72], chap. 4, pp. 83–109Google Scholar
  82. 82.
    Rossi, D., Vitali, F.: Internet-based coordination environments and document-based applications: a case study. In: Ciancarini and Wolf [26], pp. 259–274CrossRefGoogle Scholar
  83. 83.
    Rowstron, A.I.T.: Bulk primitives in Linda run-time systems. Ph.D. thesis, The University of York (1996)Google Scholar
  84. 84.
    Rowstron, A.I.T.: Using asynchronous tuple-space access primitives (bonita primitives) for process co-ordination. In: Garlan and Le Métayer [43], pp. 426–429CrossRefGoogle Scholar
  85. 85.
    Rowstron, A.I.T.: WCL: a co-ordination language for geographically distributed agents. World Wide Web 1(3), 167–179 (1998)CrossRefGoogle Scholar
  86. 86.
    Sample, N., Beringer, D., Melloul, L., Wiederhold, G.: CLAM: Composition language for autonomous megamodules. In: Ciancarini and Wolf [26], pp. 291–306CrossRefGoogle Scholar
  87. 87.
    Schumacher, M., Chantemargue, F., Hirsbrunner, B.: The STL++ coordination language: a base for implementing distributed multi-agent applications. In: Ciancarini and Wolf [26], pp. 399–414CrossRefGoogle Scholar
  88. 88.
    Sen, R., Roman, G.C., Gill, C.: CiAN: a workflow engine for MANETs. In: Lea and Zavattaro [56], pp. 280–295Google Scholar
  89. 89.
    Simperl, E., Krummenacher, R., Nixon, L.: A coordination model for triplespace computing. In: Murphy and Vitek [67], pp. 1–18Google Scholar
  90. 90.
    Sirjani, M. (ed.): COORDINATION 2012. LNCS, vol. 7274. Springer, Heidelberg (2012). Scholar
  91. 91.
    Tarau, P.: Coordination and concurrency in multi-engine Prolog. In: De Meuter and Roman [32], pp. 157–171Google Scholar
  92. 92.
    Tolksdorf, R.: Coordinating services in open distributed systems with Laura. In: Ciancarini and Hankin [24], pp. 386–402CrossRefGoogle Scholar
  93. 93.
    Tolksdorf, R.: Berlinda: An object-oriented platform for implementing coordination languages in Java. In: Garlan and Le Métayer [43], pp. 430–433CrossRefGoogle Scholar
  94. 94.
    Tolksdorf, R., Rojec-Goldmann, G.: The Spacetub models and framework. In: Arbab and Talcott [7], pp. 348–363Google Scholar
  95. 95.
    Varela, C., Agha, G.: A hierarchical model for coordination of concurrent activities. In: Ciancarini and Wolf [26], pp. 166–182CrossRefGoogle Scholar
  96. 96.
    Viroli, M., Omicini, A.: Coordination as a service. Fundamenta Informaticae 73(4), 507–534 (2006)MathSciNetzbMATHGoogle Scholar
  97. 97.
    Zambonelli, F., Omicini, A., et al.: Developing pervasive multi-agent systems with nature-inspired coordination. Pervasive Mob. Comput. 17, 236–252 (2015)CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2018

Authors and Affiliations

  1. 1.Alma Mater Studiorum–Università di BolognaCesenaItaly
  2. 2.Università di Modena e Reggio EmiliaReggio EmiliaItaly
  3. 3.Bag-EraMontbonnot-Saint-MartinFrance

Personalised recommendations