Article

A self-organising solution to the collective sort problem in distributed tuple spaces

Authors:

Mirko Viroli,

Matteo Casadei,

Luca GardelliAuthors Info & Claims

SAC '07: Proceedings of the 2007 ACM symposium on Applied computing

Pages 354 - 359

https://doi.org/10.1145/1244002.1244086

Published: 11 March 2007 Publication History

Get Access

Abstract

Coordination languages and models are recently moving towards the application of techniques coming from the research context of complex systems: adaptivity and self-organisation are exploited in order to tackle typical features of systems to coordinate, such as openness, dynamism and unpredictability. In this paper we focus on a paradigmatic problem we call collective sort, where autonomous agents are assigned the task of moving tuples across different tuple spaces with the goal of reaching perfect clustering: tuples of the same kind are to be collected in the same, unique tuple space. We describe a self-organising solution to this problem, where each agent moves tuples according to partial observations, still making complete sorting emerge from any initial tuple configuration.

References

[1]

Recursive porous agent simulation toolkit (repast), 2006. Available online at http://repast.sourceforge.net/.

Google Scholar

[2]

Swarm, 2006. Available online at http://www.swarm.org/.

Google Scholar

[3]

E. Bonabeau, M. Dorigo, and G. Theraulaz. Swarm Intelligence: From Natural to Artificial Systems. Santa Fe Institute Studies in the Sciences of Complexity. Oxford University Press, Inc., 1999.

Digital Library

Google Scholar

[4]

M. Casadei, L. Gardelli, and M. Viroli. Simulating emergent properties of coordination in Maude: the collective sorting case. In C. Canal and M. Viroli, editors, 5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), pages 57--75, CONCUR 2006, Bonn, Germany, 31 Aug. 2006. University of Málaga, Spain. Proceedings.

Google Scholar

[5]

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. Maude Manual. Department of Computer Science University of Illinois at Urbana-Champaign, 2.2 edition, December 2005. Version 2.2 is available online at http://maude.cs.uiuc.edu.

Google Scholar

[6]

L. Gardelli, M. Viroli, and A. Omicini. On the role of simulations in engineering self-organising MAS: The case of an intrusion detection system in TuCSoN. In S. A. Brueckner, G. Di Marzo Serugendo, D. Hales, and F. Zambonelli, editors, Engineering Self-Organising Systems, volume 3910 of LNAI, pages 153--168. Springer, 2006. 3rd International Workshop (ESOA 2005), Utrecht, The Netherlands, 26 July 2005. Revised Selected Papers.

Digital Library

Google Scholar

[7]

H. Gutowitz. Complexity-seeking ants. In Deneubourg and Goss, editors, Proceedings of the Third European Conference on Artificial Life, 1993.

Google Scholar

[8]

M. Mamei and F. Zambonelli. Programming pervasive and mobile computing applications with the tota middleware. In Pervasive Computing and Communications, 2004. PerCom 2004. Proceedings of the Second IEEE Annual Conference on, pages 263--273. IEEE, March 2004.

Digital Library

Google Scholar

[9]

R. Menezes and R. Tolksdorf. Adaptiveness in linda-based coordination models. In G. D. M. Serugendo, A. Karageorgos, O. F. Rana, and F. Zambonelli, editors, Engineering Self-Organising Systems: Nature-Inspired Approaches to Software Engineering, volume 2977 of LNAI, pages 212--232. Springer Berlin / Heidelberg, January 2004.

Google Scholar

[10]

R. D. Nicola, D. Latella, and M. Massink. Formal modeling and quantitative analysis of KLAIM-based mobile systems. In SAC '05: Proceedings of the 2005 ACM symposium on Applied computing, pages 428--435, New York, NY, USA, 2005. ACM Press.

Digital Library

Google Scholar

[11]

A. Omicini and E. Denti. From tuple spaces to tuple centres. Science of Computer Programming, 41(3):277--294, Nov. 2001.

Crossref

Google Scholar

[12]

A. Phillips. The Stochastic Pi Machine (SPiM), 2006. Version 0.042 available online at http://www.doc.ic.ac.uk/~anp/spim/.

Google Scholar

[13]

C. Priami. Stochastic pi-calculus. The Computer Journal, 38(7):578--589, 1995.

Crossref

