Distributed statistical analysis of complex systems modeled through a chemical metaphor

Proceedings of the 2014 International Conference on High Performance Computing and Simulation, HPCS 2014

Volumn , Issue , 2014, Pages 416-423

  Pianini, Danilo ^a   Sebastio, Stefano ^b   Vandin, Andrea ^c  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b IMT SCHOOL FOR ADVANCED STUDIES LUCCA   (Italy)

^c UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Analysis of Emergent Behaviors; Automated Distributed Statistical Analysis; Chemical Inspired Computation; Discrete Event Modeling and Simulation; Statistical Model Checking

Indexed keywords

COMPUTER ARCHITECTURE; DISCRETE EVENT SIMULATION; DISPLAY DEVICES; MODEL CHECKING; STATISTICS;

ANALYSIS CAPABILITIES; CONTEXT-AWARE DEVICES; DISCRETE EVENT MODELS; DISCRETE-EVENT SIMULATORS; DISTRIBUTED ANALYSIS; EMERGENT BEHAVIORS; MULTICORE ARCHITECTURES; STATISTICAL MODEL CHECKING;

CHEMICAL ANALYSIS;

EID: 84908635087     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HPCSim.2014.6903715     Document Type: Conference Paper

References (37)

1. R. Doursat, "Organically grown architectures: Creating decentralized, autonomous systems by embryomorphic engineering," in Organic computing. Springer, 2008, pp. 167-199.
2. M. Viroli and M. Casadei, "Biochemical tuple spaces for self-organising coordination," Coordination Models and Languages, pp. 143-162, 2009.
3. M. Mamei, F. Zambonelli, and L. Leonardi, "Cofields: a physically inspired approach to motion coordination," Pervasive Computing, IEEE, vol. 3, no. 2, pp. 52-61, 2004.
4. F. Zambonelli, G. Castelli, L. Ferrari, M. Mamei, A. Rosi, G. D. M. Serugendo, M. Risoldi, A.-E. Tchao, S. Dobson, G. Stevenson, J. Ye, E. Nardini, A. Omicini, S. Montagna, M. Viroli, A. Ferscha, S. Maschek, and B. Wally, "Self-aware pervasive service ecosystems," Procedia CS, vol. 7, pp. 197-199, 2011.
5. S. Mariani and A. Omicini, "Molecules of knowledge: Self-organisation in knowledge-intensive environments," Intelligent Distributed Computing VI, pp. 17-22, 2013.
6. A. Molesini, M. Casadei, A. Omicini, and M. Viroli, "Simulation in agent-oriented software engineering: The soda case study," Sci. Comput. Program., vol. 78, no. 6, pp. 705-714, 2013.
7. S. Robinson, Simulation: The Practice of Model DeveIOPment and Use. John Wiley & Sons, 2004.
8. S. Bandini, S. Manzoni, and G. Vizzari, "Agent based modeling and simulation: An informatics perspective," J. Artificial Societies and Social Simulation, vol. 12, no. 4, 2009.
9. C. M. Macal and M. J. North, "Tutorial on agent-based modelling and simulation," Journal of Simulation, vol. 4, no. 3, pp. 151-162, 2010.
10. D. Pianini, S. Montagna, and M. Viroli, "Chemical-oriented simulation of computational systems with alchemist," Journal of Simulation, vol. 7, no. 3, pp. 202-215, 2013.
11. S. Sebastio and A. Vandin, "MultiVeStA: Statistical model checking for discrete event simulators," in VALUETOOLS, 2013.
12. M. Viroli, D. Pianini, S. Montagna, and G. Stevenson, "Pervasive ecosystems: a coordination model based on semantic chemistry," in SAC, 2012.
13. B. Anzengruber, G. Castelli, A. Rosi, A. Ferscha, and F. Zambonelli, "Social feedback in display ecosystems," in SMC, 2013.
14. G. Stevenson, J. Ye, S. Dobson, D. Pianini, S. Montagna, and M. Viroli, "Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks," in SAC, 2013.
15. S. Mariani and A. Omicini, "Self-organising news management: the molecules of knowledge approach," in SASO Workshops, 2012.
16. S. Montagna, D. Pianini, and M. Viroli, "Gradient-based self-organisation patterns of anticipative adaptation," in SASO, 2012.
17. S. Montagna, M. Viroli, M. Risoldi, D. Pianini, and G. D. M. Serugendo, "Self-organising pervasive ecosystems: A crowd evacuation example," in Software Engineering for Resilient Systems, 2011, pp. 115-129.
18. S. Montagna, D. Pianini, and M. Viroli, "A model for drosophila melanogaster deveIOPment from a single cell to stripe pattern formation," in SAC, 2012.
19. M. Schumacher, L. Grangier, and R. Jurca, "Governing environments for agent-based traffic simulations," in CEEMAS, 2007.
20. S. Bandini, S. Manzoni, and G. Vizzari, "Crowd Behavior Modeling: From Cellular Automata to Multi-Agent Systems," in Multi-Agent Systems: Simulation and Applications, ser. Computational Analysis, Synthesis, and Design of Dynamic Systems, A. M. Uhrmacher and D. Weyns, Eds. CRC Press, Jun. 2009, ch. 13, pp. 389-418.
21. M. J. North, T. R. Howe, N. T. Collier, and J. R. Vos, "A declarative model assembly infrastructure for verification and validation," in Advancing Social Simulation: The First World Congress, S. Takahashi, D. Sallach, and J. Rouchier, Eds. Springer Japan, 2007, pp. 129-140.
22. E. Sklar, "Netlogo, a multi-agent simulation environment," Artificial Life, vol. 13, no. 3, pp. 303-311, 2007.
23. C. Priami, "Stochastic pi-calculus," Comput. J., vol. 38, no. 7, pp. 578-589, 1995.
24. T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, Apr 1989.
25. A. Uhrmacher and C. Priami, "Discrete event systems specification in systems biology-a discussion of stochastic pi calculus and devs," in WSC, 2005.
26. R. Ewald, C. Maus, A. Rolfs, and A. M. Uhrmacher, "Discrete event modeling and simulation in systems biology," Journal of Simulation, vol. 1, no. 2, pp. 81-96, 2007.
27. D. T. Gillespie, "Exact stochastic simulation of coupled chemical reactions," The Journal of Physical Chemistry, vol. 81, no. 25, pp. 2340-2361, December 1977.
28. M. A. Gibson and J. Bruck, "Efficient exact stochastic simulation of chemical systems with many species and many channels," J. Phys. Chem. A, vol. 104, pp. 1876-1889, 2000.
29. S. Bandini, S. Manzoni, and G. Vizzari, "Crowd modeling and simulation," in Recent Advances in Design and Decision Support Systems in Architecture and Urban Planning, J. Leeuwen and H. Timmermans, Eds. Springer Netherlands, 2005, pp. 161-175.
30. J. Beal, J. Bachrach, D. Vickery, and M. Tobenkin, "Fast self-healing gradients," in SAC, 2008.
31. J. Beal, "Flexible self-healing gradients," in SAC, 2009.
32. J. L. Fernandez-Marquez, G. D. M. Serugendo, S. Montagna, M. Viroli, and J. L. Arcos, "Description and composition of bio-inspired design patterns: a complete overview," Natural Computing, pp. 1-25, 2013.
33. M. Chraibi, M. Freialdenhoven, A. Schadschneider, and A. Seyfried, "Modeling the desired direction in a force-based model for pedestrian dynamics," arXiv preprint arXiv:1207.1189, 2012.
34. K. Sen, M. Viswanathan, and G. Agha, "Vesta: A statistical model-checker and analyzer for probabilistic systems," in Quantitative Evaluation of Systems, 2005., 2005, pp. 251-252.
35. M. AlTurki and J. Meseguer, "Pvesta: A parallel statistical model checking and quantitative analysis tool," in CALCO, 2011.
36. G. A. Agha, J. Meseguer, and K. Sen, "PMaude: Rewrite-based specification language for probabilistic object systems," in QAPL 2005, ser. ENTCS, A. Cerone and H. Wiklicky, Eds., vol. 153(2). Elsevier, 2006, pp. 213-239.
37. L. Belzner, R. De Nicola, A. Vandin, and M. Wirsing, "Reasoning (on) Service Component Ensembles in Rewriting Logic," in Specification, Algebra, and Software, ser. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2014, vol. 8373, pp. 188-211.