

Contact Us About the Immune System Home ICARIS ImmuneInspired Algorithms Jobs and studentships Links to Researchers Modelling the Immune System New to AIS? Publications Teaching Resources 
Modelling the Immune SystemWithin the context of the conceptual framework for AIS presented by Stepney et al. 2005, modelling plays an important role in the understanding of the computational aspects of the immune system. There is a vast range of modelling approaches available, each with their own advantages and disadvantages operating at different levels of abstraction. What we try and provide here is a simple overview of some of the techniques that are common place in the immunological world and help us, from a computational and engineering background, understand how the immune system computes. In the UK, there is a BBSRC funded network, I2M, that is aimed at bringing together immunologists and modellers. Check out their website for more information. Quick links to: [Agent Based Modelling ] [Ordinary Differential Equations] [Stochastic PiCalculus] [Unified Modelling Language] [Code] Agent Based ModellingBack to Top Ordinary Differential EquationsBack to Top Stochastic PiCalculusModelling biology with stochastic picalculus provides a conceptually different view from more traditional modelling methods, such as ordinary differential equations (ODEs). For example ODEs are often concerned with modelling biochemical reactions, dealing with molecular densities as variables. Whereas a picalculus model specifies individual biochemical components, the semantics of the calculus dictates the possible interactions between components. A process algebra is a tool from theoretical computer science used to formally specify and analyse concurrent systems, the picalculus [1] is such a process algebra. Inherent to the picalculus is the expression of mobility, the ability to describe systems which change their configuration (processes exchange links with one another) during a computation. The picalculus is simple yet powerful (it can be reduced to the lambdacalculus) and provides a range of tools for qualitative analysis of systems. The Stochastic picalculus [2] extends picalculus to allow quantitative analysis of systems by associating all interactions with an exponentially distributed random variable which defines the rate at which interactions occur. Thus the nondeterminism of the original picalculus is replaced by stochastic race conditions (i.e. the choice that 'fires' first is the one that is choosen). The memorylessness of the exponential distribution provides the markov property and so there is a mapping from a stochasticpi system to a continuous time markov chain. Due to the growing similarity between the complexity and parallism of todays computation systems and biology stochastic picalculus becomes a remarkably useful tool for biology. The semantics of the picalculus control what interactions can occur, the stochastisty with correctly choosen parameters ensure that the interactions proceed at the correct rate. The behaviour of a model described in stochastic picalculus can be understood by: qualitative analysis from the original picalculus, observational eqivalence, for example; quantitative analysis via tools provided by continuous time markov chains; and through simulation. Two prominent simulators for biological stochastic picalculus models are BioSpi and The Stochastic Pi Machine (SPiM) , both make use of the gillespie algorithm [3] to ensure correct chemical kinetic simulation. The SPiM webpage provides a good starting place for modelling biology stochastic picalculus, it provides links to a number of papers and examples SPiM code. [1] Milner, R.: Communicating and Mobile Systems: the piCalculus, Cambridge University Press, 1999 [2] Priami, C.: Stochastic piCalculus. The Computer Journal, 38, 578589, 1995. [3] Gillespie, D. T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem.,81(25)23402361, 1997 Back to Top Unified Modelling LanguageA notation that is now becoming standard in both academia and industry is the Unified Modelling Language (UML). UML is a family of graphical notations, backed by single metadata that help in the describing and designing of software systems, particularly if they are designed using the objectoriented (OO) way [1], and people now are starting to use UML in a wider context and model biological systems. The systems dynamic behaviour can be described using several different diagrams: collaboration, sequence, state and activity diagrams. A commonly used notation in UML is the class diagram. These describe the attributes, operations and relationships of the object. UML can be used to represent both the static, as well as dynamic, elements in biological systems, and one can develop design patterns that represent commonly occuring designs or processes. These design patterns in the immunology may then serve the development of immuneinspired systems.BioUML and SysUML is an open source software framework for system biology, which is based on UML. SysML customises the UML, the industry standard for modeling softwareintensive systems, for systems engineering applications and supports the specificiation, analysis, design, verification and validation of a broad range of systems and systemsofsystems. [1] Martin Fowler. UML Distilled. AddissonWesley, 2004. Back to Top Modelling Code
Back to Top 