Self-organising pervasive ecosystems: A crowd evacuation example
2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
https://doi.org/10.1007/978-3-642-24124-6_12Abstract
The dynamics of pervasive ecosystems are typically highly unpredictable, and therefore self-organising approaches are often exploited to make their applications resilient to changes and failures. The SAPERE approach we illustrate in this paper aims at addressing this issue by taking inspiration from natural ecosystems, which are regulated by a limited set of "laws" evolving the population of individuals in a self-organising way. Analogously, in our approach, a set of so-called eco-laws coordinate the individuals of the pervasive computing system (humans, devices, signals), in a way that is shown to be expressive enough to model and implement interesting real-life scenarios. We exemplify the proposed framework discussing a crowd evacuation application, tuning and validating it by simulation.
References (22)
- Autili, M., Benedetto, P., Inverardi, P.: Context-aware adaptive services: The plas- tic approach. In: FASE '09 Proceedings. pp. 124-139. Springer-Verlag (2009)
- Banâtre, J.P., Priol, T.: Chemical programming of future service-oriented archi- tectures. Journal of Software 4, 738-746 (September 2009)
- Berry, G., Boudol, G.: The chemical abstract machine. In: POPL. pp. 81-94 (1990)
- Casadei, M., Gardelli, L., Viroli, M.: Simulating emergent properties of coordina- tion in Maude: the collective sort case. In: Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architec- tures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science, vol. 175(2), pp. 59-80. Elsevier Science B.V. (2007)
- Ciocchetta, F., Duguid, A., Guerriero, M.L.: A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA. CoRR abs/0911.4984 (2009)
- Costa, P.D., Guizzardi, G., Almeida, J.P.A., Pires, L.F., van Sinderen, M.: Situa- tions in conceptual modeling of context. In: EDOC 2006. p. 6. IEEE-CS (2006)
- Fok, C.L., Roman, G.C., Lu, C.: Enhanced coordination in sensor networks through flexible service provisioning. In: Field, J., Vasconcelos, V.T. (eds.) Proceedings of COORDINATION 2009. LNCS, vol. 5521, pp. 66-85. Springer-Verlag (2009)
- Gibson, M.A., Bruck, J.: Efficient exact stochastic simulation of chemical sys- tems with many species and many channels. The Journal of Physical Chemistry A 104(9), 1876-1889 (March 2000)
- Iliasov, A., Laibinis, L., Romanovsky, A., Sere, K., Troubitsyna, E.: Towards rigor- ous engineering of resilient pervasive systems. In: Proceedings of Seventh European Dependable Computing Conference. IEEE Computer Society (May 2008)
- Macal, C.M., North, M.J.: Tutorial on agent-based modelling and simulation. Jour- nal of Simulation 4, 151-162 (2010)
- Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing appli- cations: The tota approach. ACM Trans. Softw. Eng. Methodol. 18(4), 1-56 (2009)
- Montagna, S., Viroli, M.: A framework for modelling and simulating networks of cells. In: Proceedings of the CS2Bio 2010 Workshop. ENTCS, vol. 268, pp. 115-129. Elsevier Science B.V. (Dec 2010)
- Murphy, A.L., Picco, G.P., Roman, G.C.: Lime: A model and middleware sup- porting mobility of hosts and agents. ACM Trans. on Software Engineering and Methodology 15(3), 279-328 (2006)
- Paun, G.: Membrane Computing: An Introduction. Springer-Verlag New York, Inc., Secaucus, NJ, USA (2002)
- Priami, C.: Stochastic pi-calculus. The Computer Journal 38(7), 578-589 (1995)
- Railsback, S.F., Lytinen, S.L., Jackson, S.K.: Agent-based simulation platforms: Review and development recommendations. Simulation 82(9), 609-623 (2006)
- Román, M., Hess, C.K., Cerqueira, R., Ranganathan, A., Campbell, R.H., Nahrst- edt, K.: Gaia: a middleware platform for active spaces. Mobile Computing and Communications Review 6(4), 65-67 (2002)
- Roy, P.V., Haridi, S., Reinefeld, A., Stefany, J.B., Yap, R., Coupaye, T.: Self- management for large-scale distributed systems: an overview of the selfman project. In: Formal Methods for Components and Objects, LNCS No. 5382. pp. 153-178. Springer Verlag (2008)
- Tchao, A., Risoldi, M., Di Marzo Serugendo, G.: Modeling self-* systems using chemically-inspired composable patterns. In: Proceedings of the 5th IEEE Interna- tional Conference on Self-Adaptive and Self-Organizing Systems. IEEE-CS (2011)
- Versari, C., Busi, N.: Efficient stochastic simulation of biological systems with multiple variable volumes. ENTCS 194(3), 165-180 (2008)
- Viroli, M., Casadei, M.: Biochemical tuple spaces for self-organising coordination. In: Field, J., Vasconcelos, V.T. (eds.) Proceedings of COORDINATION 2009, LNCS, vol. 5521, pp. 143-162. Springer-Verlag (2009)
- Viroli, M., Zambonelli, F.: A biochemical approach to adaptive service ecosystems. Information Sciences 180(10), 1876-1892 (2010)