The engineering of concurrent simulations of complex systems

Authors:
Fiona A. C. Polack;Paul S. Andrews;Adam T. Sampson
Affiliations:
Department of Computer Science, University of York, UK;Department of Computer Science, University of York, UK;Computing Laboratory, University of Kent, Canterbury, UK
Venue:
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Year:
2009

Citing 14
Cited 5

Communicating sequential processes

Communicating sequential processes
Object-oriented modeling and design

Object-oriented modeling and design
The use of graphical models in model validation

WSC '86 Proceedings of the 18th conference on Winter simulation
Agent-based computational models and generative social science

Complexity
Reactive Animation: Realistic Modeling of Complex Dynamic Systems

Computer
The View From Elsewhere: Perspectives on ALife Modeling

Artificial Life
Verification and validation of simulation models

WSC '05 Proceedings of the 37th conference on Winter simulation
Concurrency in Biological Modeling: Behavior, Execution and Visualization

Electronic Notes in Theoretical Computer Science (ENTCS)
Prometheus: a methodology for developing intelligent agents

AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Towards evidence-based architectural design for safety-critical software applications

Architecting dependable systems IV
A process-oriented architecture for complex system modelling

Concurrency and Computation: Practice & Experience - Communicating Process Architectures (CPA) 2007
An architecture for modelling emergence in CA-Like systems

ECAL'05 Proceedings of the 8th European conference on Advances in Artificial Life
Evaluation of agent–oriented software methodologies – examination of the gap between modeling and platform

AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Communicating mobile processes

CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years

Using UML to Model EAE and Its Regulatory Network

ICARIS '09 Proceedings of the 8th International Conference on Artificial Immune Systems
Self-organisation for survival in complex computer architectures

SOAR'09 Proceedings of the First international conference on Self-organizing architectures
Combinators for message-passing in Haskell

PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
To boldly go: an occam-π mission to engineer emergence

Natural Computing: an international journal
The global financial markets: an ultra-large-scale systems perspective

Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which may itself be complex). There is little guidance for engineering complex systems simulation. In the context of simulation work to support immunological research, we explore relevant approaches to modelling, and draw on concepts from dependable and high-integrity systems engineering, including the emphasis on the need to validate all aspects of the simulation.