skip to main content
research-article

Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces

Published:01 June 2011Publication History
Skip Abstract Section

Abstract

To support and engineer the spatial coordination of distributed pervasive services, we propose a chemical-inspired model, which extends tuple spaces with the ability of evolving tuples mimicking chemical systems, that is, in terms of reaction and diffusion rules that apply to tuples modulo semantic match. The suitability of this model is studied by considering a self-adaptive display infrastructure providing people nearby with several visualization services (advertisements, news, personal and social content). The key result of this article is that general-purpose chemical reactions inspired by population dynamics can be used in pervasive applications to enact spatial computing patterns of competition and gradient-based interaction.

Skip Supplemental Material Section

Supplemental Material

References

  1. Agha, G. 2008. Computing in pervasive cyberspace. Comm. ACM 51, 1, 68--70. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., and Walter, P. 2002. Molecular Biology of the Cell 4th Ed. Garland Science.Google ScholarGoogle Scholar
  3. Autili, M., Benedetto, P. D., and Inverardi, P. 2009. Context-aware adaptive services: The plastic approach. In Proceedings of the Joint European Conferences on Theory and Practice of Software (ETAPS’09). Lecture Notes in Computer Science, vol. 5503. Springer, Berlin, 124--139. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., and Patel-Schneider, P. F., Eds. 2003. The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Babaoglu, O., Canright, G., Deutsch, A., Caro, G. A. D., Ducatelle, F., Gambardella, L. M., Ganguly, N., Jelasity, M., Montemanni, R., Montresor, A., and Urnes, T. 2006. Design patterns from biology for distributed computing. ACM Trans. Auton. Adapt. Syst. 1, 1, 26--66. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Bandara, A., Payne, T. R., Roure, D. D., Gibbins, N., and Lewis, T. 2008. A pragmatic approach for the semantic description and matching of pervasive resources. In Advances in Grid and Pervasive Computing. Lecture Notes in Computer Science, vol. 5036, Springer, Berlin, 434--446. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Barros, A. P. and Dumas, M. 2006. The rise of web service ecosystems. IT Professional 8, 5, 31--37. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Beal, J. and Bachrach, J. 2006. Infrastructure for engineered emergence on sensor/actuator networks. IEEE Intell. Syst. 21, 2, 10--19. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Beal, J. and Bachrach, J. 2008. Cells are plausible targets for high-level spatial languages. In Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASO’08). IEEE, Los Alamitos, CA, 284--291. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Beal, J., Bachrach, J., Vickery, D., and Tobenkin, M. 2008. Fast self-healing gradients. In Proceedings of the ACM Symposium on Applied Computing (SAC’08). ACM, New York, 1969--1975. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Berry, G. and Boudol, G. 1992. The chemical abstract machine. Theor. Comput. Sci. 96, 1, 217--248. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Berryman, A. A. 1992. The origins and evolution of predator-prey theory. Ecology 73, 5, 1530--1535.Google ScholarGoogle ScholarCross RefCross Ref
  13. Bobillo, F. and Straccia, U. 2008. Fuzzydl: An expressive fuzzy description logic reasoner. In Proceedings of the International Conference on Fuzzy Systems (FUZZ’08). IEEE, Los Alamitos, CA, 923--930.Google ScholarGoogle Scholar
  14. Bonâtre, J.-P. and Le Métayer, D. 1996. Gamma and the chemical reaction model: Ten years after. In Coordination Programming, Imperial College Press London, 3--41. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Busi, N., Gorrieri, R., and Zavattaro, G. 2000. On the expressiveness of Linda coordination primitives. Inf. Comput. 156, 1-2, 90--121. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Cabri, G., Leonardi, L., and Zambonelli, F. 2000. MARS: A programmable coordination architecture for mobile agents. IEEE Internet Comput. 4, 4, 26--35. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Camazine, S., Deneubourg, J.-L., Franks, N. R., Sneyd, J., Theraulaz, G., and Bonabeau, E. 2001. Self-Organization in Biological Systems, Princeton Studies in Complexity, Princeton University Press, Princeton, NJ. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Cao, Y., Petzold, L., and Gillespie, D. 2006. Efficient step size selection for the tau-leaping simulation method. J. Chemical Physics 124, 4.Google ScholarGoogle ScholarCross RefCross Ref
  19. Cardelli, L. 2008. On process rate semantics. Theor. Comput. Sci. 391, 3, 190--215. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Costa, P., Mottola, L., Murphy, A. L., and Picco, G. P. 2007. Programming wireless sensor networks with the Teeny Lime middleware. Lecture Notes in Computer Science, vol. 4834, Springer, Berlin, 429--449. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Costa, P. D., Guizzardi, G., Almeida, J. P. A., Pires, L. F., and van Sinderen, M. 2006. Situations in conceptual modeling of context. In Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC’06). IEEE, Los Alamitos, CA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. De Cecco, M. 2009. Infrastructures for digital business ecosystems: The wrong question? Report of the European Thematic Network on Digital Ecosystems. http://www.digital-ecosystems.org/doc/papers/DigitalEcosystemsSyndromes.pdf.Google ScholarGoogle Scholar
  23. Eyiyurekli, M., Bai, L., Lelkes, P. I., and Breen, D. E. 2010. Chemotaxis-based sorting of self-organizing heterotypic agents. In Proceedings of the 25th Annual ACM Symposium on Applied Computing (SAC’10). S. Y. Shin et al. Eds., ACM, New York, 1315--1322. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Ferscha, A., Riener, A., Hechinger, M., and Schmitzberger, H. 2006. Building pervasive display landscapes with stick-on interfaces. In Proceedings of the CHI Workshop on Information Visualization and Interaction Techniques.Google ScholarGoogle Scholar
  25. Fok, C.-L., Roman, G.-C., and Lu, C. 2009. Enhanced coordination in sensor networks through flexible service provisioning. In Proceedings of the 11th International Conference on Coordination Languages and Models (COORDINATION’09). Lecture Notes in Computer Science, vol. 5521, Springer, Berlin, 66--85. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Fujii, K. and Suda, T. 2006. Semantics-based dynamic web service composition. Int. J. Cooperative Inf. Syst. 15, 3, 293--324.Google ScholarGoogle ScholarCross RefCross Ref
  27. Gelernter, D. 1985. Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7, 1, 80--112. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Gibson, M. A. and Bruck, J. 2000. Efficient exact stochastic simulation of chemical systems with many species and many channels. J. Phys. Chem. A 104, 9, 1876--1889.Google ScholarGoogle ScholarCross RefCross Ref
  29. Gillespie, D. T. 1977. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81, 25, 2340--2361.Google ScholarGoogle ScholarCross RefCross Ref
  30. Giunchiglia, F., Yatskevich, M., and Shvaiko, P. 2007. Semantic matching: Algorithms and implementation. J. Data Semantics 4601, 1--38.Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. Horrocks, I., Patel-Schneider, P. F., and Harmelen, F. V. 2003. From shiq and rdf to Owl: The making of a web ontology language. J. Web Semantics 1, 2003.Google ScholarGoogle ScholarCross RefCross Ref
  32. Jelasity, M., Montresor, A., and Babaoglu, Ö. 2005. Gossip-based aggregation in large dynamic networks. ACM Trans. Comput. Syst. 23, 3, 219--252. Google ScholarGoogle ScholarDigital LibraryDigital Library
  33. Julien, C. and Roman, G.-C. 2006. Egospaces: Facilitating rapid development of context-aware mobile applications. IEEE Trans. Softw. Eng. 32, 5, 281--298. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. Kephart, J. O. and Chess, D. M. 2003. The vision of autonomic computing. Computer 36, 1, 41--50. Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. Malone, T. W. and Crowston, K. 1994. The interdisciplinary study of coordination. ACM Comput. Surv. 26, 1, 87--119. Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. Mamei, M. and Zambonelli, F. 2009. Programming pervasive and mobile computing applications: The TOTA approach. ACM Trans. Softw. Eng. Methodol. 18, 4, 1--56. Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. Milner, R., Parrow, J., and Walker, D. 1992. A calculus of mobile processes, Part I. Inf. Comput. 100, 1, 1--40. Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. Nardini, E., Viroli, M., and Panzavolta, E. 2010. Coordination in open and dynamic environments with Tucson semantic tuple centres. In Proceedings of the 25th Annual ACM Symposium on Applied Computing (SAC’10). S. Y. Shin et al. Eds., ACM, New York, 2037--2044. Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. Omicini, A. and Zambonelli, F. 1999. Coordination for Internet application development. Autonomous Agents Multi-Agent Syst. 2, 3, 251--269. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. Paolucci, M., Kawamura, T., Payne, T. R., and Sycara, K. P. 2002. Semantic matching of web services capabilities. In Proceedings of the International Semantic Web Conference. Lecture Notes in Computer Science, vol. 2342, Springer, Berlin, 333--347. Google ScholarGoogle ScholarDigital LibraryDigital Library
  41. Parunak, H. V. D., Brueckner, S., and Sauter, J. 2002. Digital pheromone mechanisms for coordination of unmanned vehicles. In Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’02). Vol. 1, ACM, New York, 449--450. Google ScholarGoogle ScholarDigital LibraryDigital Library
  42. Pham, H., Paluska, J. M., Saif, U., Stawarz, C., Terman, C., and Ward, S. 2009. A dynamic platform for run-time adaptation. Pervasive Mobile Comput. 5, 6, 676--696. Google ScholarGoogle ScholarDigital LibraryDigital Library
  43. Picco, G. P., Murphy, A. L., and Roman, G.-C. 1999. LIME: Linda meets mobility. In Proceedings of the International Conference on Software Engineering (ICSE’99). ACM, New York, 368--377. Google ScholarGoogle ScholarDigital LibraryDigital Library
  44. Priami, C. 1995. Stochastic pi-calculus. Computer J. 38, 7, 578--589.Google ScholarGoogle ScholarCross RefCross Ref
  45. Rathinam, M., Cao, Y., Petzold, L., and Gillespie, D. 2003. Stiffness in stochastic chemically reacting systems: The implicit Tau-leaping method. J. Chemical Phys. 119, 24.Google ScholarGoogle ScholarCross RefCross Ref
  46. Ricci, A., Omicini, A., Viroli, M., Gardelli, L., and Oliva, E. 2007. Cognitive stigmergy: Towards a framework based on agents and artifacts. In Environments for MultiAgent Systems. D. Weyns et al. Eds., Lecture Notes in Computer Science, vol. 4389, Springer, Berlin, 124--140. Google ScholarGoogle ScholarDigital LibraryDigital Library
  47. Román, M., Hess, C. K., Cerqueira, R., Ranganathan, A., Campbell, R. H., and Nahrstedt, K. 2002. Gaia: A middleware platform for active spaces. Mobile Comput. Comm. Rev. 6, 4, 65--67. Google ScholarGoogle ScholarDigital LibraryDigital Library
  48. Tolksdorf, R., Nixon, L. J. B., and Simperl, E. P. B. 2008. Towards a tuplespace-based middleware for the semantic Web. Web Intell. Agent Syst. 6, 3, 235--251. Google ScholarGoogle ScholarDigital LibraryDigital Library
  49. Ulieru, M. and Grobbelaar, S. 2007. Engineering industrial ecosystems in a networked world. In Proceedings of the 5th IEEE International Conference on Industrial Informatics. IEEE, Los Alamitos, CA, 1--7.Google ScholarGoogle Scholar
  50. University of Birmingham. 2007. The PRISM probabilistic model checker. http://www.prismmodelchecker.org.Google ScholarGoogle Scholar
  51. Viroli, M. and Casadei, M. 2009. Biochemical tuple spaces for self-organising coordination. In Coordination Languages and Models. J. Field and V. T. Vasconcelos Eds., Lecture Notes in Computer Science, vol. 5521. Springer, Berlin, 143--162. Google ScholarGoogle ScholarDigital LibraryDigital Library
  52. Viroli, M. and Casadei, M. 2010. Chemical-inspired self-composition of competing services. In Proceedings of the 25th Annual ACM Symposium on Applied Computing (SAC’10). S. Y. Shin et al. Eds., ACM, New York, 2029--2036. Google ScholarGoogle ScholarDigital LibraryDigital Library
  53. Viroli, M., Casadei, M., and Omicini, A. 2009. A framework for modelling and implementing self-organising coordination. In Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC’09). S. Y. Shin et al. Eds., ACM, New York, 1353--1360. Google ScholarGoogle ScholarDigital LibraryDigital Library
  54. Zambonelli, F. and Viroli, M. 2008. Architecture and metaphors for eternally adaptive service ecosystems. In Studies in Computational Intelligence (IDC’08). Springer, Berlin, 23--32.Google ScholarGoogle Scholar

Recommendations

Comments

Login options

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

Sign in

Full Access

  • Published in

    cover image ACM Transactions on Autonomous and Adaptive Systems
    ACM Transactions on Autonomous and Adaptive Systems  Volume 6, Issue 2
    June 2011
    106 pages
    ISSN:1556-4665
    EISSN:1556-4703
    DOI:10.1145/1968513
    Issue’s Table of Contents

    Copyright © 2011 ACM

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 1 June 2011
    • Accepted: 1 June 2010
    • Revised: 1 April 2010
    • Received: 1 September 2009
    Published in taas Volume 6, Issue 2

    Permissions

    Request permissions about this article.

    Request Permissions

    Check for updates

    Qualifiers

    • research-article
    • Research
    • Refereed

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!