Skip to main content
SpringerLink
Log in

Coordination of Distributed Systems

  • Chapter
  • First Online:
Coordination of Complex Sociotechnical Systems

  • 675 Accesses

Abstract

This chapter provides an overview of those approaches to coordination of distributed systems (programmable in Sect. 2.1, probabilistic in Sect. 2.2) which directly motivated, inspired, and influenced the approach to coordination in self-organising systems proposed in Chap. 3. A brief argumentation on why the approaches are all tuple-based, and on which benefits this brings [24], is provided as a preparatory background, describing the seminal Linda model [11] which almost all the described approaches are built on top of.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    It is still possible to realize blocking operations using the event-based interface: an agent may simply subscribe to a specific tuple and wait until the corresponding reaction is triggered to resume its execution—more on this in [15].

  2. 2.

    The ants know the way back to the anthill because (i) they have a short memory of the last few steps they took and (i) the anthill has a distinctive scent.

References

  1. Babaoglu, O., Canright, G., Deutsch, A., Caro, G.A.D., Ducatelle, F., Gambardella, L.M., Ganguly, N., Jelasity, M., Montemanni, R., Montresor, A., et al.: Design patterns from biology for distributed computing. ACM Trans. Auton. Adapt. Syst. (TAAS) 1(1), 26–66 (2006)

    Article  Google Scholar 

  2. Banâtre, J.P., Métayer, D.L.: The gamma model and its discipline of programming. Sci. Comput. Program. 15(1), 55–77 (1990). doi:10.1016/0167-6423(90)90044-E

    Google Scholar 

  3. Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence. Oxford (1999)

    Google Scholar 

  4. Busi, N., Gorrieri, R., Zavattaro, G.: On the expressiveness of linda coordination primitives. Inf. Comput. 156(1), 90–121 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  5. Ciancarini, P.: Polis: a programming model for multiple tuple spaces. In: Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on, pp. 44–51 (1991). doi:10.1109/IWSSD.1991.213078

  6. Ciancarini, P.: Coordination models and languages as software integrators. ACM Comput. Surv. 28(2), 300–302 (1996). doi:10.1145/234528.234732

    Article  Google Scholar 

  7. De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: A kernel language for agent interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315–330 (1998). doi:10.1109/32.685256

    Article  Google Scholar 

  8. De Nicola, R., Latella, D., Katoen, J.P., Massink, M.: StoKlaim: A stochastic extension of Klaim. Tech. Rep. 2006-TR-01, Istituto di Scienza e Tecnologie dell’Informazione “Alessandro Faedo” (ISTI) (2006). http://www1.isti.cnr.it/~Latella/StoKlaim.pdf

  9. Denti, E., Natali, A., Omicini, A.: On the expressive power of a language for programming coordination media. In: 1998 ACM Symposium on Applied Computing (SAC’98), pp. 169–177. ACM, Atlanta, GA, USA (1998)

    Google Scholar 

  10. Di Pierro, A., Hankin, C., Wiklicky, H.: Probabilistic KLAIM. In: R. De Nicola, G.L. Ferrari, G. Meredith (eds.) Coordination Models and Languages, LNCS, vol. 2949, pp. 119–134. Springer, Berlin, Heidelberg (2004). doi:10.1007/978-3-540-24634-3

  11. Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985). doi:10.1145/2363.2433

    Article  MATH  Google Scholar 

  12. Gelernter, D.: Multiple tuple spaces in Linda. In: Parallel Architectures and Languages Europe (PARLE’89), LNCS, vol. 366, pp. 20–27. London, UK (1989)

    Google Scholar 

  13. Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 97–107 (1992). doi:10.1145/129630.129635

    Article  Google Scholar 

  14. Herescu, O.M., Palamidessi, C.: Probabilistic asynchronous pi-calculus. CoRR cs.PL/0109002 (2001)

    Google Scholar 

  15. Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: The TOTA approach. ACM Trans. Softw. Eng. Methodol. (TOSEM) 18(4), 15:1–15:56 (2009). doi:10.1145/1538942.1538945

    Google Scholar 

  16. Minsky, N.H., Ungureanu, V.: Law-Governed interaction: A coordination and control mechanism for heterogeneous distributed systems. ACM Trans. Softw. Eng. Methodol. (TOSEM) 9(3), 273–305 (2000). doi:10.1145/352591.352592

    Article  Google Scholar 

  17. Nagpal, R.: Programmable self-assembly using biologically-inspired multiagent control. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: part 1, pp. 418–425. ACM (2002)

    Google Scholar 

  18. Omicini, A.: Formal ReSpecT in the A&A perspective. Electron. Notes Theor. Comput. Sci. 175(2), 97–117 (2007). doi:10.1016/j.entcs.2007.03.006

    Article  Google Scholar 

  19. Omicini, A., Denti, E.: From tuple spaces to tuple centres. Sci. Comput. Program. 41(3), 277–294 (2001). doi:10.1016/S0167-6423(01)00011-9

    Article  MATH  Google Scholar 

  20. Omicini, A., Zambonelli, F.: Coordination for Internet application development. Auton. Agent. Multi-Agent Syst. 2(3), 251–269 (1999). doi:10.1023/A:1010060322135

    Article  Google Scholar 

  21. Parunak, H.V.D.: “Go to the ant”: Engineering principles from natural agent systems. Ann. Oper. Res. 75(0), 69–101 (1997). doi:10.1023/A:1018980001403. Special Issue on Artificial Intelligence and Management Science

    Google Scholar 

  22. Parunak, H.V.D., Brueckner, S., Sauter, J.: Digital pheromone mechanisms for coordination of unmanned vehicles. In: Castelfranchi, C., Johnson, W.L. (eds.) 1st International Joint Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 449–450. ACM, New York, NY, USA (2002). http://dx.doi.org/10.1145/544741.544843

  23. Picco, G.P., Murphy, A.L., Roman, G.C.: LIME: Linda meets mobility. In: 21st International Conference on Software Engineering (ICSE’99), pp. 368–377. ACM Press, New York, NY, USA (1999). doi:10.1145/302405.302659

  24. Rossi, D., Cabri, G., Denti, E.: Tuple-based technologies for coordination. In: Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R. (eds.) Coordination of Internet Agents: Models, Technologies, and Applications, Chap. 4, pp. 83–109. Springer (2001)

    Google Scholar 

  25. Tolksdorf, R., Menezes, R.: Using Swarm Intelligence in Linda Systems. In: Omicini, A., Petta, P., Pitt, J. (eds.) Engineering Societies in the Agents World IV, LNCS, vol. 3071, pp. 49–65. Springer (2004). doi:10.1007/b98212. 4th International Workshops (ESAW 2003), London, UK, 29-31 Oct. 2003. Revised Selected and Invited Papers

    Google Scholar 

  26. Viroli, M., Casadei, M.: Biochemical tuple spaces for self-organising coordination. In: Fiel, J., d, Vasconcelos, V.T. (eds.) Coordination Languages and Models, LNCS, vol. 5521, pp. 143–162. Springer, Lisbon, Portugal (2009). doi:10.1007/978-3-642-02053-7

    Google Scholar 

  27. Viroli, M., Omicini, A., Ricci, A.: Infrastructure for RBAC-MAS: An approach based on Agent Coordination Contexts. Appl. Artif. Intell. Int. J. 21(4–5), 443–467 (2007). doi:10.1080/08839510701253674. Special Issue: State of Applications in AI Research from AI*IA 2005

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica - Scienza e Ingegneria (DISI), Università di Bologna, Bologna, Italy

    Stefano Mariani

Authors
  1. Stefano Mariani
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stefano Mariani .

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this chapter

Cite this chapter

Mariani, S. (2016). Coordination of Distributed Systems. In: Coordination of Complex Sociotechnical Systems. Artificial Intelligence: Foundations, Theory, and Algorithms. Springer, Cham. https://doi.org/10.1007/978-3-319-47109-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-47109-9_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-47108-2

  • Online ISBN: 978-3-319-47109-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation