Statements in which the resource exists as a subject.
PredicateObject
rdf:type
lifeskim:mentions
pubmed:issue
5
pubmed:dateCreated
2008-8-14
pubmed:abstractText
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 approach--qualitative Petri nets, and quantitative approaches--continuous 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.
pubmed:language
eng
pubmed:journal
pubmed:citationSubset
IM
pubmed:chemical
pubmed:status
MEDLINE
pubmed:month
Sep
pubmed:issn
1477-4054
pubmed:author
pubmed:issnType
Electronic
pubmed:volume
9
pubmed:owner
NLM
pubmed:authorsComplete
Y
pubmed:pagination
404-21
pubmed:meshHeading
pubmed:year
2008
pubmed:articleTitle
A structured approach for the engineering of biochemical network models, illustrated for signalling pathways.
pubmed:affiliation
Groningen Bioinformatics Centre at University of Groningen, The Netherlands.
pubmed:publicationType
Journal Article, Review, Research Support, Non-U.S. Gov't