Breitling, R., Gilbert, D., Heiner, M. and Orton, R. (2008) A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. Briefings in Bioinformatics, 9(5), pp. 404-421. (doi: 10.1093/bib/bbn026)
Full text not currently available from Enlighten.
Publisher's URL: http://dx.doi.org/10.1093/bib/bbn026
Abstract
Quantitative models of biochemical networks (signal transduction cascades, metabolic pathways, gene regulatory circuits) are a central component of modern systems biology. Building and managing these complex models is a major challenge that can benefit from the application of formal methods adopted from theoretical computing science. Here we provide a general introduction to the field of formal modelling, which emphasizes the intuitive biochemical basis of the modelling process, but is also accessible for an audience with a background in computing science and/or model engineering. We show how signal transduction cascades can be modelled in a modular fashion, using both a qualitative approachqualitative Petri nets, and quantitative approachescontinuous Petri nets and ordinary differential equations (ODEs). We review the major elementary building blocks of a cellular signalling model, discuss which critical design decisions have to be made during model building, and present a number of novel computational tools that can help to explore alternative modular models in an easy and intuitive manner. These tools, which are based on Petri net theory, offer convenient ways of composing hierarchical ODE models, and permit a qualitative analysis of their behaviour. We illustrate the central concepts using signal transduction as our main example. The ultimate aim is to introduce a general approach that provides the foundations for a structured formal engineering of large-scale models of biochemical networks.
Item Type: | Articles |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Orton, Dr Richard and Gilbert, Prof David |
Authors: | Breitling, R., Gilbert, D., Heiner, M., and Orton, R. |
Subjects: | Q Science > QH Natural history > QH345 Biochemistry |
College/School: | College of Medical Veterinary and Life Sciences College of Medical Veterinary and Life Sciences > School of Infection & Immunity > Centre for Virus Research |
Journal Name: | Briefings in Bioinformatics |
ISSN: | 1467-5463 |
ISSN (Online): | 1477-4054 |
University Staff: Request a correction | Enlighten Editors: Update this record