Complex systems models: Engineering simulations

Artificial Life XI: Proceedings of the 11th International Conference on the Simulation and Synthesis of Living Systems, ALIFE 2008

Volumn , Issue , 2008, Pages 482-489

  Polack, Fiona A C ^a   Hoverd, Tim ^a   Sampson, Adam T ^b   Stepney, Susan ^a   Timmis, Jon ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

^b UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTING PARADIGM; DESCRIPTIVE MODEL; ENGINEERING MODELS; ENGINEERING SIMULATION; INTEGRATED PLATFORM; MODEL MANAGEMENT; PROCESS-ORIENTED;

ARTIFICIAL INTELLIGENCE; CHEMISTRY; CIRCUIT SIMULATION; GENETIC ENGINEERING; SOFTWARE ENGINEERING; SPEECH SYNTHESIS;

BIOLOGICAL SYSTEMS;

EID: 84870231907     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. Alexander, R. (2007). Using Simulation for Systems of Systems Hazard Analysis. PhD thesis, Department of Computer Science, University of York.
2. Barnes, F. and Welch, P. (2004). Communicating Mobile Processes. In East, I., Martin, J., Welch, P., Duce, D., and Green, M., editors, Communicating Process Architectures 2004, volume 62 of Concurrent Systems Engineering Series, pages 201-218. IOS Press.
3. Bryden, J. and Noble, J. (2006). Computational modelling, explicit mathematical treatments, and scientific explanation. In Aretificial Life X, pages 520-526. MIT Press.
4. Calder, M., Gilmore, S., and Hillston, J. (2006). Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology VII, 4230:1-23.
5. Calder, M., Gilmore, S., Hillston, J., and Vyshemirsky, V. (2008). Formal methods for biochemical signalling pathways. In Formal Methods: State of the Art and New Directions. Springer.
6. Cavalcanti, A. and Woodcock, J. (2006). A tutorial introduction to CSP in Unifying Theories of Programming. In Refinement Techniques in Software Engineering, volume 3167 of LNCS, pages 220-268. Springer.
7. Cohen, I. R. and Harel, D. (2007). Explaining a complex living system: dynamics, multi-scaling and emergence. Journal of the Royal Society Interface, 4:175-182.
8. Dijkstra, E. W. (1975). Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM, 18(8):453-457.
9. Efroni, S., Harel, D., and Cohen, I. R. (2007). Emergent dynamics of thymocyte development and lineage determination. PLoS Computational Biology, 3(1):0127-0135.
10. Epstein, J. M. (1999). Agent-based computational models and generative social science. Complexity, 4(5):41-60.
11. Hoare, C. (1985). Communicating Sequential Processes. Prentice- Hall.
12. Hoare, C. and He, J. (1998). Unifying Theories of Programming. Prentice Hall.
13. Hoare, C. A. R. (1969). An axiomatic basis for computer programming. Communications of the ACM, 12(10):576-580.
14. Kolovos, D., Paige, R., and Polack, F. (2006). The Eepsilon Oabject Llanguage (EOF). In Second European Conference on Model-Driven Architecture, volume 4066 of LNCS. Springer.
15. Lloyd, S. (2005). Programming the Universe: A Quantum Computer Scientist Takes On the Cosmos. Vintage.
16. Miller, G. F. (1995). Artificial life as theoretical biology: How to do real science with computer simulation. Technical Report Cognitive Science Research Paper 378, School of Cognitive and Computing Sciences, University of Sussex.
17. Milner, R. (1999). The Pi Calculus. Cambridge University Press.
18. Paolo, E. D., Noble, J., and Bullock, S. (2000). Simulation models as opaque thought experiments. In Articial Life VII, pages 497-506. MIT Press.
19. Phillips, A. and Cardelli, L. (2007). Efficient, correct simulation of biological processes in the stochastic π-calculus. In Computational Methods in Systems Biology, volume 4695 of LNBI, pages 184-199. Springer.
20. Polack, F., Stepney, S., Turner, H., Welch, P., and Barnes, F. (2005). An architecture for modelling emergence in CA-like systems. In ECAL, volume 3630 of LNAI, pages 433-442. Springer.
21. Regev, A., Panina, E. M., Silverman, W., Cardelli, L., and Shapiro, E. (2004). BioAmbients: an abstraction for biological compartments. Theoretical Computer Science, 325(1):141-167.
22. Reynolds, C. W. (1987). Flocks, herds, and schools: A distributed behavioral model (SIGGRAPH '87). Computer Graphics, 21(4):25-34.
23. Sadot, A., Fisher, J., Barak, D., Admanit, Y., Stern, M. J., Hubbard, E. J. A., and Harel, D. (2007). Towards verified biological models. IEEE/ACM Transactions on Computational Biology and Bioinformatics.
24. Stepney, S., Polack, F., and Turner, H. (2006). Engineering emergence. In ICECCS'06, pages 89-97. IEEE Computer Society.
25. Swithinbank, P., Chessell, M., Gardner, T., Griffin, C., Man, J., Wylie, H., and Yusuf, L. (2005). Patterns: Model-Driven Development Using IBM Rational Software Architect. IBM Redbook.http://www.redbooks.ibm.com/abstracts/sg247105. html?Open.
26. Turner, H., Stepney, S., and Polack, F. (2007). Rule migration: Exploring a design framework for emergence. Int. J. Unconventional Computing, 3(1):49-66.
27. Welch, P. and Barnes, F. (2005). Communicating mobile processes: introducing occam-pi. In Abdallah, A., Jones, C., and Sanders, J., editors, 25 Years of CSP, volume 3525 of LNCS, pages 175-210. Springer.
28. Wheeler, M., Bullock, S., Paolo, E. D., Noble, J., Bedau, M., Husbands, P., Kirby, S., and Seth, A. (2002). The view from elsewhere: Perspectives on alife modelling. Artificial Life, 8(1):87-100.
29. Woodcock, J. (2003). Unifying theories of parallel programming. In Logic and Algebra for Engineering Software. IOS Press.