Coordination models and languages: from parallel computing to self-organisation

Starting from the pioneering work on Linda and Gamma, coordination models and languages have gone through an amazing evolution process over the years. From closed to open systems, from parallel computing to multi-agent systems and from database integration to knowledge-intensive environments, coordination abstractions and technologies have gained in relevance and power in those scenarios where complexity has become a key factor. In this paper, we outline and motivate 25 years of evolution of coordination models and languages, and discuss their potential perspectives in the future of artificial systems.

[1]  Andrea Omicini,et al.  Situated tuple centres in ReSpecT , 2009, SAC '09.

[2]  Mirko Viroli,et al.  Coordination in open and dynamic environments with TuCSoN semantic tuple centres , 2010, SAC '10.

[3]  Franco Zambonelli,et al.  Field-based coordination for pervasive multiagent systems , 2010, Springer series on agent technology.

[4]  Franco Zambonelli,et al.  Coordination of Internet Agents , 2001, Springer Berlin Heidelberg.

[5]  Andrea Omicini,et al.  From tuple spaces to tuple centres , 2001, Sci. Comput. Program..

[6]  Victoria Ungureanu,et al.  Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems , 2000, TSEM.

[7]  Elena Paslaru Bontas Simperl,et al.  Towards a tuplespace-based middleware for the Semantic Web , 2008, Web Intell. Agent Syst..

[8]  Franco Zambonelli,et al.  A biochemical approach to adaptive service ecosystems , 2010, Inf. Sci..

[9]  D. Corkill.  Blackboard Systems , 1991 .

[10]  Amy L. Murphy,et al.  LIME: A coordination model and middleware supporting mobility of hosts and agents , 2006, TSEM.

[11]  Antonio Brogi,et al.  The concurrent language, Shared Prolog , 1991, TOPL.

[12]  Franco Zambonelli,et al.  Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces , 2011, TAAS.

[13]  Andrea Omicini,et al.  Agents Writing on Walls: Cognitive Stigmergy and Beyond , 2012 .

[14]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[15]  Peter Wegner,et al.  Why interaction is more powerful than algorithms , 1997, CACM.

[16]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[17]  Andrea Omicini,et al.  Coordination artifacts: environment-based coordination for intelligent agents , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[18]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[19]  Franco Zambonelli,et al.  MARS: A Programmable Coordination Architecture for Mobile Agents , 2000, IEEE Internet Comput..

[20]  Rocco De Nicola,et al.  KLAIM: A Kernel Language for Agents Interaction and Mobility , 1998, IEEE Trans. Software Eng..

[21]  Andrea Omicini,et al.  Environment-Based Coordination Through Coordination Artifacts , 2004, E4MAS.

[22]  Cristiano Castelfranchi,et al.  Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces , 2012 .

[23]  Franco Zambonelli,et al.  Programming pervasive and mobile computing applications with the TOTA middleware , 2004, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the.

[24]  Andrea Omicini,et al.  Artifacts in the A&A meta-model for multi-agent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[25]  Franco Zambonelli,et al.  Coordination of Internet Agents: Models, Technologies, and Applications , 2014, Coordination of Internet Agents: Models, Technologies, and Applications.

[26]  P.-P. Grasse.  La reconstruction du nid et les coordinations interindividuelles chezBellicositermes natalensis etCubitermes sp. la théorie de la stigmergie: Essai d'interprétation du comportement des termites constructeurs , 1959, Insectes Sociaux.

[27]  Ronaldo Menezes,et al.  Using Swarm Intelligence in Linda Systems , 2003, ESAW.

[28]  H. P Nii,et al.  Blackboard Systems , 1986 .

[29]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

[30]  Andrea Omicini.  Coordination Models and Languages: State of the Art, Introduction , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

[31]  Tobin J. Lehman,et al.  T Spaces , 1998, IBM Syst. J..

[32]  Elena Paslaru Bontas Simperl,et al.  Towards a tuplespace-based middleware for the semantic Web , 2005, The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05).

[33]  Roberto Gorrieri,et al.  Coordination Models: A Guided Tour , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

[34]  Elena Paslaru Bontas Simperl,et al.  Tuplespace-based computing for the Semantic Web: a survey of the state-of-the-art , 2008, The Knowledge Engineering Review.

[35]  Cristian S. Calude,et al.  Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View , 2000 .

[36]  Davide Rossi,et al.  Tuple-based Technologies for Coordination , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

[37]  Andrea Omicini,et al.  Designing Multi-Agent Systems around a Programmable Communication Abstraction , 2000 .

[38]  Ken Arnold,et al.  JavaSpaces¿ Principles, Patterns, and Practice , 1999 .

[39]  Andrea Omicini,et al.  Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts , 2006, E4MAS.

[40]  Pascal Fradet,et al.  Gamma and the Chemical Reaction Model: Fifteen Years After , 2000, WMP.

[41]  Diego Latella,et al.  Combining Timed Coordination Primitives and Probabilistic Tuple Spaces , 2008, TGC.

[42]  Flemming Nielson,et al.  Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers , 2009, TGC.

[43]  Andrea Omicini,et al.  "Exhibitionists" and "Voyeurs" Do It Better: A Shared Environment for Flexible Coordination with Tacit Messages , 2004, E4MAS.

[44]  Andrea Omicini,et al.  A framework for modelling and implementing self-organising coordination , 2009, SAC '09.

[45]  Andrea Omicini,et al.  Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services , 2009, SOAR.