A Visual Process Calculus for Biology

Andrew Phillips

2009

This chapter presents a visual process calculus for designing and simulating computer models of biological systems. The calculus is based on a graphical variant of stochastic pi-calculus extended with mobile compartments, and the simulation algorithm is based on standard kinetic theory of physical chemistry. The calculus forms the basis of a formal visual programming language for biology. The basic primitives of the calculus are first introduced by a series of examples involving genes and proteins. More complex features of the calculus are then illustrated by examples involving gene networks, cell differentiation, and immune system response. The main benefit of the calculus is its ability to model large systems incrementally, by directly composing simpler models of subsystems. The formal nature of the calculus also facilitates mathematical analysis of models, which in future could help provide insight into some of the underlying properties of biological systems.

Publication type | Inbook |

Address | In Press |

Publisher | Jones and Bartlett Publishers Copyright © 2009 by Jones and Bartlett Publishers |

- A Correct Abstract Machine for the Stochastic Pi-calculus
- A High-Level Language for Rule-Based Modelling
- SMT-based Strategies for Biodesign Automation

> Publications > A Visual Process Calculus for Biology