Skip to main content
Article thumbnail
Location of Repository

Complex systems models: engineering simulations

By Fiona A.C. Polack, Tim Hoverd, Adam T. Sampson, Susan Stepney and Jon Timmis


As part of research towards the CoSMoS unified infrastructure for modelling and simulating complex systems, we review uses of definitional and descriptive models in natural science and computing, and existing integrated platforms. From these, we identify requirements for engineering models of complex systems, and consider how some of the requirements could be met, using state-of-the-art model management and a mobile, process-oriented computing paradigm

Topics: QA76
Publisher: MIT Press
Year: 2008
OAI identifier:

Suggested articles


  1. (2006). A tutorial introduction to CSP in Unifying Theories of Programming. doi
  2. (1999). Agent-based computational models and generative social science. doi
  3. (2005). An architecture for modelling emergence in CA-like systems. doi
  4. (1969). An axiomatic basis for computer programming. doi
  5. andBarnes, F.(2005). An architecture for modelling emergence in CA-like systems. doi
  6. (1995). Artificial life as theoretical biology: How to do real science with computer simulation.
  7. (2004). BioAmbients: an abstraction for biological compartments. doi
  8. (2005). Communicating mobile processes: introducing occam-pi.
  9. (2004). Communicating Mobile Processes. doi
  10. (1985). Communicating Sequential Processes. doi
  11. (2006). Computational modelling, explicit mathematical treatments, and scientific explanation.
  12. (2007). Efficient, correct simulation of biological processes in the stochastic -calculus. doi
  13. (2007). Efficient, correct simulation of biological processes in the stochastic pi-calculus. doi
  14. (2007). Emergent dynamics of thymocyte development and lineage determination. doi
  15. (2006). Engineering emergence. doi
  16. (2007). Explaining a complex living system: dynamics, multi-scaling and emergence. doi
  17. (1987). Flocks, herds, and schools: A distributed behavioral model (SIGGRAPH ’87). doi
  18. (2008). Formal methods for biochemical signalling pathways. In Formal Methods: State of the Art and New Directions. doi
  19. (1975). Guarded commands, nondeterminacy and formal derivation of programs. doi
  20. (2006). Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. doi
  21. (2005). Programming the Universe: A Quantum Computer Scientist Takes On the Cosmos. doi
  22. (2007). Rule migration: Exploring a design framework for emergence.
  23. (2000). Simulation models as opaque thought experiments.
  24. (2006). The Eepsilon Oabject Llanguage (EOF). In
  25. (1999). The Pi Calculus. doi
  26. (2002). The view from elsewhere: Perspectives on alife modelling. doi
  27. (2007). Towards verified biological models. doi
  28. (2003). Unifying theories of parallel programming. doi
  29. (1998). Unifying Theories of Programming. doi
  30. (2007). Using Simulation for Systems of Systems Hazard Analysis. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.