Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Conference on Coordination Languages and Models

COORDINATION 2012: Coordination Models and Languages pp 212–229Cite as

  1. Home
  2. Coordination Models and Languages
  3. Conference paper
Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments

Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments

  • Mirko Viroli17,
  • Danilo Pianini17 &
  • Jacob Beal18 
  • Conference paper
  • 642 Accesses

  • 19 Citations

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 7274)

Abstract

We present a vision of distributed system coordination as a set of activities affecting the space-time fabric of interaction events. In the tuple space setting that we consider, coordination amounts to control of the spatial and temporal configuration of tuples spread across the network, which in turn drives the behaviour of situated agents. We therefore draw on prior work in spatial computing and distributed systems coordination, to define a new coordination language that adds to the basic Linda primitives a small set of space-time constructs for linking coordination processes with their environment. We show how this framework supports the global-level emergence of adaptive coordination policies, applying it to two example cases: crowd steering in a pervasive computing scenario and a gradient-based implementation of Linda primitives for mobile ad-hoc networks.

Keywords

  • Operational Semantic
  • Coordination Model
  • Incoming Message
  • Tuple Space
  • Computation Round

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Download conference paper PDF

References

  1. Bachrach, J., Beal, J., Fujiwara, T.: Continuous space-time semantics allow adaptive program execution. In: IEEE SASO 2007, New York, pp. 315–319. IEEE (July 2007)

    Google Scholar 

  2. Beal, J.: Flexible self-healing gradients. In: Proceedings of the 2009 ACM Symposium on Applied Computing, SAC, pp. 1197–1201. ACM (2009)

    Google Scholar 

  3. Beal, J.: A basis set of operators for space-time computations. In: Self-Adaptive and Self-Organizing Systems Workshop (SASOW 2010), pp. 91–97 (September 2010)

    Google Scholar 

  4. Beal, J., Bachrach, J.: Infrastructure for engineered emergence on sensor/actuator networks. IEEE Intelligent Systems 21(2), 10–19 (2006)

    CrossRef  Google Scholar 

  5. Beal, J., Dulman, S., Usbeck, K., Viroli, M., Correll, N.: Organizing the aggregate: Languages for spatial computing. CoRR, abs/1202.5509 (2012)

    Google Scholar 

  6. Beal, J., Michel, O., Schultz, U.P.: Spatial computing: Distributed systems that take advantage of our geometric world. ACM Transactions on Autonomous and Adaptive Systems 6, 11:1–11:3 (2011)

    CrossRef  Google Scholar 

  7. Bettini, L., Nicola, R.D., Pugliese, R.: Klava: a java package for distributed and mobile applications. Softw., Pract. Exper. 32(14), 1365–1394 (2002)

    CrossRef  MATH  Google Scholar 

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

    CrossRef  MathSciNet  MATH  Google Scholar 

  9. Cabri, G., Leonardi, L., Zambonelli, F.: MARS: A programmable coordination architecture for mobile agents. IEEE Internet Computing 4(4), 26–35 (2000)

    CrossRef  Google Scholar 

  10. Cardelli, L.: Brane Calculi. Interactions of Biological Membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257–278. Springer, Heidelberg (2005)

    CrossRef  Google Scholar 

  11. Cardelli, L., Gardner, P.: Processes in Space. In: Ferreira, F., Löwe, B., Mayordomo, E., Mendes Gomes, L. (eds.) CiE 2010. LNCS, vol. 6158, pp. 78–87. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  12. Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science 240(1), 177–213 (2000)

    CrossRef  MathSciNet  MATH  Google Scholar 

  13. Couderc, P., Banatre, M.: Ambient computing applications: an experience with the spread approach. Hawaii International Conference on System Sciences, HICSS 2003 (January 2003)

    Google Scholar 

  14. Fernandez-Marquez, J.L., Di Marzo Serugendo, G., Montagna, S., Viroli, M., Arcos, J.L.: Self-organising design patterns. Natural Computing (to appear, 2012)

    Google Scholar 

  15. Gardelli, L., Viroli, M., Omicini, A.: Design Patterns for Self-organising Systems. In: Burkhard, H.-D., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds.) CEEMAS 2007. LNCS (LNAI), vol. 4696, pp. 123–132. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  16. Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985)

    CrossRef  MATH  Google Scholar 

  17. Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: The tota approach. ACM Trans. Softw. Eng. Methodol. 18(4), 1–56 (2009)

    CrossRef  Google Scholar 

  18. Nicola, R.D., Ferrari, G.L., Pugliese, R.: Klaim: A kernel language for agents interaction and mobility. IEEE Trans. Software Eng. 24(5), 315–330 (1998)

    CrossRef  Google Scholar 

  19. Omicini, A., Ricci, A., Viroli, M.: An algebraic approach for modelling organisation, roles and contexts in MAS. Applicable Algebra in Engineering, Communication and Computing 16(2-3), 151–178 (2005)

    CrossRef  MathSciNet  MATH  Google Scholar 

  20. Omicini, A., Ricci, A., Viroli, M.: Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research. In: Garcia, A., Choren, R., Lucena, C., Giorgini, P., Holvoet, T., Romanovsky, A. (eds.) SELMAS 2005. LNCS(LNAI), vol. 3914, pp. 71–90. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  21. Omicini, A., Viroli, M.: Coordination models and languages: From parallel computing to self-organisation. The Knowledge Engineering Review 26(1), 53–59 (2011); Special Issue 01 (25th Anniversary Issue).

    CrossRef  Google Scholar 

  22. Omicini, A., Zambonelli, F.: Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems 2(3), 251–269 (1999)

    CrossRef  Google Scholar 

  23. Paun, G.: Membrane Computing: An Introduction. Springer-Verlag New York, Inc., New York (2002)

    CrossRef  MATH  Google Scholar 

  24. Pauty, J., Couderc, P., Banatre, M., Berbers, Y.: Geo-linda: a geometry aware distributed tuple space. In: IEEE 21st International Conference on Advanced Networking and Applications (AINA 2007), pp. 370–377 (May 2007)

    Google Scholar 

  25. Pianini, D., Montagna, S., Viroli, M.: A chemical inspired simulation framework for pervasive services ecosystems. In: Proceedings of the Federated Conference on Computer Science and Information Systems, pp. 667–674. IEEE Computer Society Press (2011)

    Google Scholar 

  26. Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A process calculus for mobile ad hoc networks. Sci. Comput. Program. 75(6), 440–469 (2010)

    CrossRef  MathSciNet  MATH  Google Scholar 

  27. Viroli, M., Beal, J., Casadei, M.: Core operational semantics of Proto. In: 26th Annual ACM Symposium on Applied Computing, SAC 2011, Tunghai University, TaiChung, Taiwan, March 21-25. ACM (2011)

    Google Scholar 

  28. Viroli, M., Casadei, M.: Biochemical Tuple Spaces for Self-organising Coordination. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 143–162. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  29. Viroli, M., Casadei, M., Montagna, S., Zambonelli, F.: Spatial coordination of pervasive services through chemical-inspired tuple spaces. ACM Transactions on Autonomous and Adaptive Systems 6(2), 14:1–14:24 (2011)

    CrossRef  Google Scholar 

  30. Viroli, M., Pianini, D., Montagna, S., Stevenson, G.: Pervasive ecosystems: a coordination model based on semantic chemistry. In: Ossowski, S., Lecca, P., Hung, C.-C., Hong, J. (eds.) 27th Annual ACM Symposium on Applied Computing, SAC 2012, Riva del Garda, TN, Italy, March 26-30. ACM (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Alma Mater Studiorum – Università di Bologna, Italy

    Mirko Viroli & Danilo Pianini

  2. Raytheon BBN Technologies, USA

    Jacob Beal

Authors
  1. Mirko Viroli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Danilo Pianini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jacob Beal
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computer Science, Reykjavik University, Menntavegur 1, 101, Reykjavik, Iceland

    Marjan Sirjani

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 IFIP International Federation for Information Processing

About this paper

Cite this paper

Viroli, M., Pianini, D., Beal, J. (2012). Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments. In: Sirjani, M. (eds) Coordination Models and Languages. COORDINATION 2012. Lecture Notes in Computer Science, vol 7274. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30829-1_15

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-30829-1_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30828-4

  • Online ISBN: 978-3-642-30829-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature