Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Polack, Fiona A.C.; Hoverd, Tim; Sampson, Adam T.; Stepney, Susan; Timmis, Jon (2008)
Publisher: MIT Press
Languages: English
Types: Unknown
Subjects: QA76
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.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • Alexander, R. (2007). Using Simulation for Systems of Systems Hazard Analysis. PhD thesis, Department of Computer Science, University of York.
    • 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.
    • Bryden, J. and Noble, J. (2006). Computational modelling, explicit mathematical treatments, and scientific explanation. In Aretificial Life X, pages 520-526. MIT Press.
    • 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.
    • 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.
    • 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.
    • 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.
    • Dijkstra, E. W. (1975). Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM, 18(8):453-457.
    • Efroni, S., Harel, D., and Cohen, I. R. (2007). Emergent dynamics of thymocyte development and lineage determination. PLoS Computational Biology, 3(1):0127-0135.
    • Epstein, J. M. (1999). Agent-based computational models and generative social science. Complexity, 4(5):41-60.
    • Hoare, C. (1985). Communicating Sequential Processes. PrenticeHall.
    • Hoare, C. and He, J. (1998). Unifying Theories of Programming. Prentice Hall.
    • Hoare, C. A. R. (1969). An axiomatic basis for computer programming. Communications of the ACM, 12(10):576-580.
    • 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.
    • Lloyd, S. (2005). Programming the Universe: A Quantum Computer Scientist Takes On the Cosmos. Vintage.
    • 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.
    • Milner, R. (1999). The Pi Calculus. Cambridge University Press.
    • Paolo, E. D., Noble, J., and Bullock, S. (2000). Simulation models as opaque thought experiments. In Articial Life VII, pages 497-506. MIT Press.
    • 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.
    • 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.
    • 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.
    • Reynolds, C. W. (1987). Flocks, herds, and schools: A distributed behavioral model (SIGGRAPH '87). Computer Graphics, 21(4):25-34.
    • 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.
    • Stepney, S., Polack, F., and Turner, H. (2006). Engineering emergence. In ICECCS'06, pages 89-97. IEEE Computer Society.
    • 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.
    • Turner, H., Stepney, S., and Polack, F. (2007). Rule migration: Exploring a design framework for emergence. Int. J. Unconventional Computing, 3(1):49-66.
    • 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.
    • 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.
    • Woodcock, J. (2003). Unifying theories of parallel programming. In Logic and Algebra for Engineering Software. IOS Press.
  • Inferred research data

    The results below are discovered through our pilot algorithms. Let us know how we are doing!

    Title Trust
  • No similar publications.

Share - Bookmark

Download from

Funded by projects

Cite this article