The 2008 CoSMoS workshop was held, co-located with Communicating Process Architectures 2008, in York, UK, on 11th September 2008.
Proceedings
Susan Stepney, Fiona Polack, Peter Welch, editors.
Complex Systems Simulation and Modelling Workshop (CoSMoS 2008) , York, UK, September 2008.
Luniver Press, 2008
Full proceedings for the workshop are available.
Detailed contents
Philip Garnett, Susan Stepney, and Ottoline Leyser.
Towards an Executable Model of Auxin Transport Canalisation
We describe our use of a modelling and development process to specify and implement biological simulations that involves the development of several di fferent UML models to capture di fferent perspectives on the system being modelled, in particular the investigation of various emergent properties. We use this process in the case of an auxin canalisation simulation, investigating the processes of auxin transport as guided by PIN proteins, in a developing plant. We discuss our preliminary results of investigating one hypothesis of PIN protein placement that fails to demonstrate canalisation in simulation.
Robert Alexander, Ruth Alexander-Bown and Tim Kelly.
Engineering Safety-Critical Complex Systems
Some of the complex systems with which the CoSMoS project is concerned are safety-critical, and if such systems are ever to be built and operated then they will need to be certified safe to operate. By looking at how conventional safetycritical systems are developed, we can find basic principles for safety-critical complex systems — this may be harder or easier than non-safety-specialists expect. In this paper, we outline current safety engineering methods and illustrate them using an artificial platelet case study. We also summarise our previous work on using simulation in safety engineering, and make some observations about applying simulation to very small systems.
Paul Andrews, Fiona Polack, Adam Sampson, Jon Timmis, Lisa Scott, and Mark Coles.
Simulating biology: towards understanding what the simulation shows
When building simulations of complex systems the task of validation is often overlooked. Validation helps provide confidence in the simulation by exploring the link between the models that we build and the real complex system. We investigate software engineering validation techniques from outside the area of complex systems to assess their applicability for the types of simulation we build. We then provide an example of how such techniques can be applied to a complex systems simulation of cells migrating from blood vessels into lymph nodes through the walls of the blood vessels. We suggest that explicitly stating the modelling and simulation assumptions we make is key to the process of validation. Concluding, we highlight a possible process for validating complex systems that explicitly incorporates environmental aspects.
Ognen Paunovski, George Eleftherakis and Tony Cowling.
Framework for Empirical Exploration of Emergence using Multi-Agent Simulation.
In recent years the concept of emergence has gained much attention as computer systems have started exhibiting properties usually associated with complex systems. Although emergence creates many problems for engineering complex computerized systems by introducing undesired behaviour, it also o ffers many possibilities for advancements in the area of adaptive self-organizing systems. However, at the moment, the inability to predict and control emergent phenomena prevents us from exploring its full potential or avoiding problems in existing complex systems. Towards this end, this paper proposes a framework for structured empirical study of complex systems exhibiting emergence. The framework relies on agent-oriented modelling and simulation as a tool for examination of specific manifestations of emergence. The main idea is to use an iterative simulation process in order to build a coarse taxonomy of causal relations between the micro and the macro layers. In addition to detailed description of the framework, the paper also elaborates diff erent aspects of ongoing work on herd dynamics case study.