Reflections on the simulation of complex systems for science

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2010, Pages 276-285

  Polack, Fiona A C ^a   Andrews, Paul S ^a   Ghetiu, Teodor ^a   Read, Mark ^a   Stepney, Susan ^a   Timmis, Jon ^a   Sampson, Adam T ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Complex system modelling; Scientific simulation; Simulation validation

Indexed keywords

INDIUM COMPOUNDS; LARGE SCALE SYSTEMS;

AGENT BASED SIMULATION; BIO-MEDICAL; COMPLEX SYSTEM MODELLING; DIRECTLY MODEL; MEDICAL RESEARCH; MODELING COMPONENT; SCIENTIFIC SIMULATIONS; SCIENTIFIC VALUES; SIMULATION VALIDATION; SYSTEM AGENTS;

BIOINFORMATICS;

EID: 79952021596     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2010.42     Document Type: Conference Paper

References (41)

1. M. Calder, S. Gilmore, and J. Hillston, "Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA," Transactions on Computational Systems Biology VII, vol. 4230, pp. 1-23, 2006.
2. A. Sadot, J. Fisher, D. Barak, Y. Admanit, M. J. Stern, E. J. A. Hubbard, and D. Harel, "Towards verified biological models," IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2007.
3. T. Ghetiu, R. D. Alexander, P. S. Andrews, F. A. C. Polack, and J. Bown, "Equivalence arguments for complex systems simulations - a case-study," in Workshop on Complex Systems Modelling and Simulation. Luniver Press, 2009, pp. 101-140.
4. P. S. Andrews, F. Polack, A. T. Sampson, J. Timmis, L. Scott, and M. Coles, "Simulating biology: towards understanding what the simulation shows," in Workshop on Complex Systems Modelling and Simulation. Luniver Press, 2008, pp. 93-123.
5. F. A. C. Polack, P. S. Andrews, and A. T. Sampson, "The engineering of concurrent simulations of complex systems," in Congress on Evolutionary Computation. IEEE Press, 2009, pp. 217-224.
6. G. F. Miller, "Artificial life as theoretical biology: How to do real science with computer simulation," School of Cognitive and Computing Sciences, University of Sussex, Tech. Rep. Cognitive Science Research Paper 378, 1995.
7. E. D. Paolo, J. Noble, and S. Bullock, "Simulation models as opaque thought experiments," in Articial Life VII. MIT Press, 2000, pp. 497-506.
8. M. Wheeler, S. Bullock, E. D. Paolo, J. Noble, M. Bedau, P. Husbands, S. Kirby, and A. Seth, "The view from elsewhere: Perspectives on alife modelling," Artificial Life, vol. 8, no. 1, pp. 87-100, 2002.
9. J. Bryden and J. Noble, "Computational modelling, explicit mathematical treatments, and scientific explanation," in Artificial Life X. MIT Press, 2006, pp. 520-526.
10. D. Bray, "Bacterial chemotaxis and the question of gain," PNAS, vol. 99, no. 1, pp. 7-9, 2002.
11. H. Poincare, Science and Method. Dover Publications, 1958, transl. F. Maitland, from the French, 1908.
12. W. I. B. Beveridge, The art of scientific investigation. Heinemann Educational, 1957.
13. P. B. Medawar, Induction and Intuition in Scientific Thought. Methuen, 1969.
14. J. Uchmanski and V. Grimm, "Individual-based modelling in ecology: what makes the difference?" Trends in Ecology & Evolution, vol. 11, no. 10, pp. 437-441, 1996. [Online]. Available: http://dx.doi.org/10.1016/0169- 5347(96)20091-6
15. P. Deuflhard, "From molecular dynamics to conformation dynamics in drug design," in Trends in Nonlinear Analysis, M. Kirkilionis, S. Krmker, R. Rannacher, and F. Toni, Eds. Springer, 2003, pp. 269-288.
16. A. Hone, "On non-standard numerical integration methods for biological oscillators," in Workshop on Complex Systems Modelling and Simulation. Luniver Press, 2009, pp. 45-66.
17. J. Sudeikat, L. Braubach, A. Pokahr, and W. Lamersdorf, "Evaluation of agent-oriented software methodologies - examination of the gap between modeling and platform," in AOSE 2004, ser. LNCS, vol. 3382. Sringer, 2004, pp. 126-141.
18. C. A. Iglesias, M. Garijo, and J. C. González, "A survey of agent-oriented methodologies," in International Workshop on Intelligent Agents, Agent Theories, Architectures, and Languages, ser. LNAI, vol. 1555. Springer, 2000, pp. 317-330.
19. C. Bernon, M.-P. Gleizes, S. Peyruqueou, and G. Picard, "ADELFE: A methodology for adaptive multi-agent systems engineering," in Engineering Societies in the Agents World, ser. LNCS, vol. 2577. Springer, 2003, pp. 70-81.
20. L. Padgham and M. Winikoff, "Prometheus: A methodology for developing intelligent agents," in AOSE III, ser. LNCS, vol. 2585. Springer, 2003, pp. 174-185.
21. R. Alexander, "Using simulation for systems of systems hazard analysis," Ph.D. dissertation, Department of Computer Science, University of York, 2007.
22. O. Paunovski, G. Eleftherakis, and T. Cowling, "Framework for empirical exploration of emergence using multi-agent simulation," in Workshop on Complex Systems Modelling and Simulation. Luniver Press, 2008, pp. 1-31.
23. R. G. Sargent, "The use of graphical models in model validation," in 18th Winter Simulation Conference. ACM, 1986, pp. 237-241.
24. -, "Verification and validation of simulation models," in 37th Winter Simulation Conference. ACM, 2005, pp. 130-143.
25. F. Polack, S. Stepney, H. Turner, P. Welch, and F. Barnes, "An architecture for modelling emergence in CA-like systems," in European Conference: Advances in Artificial Life, ser. LNAI, vol. 3630. Springer, 2005, pp. 433-442.
26. F. A. C. Polack, T. Hoverd, A. T. Sampson, S. Stepney, and J. Timmis, "Complex systems models: Engineering simulations," in ALife XI. MIT press, 2008.
27. B. P. Zeigler, "A theory-based conceptual terminology for M&S VV&A," Arizona Center for Integrative Modeling and Simulation, Tech. Rep. 99S-SIW-064, 1999, www.acims.arizona.edu/PUBLICATIONS/publications.shtml.
28. H. Stanislaw, "Tests of computer simulation validity: what do they measure?" Simulation and Gaming, vol. 17, no. 2, pp. 173-191, 1986.
29. M. Read, P. S. Andrews, J. Timmis, and V. Kumar, "Using UML to model EAE and its regulatory network," in International Conference on Artificial Immune Systems, ser. LNCS, vol. 5666. Springer, 2009.
30. -, "A domain model of Experimental Autoimmune Encephalomyelitis, " in Workshop on Complex Systems Modelling and Simulation. Luniver Press, 2009, pp. 9-44.
31. P. S. Andrews, A. T. Sampson, J. M. Bjorndalen, S. Stepney, J. Timmis, D. N. Warren, and P. H. Welch, "Investigating patterns for the process-oriented modelling and simulation of space in complex systems," in Artificial Life XI. MIT Press, 2008.
32. A. T. Sampson, J. M. Bjørndalen, and P. S. Andrews, "Birds on the Wall: Distributing a process-oriented simulation," in Congress on Evolutionary Computation. IEEE Press, 2009, pp. 225-231.
33. A. J. Flügge, J. Timmis, P. Andrews, J. Moore, and P. Kaye, "Modelling and simulation of granuloma formation in visceral Leishmaniasis," in Congress on Evolutionary Computation. IEEE Press, 2009, pp. 3052-3059.
34. G. C. Balan, C. Cioffi-Revilla, S. Luke, L. Panait, and S. Paus, "MASON: A Java multi-agent simulation library," in Agent 2003 Conference. Argonne National Laboratory, 2003. [Online]. Available: http://agent2002.anl.gov/Agent2003.pdf
35. S. Luke, C. Cioffi-Revilla, L. Panait, and K. Sullivan, "MASON: A new multi-agent simulation toolkit," in Swarmfest Workshop, 2004. [Online]. Available: http://cs.gmu.edu/ eclab/projects/mason/publications/SwarmFest04.pdf
36. V. Kumar, J. Maglione, J. Thatte, B. Pederson, E. Sercarz, , and E. S. Ward, "Induction of a type 1 regulatory CD4 T cell response following Vβ8.2 DNA vaccination results in immune deviation and protection from experimental autoimmune encephalomyelitis," International Immunology, vol. 13, no. 6, pp. 835-841, 2001.
37. J. Bown, E.Pachepsky, A. Eberst, U. Bausenwein, P. Millard, G. Squire, and J. Crawford, "Consequences of intraspecific variation for the structure and function of ecological communities: Part 1. model development and predicted patterns of diversity," Ecological Modelling, vol. 207, no. 2-4, pp. 264-276, October 2007.
38. U. Berger, C. Piou, K. Schiffers, and V. Grimm, "Competition among plants: Concepts, individual-based modelling approaches, and a proposal for a future research strategy," Perspectives in Plant Ecology, Evolution and Systematics, vol. In Press, Corrected Proof, 2008.
39. T. P. Kelly, "Arguing safety - a systematic approach to managing safety cases," Ph.D. dissertation, Department of Computer Science, University of York, 1999, yCST 99/05.
40. P. Garnett, S. Stepney, and O. Leyser, "Integrative hybrid modelling of plant shoot branching," in Workshop on Functional Structural Plant Models, 2007, pp. 9.1-9.5. [Online]. Available: http://wwwusers.cs.york.ac.uk/ ~susan/bib/ss/nonstd/fpsm07.pdf
41. -, "Towards an executable model of auxin transport canalisation," in Workshop on Complex Systems Modelling and Simulation. Luniver Press, 2008, pp. 63-91.