School of Computing

Complex systems models: engineering simulations

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

In S. Bullock, J. Noble, R. Watson, and M. A. Bedau, editors, Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems, pages 182-196, Cambridge, MA, USA, August 2008. MIT Press.

Abstract

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.

Download publication 124 kbytes (PDF)

Bibtex Record

@inproceedings{2910,
author = {Fiona A.C. Polack and Tim Hoverd and Adam T. Sampson and Susan Stepney and Jon Timmis},
title = {Complex systems models: engineering simulations},
month = {August},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2008/2910},
    publication_type = {inproceedings},
    submission_id = {5295_1243432220},
    ISBN = {978-0-262-75017-2},
    booktitle = {Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems},
    editor = {S. Bullock and J. Noble and R. Watson and M. A. Bedau},
    address = {Cambridge, MA, USA},
    publisher = {MIT Press},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014