Google Scholar

Cited By

View all

Casadei MViroli M(2009)An experience on probabilistic model checking and stochastic simulation to design self-organizing systemsProceedings of the Eleventh conference on Congress on Evolutionary Computation10.5555/1689599.1689802(1538-1545)Online publication date: 18-May-2009
https://dl.acm.org/doi/10.5555/1689599.1689802
Casadei MViroli M(2009)An experience on probabilistic model checking and stochastic simulation to design self-organizing systems2009 IEEE Congress on Evolutionary Computation10.1109/CEC.2009.4983125(1538-1545)Online publication date: May-2009
https://doi.org/10.1109/CEC.2009.4983125
Casadei MViroli MGardelli L(2009)On the collective sort problem for distributed tuple spacesScience of Computer Programming10.1016/j.scico.2008.09.01874:9(702-722)Online publication date: 1-Jul-2009
https://dl.acm.org/doi/10.1016/j.scico.2008.09.018
Show More Cited By

Index Terms

A self-organising solution to the collective sort problem in distributed tuple spaces
1. Computing methodologies
  1. Concurrent computing methodologies
    1. Concurrent programming languages
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
      2. Language types
        Concurrent programming languages
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

On the collective sort problem for distributed tuple spaces

In systems coordinated with a distributed set of tuple spaces, it is crucial to assist agents in retrieving the tuples they are interested in. This can be achieved by sorting techniques that group similar tuples together in the same tuple space, so that ...
Semantic tuple centres

In order to address open, distributed, and knowledge-intensive scenarios, we introduce a semantic-oriented extension of the tuple centre coordination model. There, each tuple centre is extended with the ontological description of the coordination domain,...
Biochemical Tuple Spaces for Self-organising Coordination
COORDINATION '09: Proceedings of the 11th International Conference on Coordination Models and Languages

Inspired by recent works in computational systems biology and existing literature proposing nature-inspired approaches for the coordination of today complex distributed systems, this paper proposes a mechanism to leverage exact computational modelling ...

Comments

Information & Contributors

Information

Published In

SAC '07: Proceedings of the 2007 ACM symposium on Applied computing

March 2007

1688 pages

ISBN:1595934804

DOI:10.1145/1244002

Conference Chairs:
Yookun Cho
Seoul National University, Seoul, Korea
,
Roger L. Wainwright
University of Tulsa, Tulsa, Oklahoma
,
Hisham M. Haddad
Kennesaw State University, Kennesaw, Georgia
,
Sung Y. Shin
South Dakota State University, Brookings, South Dakota
,
Program Chair:
Yong Wan Koo
The University of Suwon, Gyeongggi-do, Korea

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 March 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SAC07

Sponsor:

SIGAPP

SAC07: The 2007 ACM Symposium on Applied Computing

March 11 - 15, 2007

Seoul, Korea

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
188
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Casadei MViroli M(2009)An experience on probabilistic model checking and stochastic simulation to design self-organizing systemsProceedings of the Eleventh conference on Congress on Evolutionary Computation10.5555/1689599.1689802(1538-1545)Online publication date: 18-May-2009
https://dl.acm.org/doi/10.5555/1689599.1689802
Casadei MViroli M(2009)An experience on probabilistic model checking and stochastic simulation to design self-organizing systems2009 IEEE Congress on Evolutionary Computation10.1109/CEC.2009.4983125(1538-1545)Online publication date: May-2009
https://doi.org/10.1109/CEC.2009.4983125
Casadei MViroli MGardelli L(2009)On the collective sort problem for distributed tuple spacesScience of Computer Programming10.1016/j.scico.2008.09.01874:9(702-722)Online publication date: 1-Jul-2009
https://dl.acm.org/doi/10.1016/j.scico.2008.09.018
Gardelli LViroli MCasadei MOmicini A(2008)Designing self-organising environments with agents and artefacts: a simulation-driven approachInternational Journal of Agent-Oriented Software Engineering10.1504/IJAOSE.2008.0173142:2(171-195)Online publication date: 1-Feb-2008
https://dl.acm.org/doi/10.1504/IJAOSE.2008.017314

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

On the collective sort problem for distributed tuple spaces

Semantic tuple centres

Biochemical Tuple Spaces for Self-organising Coordination

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations