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.
Supplemental Material
Available for Download
The proof is given in an electronic appendix, available online in the ACM Digital Library.
- Agha, G. 2008. Computing in pervasive cyberspace. Comm. ACM 51, 1, 68--70. Google Scholar
Digital Library
- Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., and Walter, P. 2002. Molecular Biology of the Cell 4th Ed. Garland Science.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Barros, A. P. and Dumas, M. 2006. The rise of web service ecosystems. IT Professional 8, 5, 31--37. Google Scholar
Digital Library
- Beal, J. and Bachrach, J. 2006. Infrastructure for engineered emergence on sensor/actuator networks. IEEE Intell. Syst. 21, 2, 10--19. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Berry, G. and Boudol, G. 1992. The chemical abstract machine. Theor. Comput. Sci. 96, 1, 217--248. Google Scholar
Digital Library
- Berryman, A. A. 1992. The origins and evolution of predator-prey theory. Ecology 73, 5, 1530--1535.Google Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Digital Library
- Busi, N., Gorrieri, R., and Zavattaro, G. 2000. On the expressiveness of Linda coordination primitives. Inf. Comput. 156, 1-2, 90--121. Google Scholar
Digital Library
- Cabri, G., Leonardi, L., and Zambonelli, F. 2000. MARS: A programmable coordination architecture for mobile agents. IEEE Internet Comput. 4, 4, 26--35. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- Cao, Y., Petzold, L., and Gillespie, D. 2006. Efficient step size selection for the tau-leaping simulation method. J. Chemical Physics 124, 4.Google Scholar
Cross Ref
- Cardelli, L. 2008. On process rate semantics. Theor. Comput. Sci. 391, 3, 190--215. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- Fujii, K. and Suda, T. 2006. Semantics-based dynamic web service composition. Int. J. Cooperative Inf. Syst. 15, 3, 293--324.Google Scholar
Cross Ref
- Gelernter, D. 1985. Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7, 1, 80--112. Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- Gillespie, D. T. 1977. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81, 25, 2340--2361.Google Scholar
Cross Ref
- Giunchiglia, F., Yatskevich, M., and Shvaiko, P. 2007. Semantic matching: Algorithms and implementation. J. Data Semantics 4601, 1--38.Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- Jelasity, M., Montresor, A., and Babaoglu, Ö. 2005. Gossip-based aggregation in large dynamic networks. ACM Trans. Comput. Syst. 23, 3, 219--252. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- Kephart, J. O. and Chess, D. M. 2003. The vision of autonomic computing. Computer 36, 1, 41--50. Google Scholar
Digital Library
- Malone, T. W. and Crowston, K. 1994. The interdisciplinary study of coordination. ACM Comput. Surv. 26, 1, 87--119. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- Milner, R., Parrow, J., and Walker, D. 1992. A calculus of mobile processes, Part I. Inf. Comput. 100, 1, 1--40. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- Omicini, A. and Zambonelli, F. 1999. Coordination for Internet application development. Autonomous Agents Multi-Agent Syst. 2, 3, 251--269. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Priami, C. 1995. Stochastic pi-calculus. Computer J. 38, 7, 578--589.Google Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- University of Birmingham. 2007. The PRISM probabilistic model checker. http://www.prismmodelchecker.org.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Recommendations
Spatial Coordination of Pervasive Systems through Chemical-Inspired Tuple Spaces
SASOW '10: Proceedings of the 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems WorkshopPervasive computing calls for developing distributed infrastructures featuring large-scale distribution, opennes, context-awareness, self-organisation and self-adaptation. There, it is quite natural to see services (software functionality, data, ...
Pervasive Service Computing: Visions and Challenges
CIT '10: Proceedings of the 2010 10th IEEE International Conference on Computer and Information TechnologyPervasive Service Computing applies service composition and pervasive computing into managing user’s complex everyday activities. To identify the nature of Pervasive Service Computing, we investigate a generic service-oriented pervasive computing ...
Towards a pervasive infrastructure for chemical-inspired self-organising services
SOAR'09: Proceedings of the First international conference on Self-organizing architecturesStimulated by the increasing availability of new mobile computing devices and the corresponding demand of open, long-lasting, and self-organising service applications, recent works proposed the adoption of a nature-inspired approach of chemistry for ...






Comments