The MAPK (mitogen-activated protein kinase) pathway is one of the most important and intensively studied signalling pathways. It is at the heart of a molecular-signalling network that governs the growth, proliferation, differentiation and survival of many, if not all, cell types. It is de-regulated in various diseases, ranging from cancer to immunological, inflammatory and degenerative syndromes, and thus represents an important drug target. Over recent years, the computational or mathematical modelling of biological systems has become increasingly valuable, and there is now a wide variety of mathematical models of the MAPK pathway which have led to some novel insights and predictions as to how this system functions. In the present review we give an overview of the processes involved in modelling a biological system using the popular approach of ordinary differential equations. Focusing on the MAPK pathway, we introduce the features and functions of the pathway itself before comparing the available models and describing what new biological insights they have led to.

Analysis of ERK pathway circuitry suggests appropriate targets for inhibition, providing a guide for drug development.

In order to deal with an increasingly complex world, we need ever more sophisticated computational models that can help us make decisions wisely and understand the potential consequences of choices. But creating a model requires far more than just raw data and technical skills: it requires a close collaboration between model commissioners, developers, users and reviewers. Good modelling requires its users and commissioners to understand more about the whole process, including the different kinds of purpose a model can have and the different technical bases. This paper offers a guide to the process of commissioning, developing and deploying models across a wide range of domains from public policy to science and engineering. It provides two checklists to help potential modellers, commissioners and users ensure they have considered the most significant factors that will determine success. We conclude there is a need to reinforce modelling as a discipline, so that misconstruction is less likely; to increase understanding of modelling in all domains, so that the misuse of models is reduced; and to bring commissioners closer to modelling, so that the results are more useful.

Temporal logic model checking involves checking the state-space of a model of a system to determine whether errors can occur in the system. Often this involves checking symmetrically equivalent areas of the state-space. The use of symmetry reduction to increase the efficiency of model checking has inspired a wealth of activity in the area of model checking research. We provide a survey of the associated literature.