Modelling genetic regulatory networks from specified behaviours

2
BioMed Central Page 1 of 2 (page number not for citation purposes) BMC Systems Biology Open Access Oral presentation Modelling genetic regulatory networks from specified behaviours Daniel Mateus* 1 , Jean-Paul Comet 2,3 , Jean-Pierre Gallois 1 and Pascale Le Gall 2,3 Address: 1 CEA, LIST Saclay, F-91191 Gif sur Yvette, France, 2 IBISC, FRE CNRS 2873, université d'Evry, 91025 Evry, France and 3 Programme Epigenomique, Genopole & université d'Evry, 91025 Evry, France Email: Daniel Mateus* - [email protected] * Corresponding author Introduction Modelling and simulation are needed to understand genetic regulatory networks. But parameters of the models are usually difficult to determine. To deal with this prob- lem we propose a methodology in which the qualitative approach developed by R. Thomas [1] is used. The param- eters of the model, which are related to the kinetic param- eters of a differential description, may be unknown. We translate the set of possible models into one Symbolic Transition System, and the known behaviours into tem- poral logic formulas; then the constraints on the parame- ters corresponding to all models having the specified behaviours can be determined. Models In the asynchronous discrete modelling of regulatory net- works [1], each variable x represents the concentration of a constituent of the network. In each state, the value of x is an integer bounded by the number of variables that x can regulate. Each state and each variable is associated with a parameter that has an integer value. This parameter is the value toward which the variable tends in the associ- ated state. Examples Pseudomonas aeruginosa are bacteria that secrete mucus in lungs affected by cystic fibrosis, but not in common envi- ronment. As it increases respiratory deficiency, this is a major cause of mortality in this disease. The regulatory network proposed in [2], contains the protein AlgU, and an inhibitor complex anti-AlgU (Fig. 1A). Bacteriophage lambda is a virus whose DNA can integrate into bacterial chromosome. After infection, most of the bacteria display a lytic response, but some display a lysogenic response, i.e. survive and carry lambda genome, becoming immune to infection. The graph of interactions described in [3] involves four genes, cI, cro, cII and N (Fig. 1B). The lytic (resp. lysogenic) response leads to the states where cro (resp. cI) is fully expressed. In these two cases the param- eters are unknown. Methods The set of all discrete models associated with a graph of interactions are translated into a Symbolic Transition Sys- tem. Then we apply symbolic execution techniques [4], to construct a tree of states sequences, such that each path is associated with the constraint on parameters necessary to its existence: this constraint is called path condition. To search a specific path in the symbolic execution tree, we have adapted model-checking techniques for Linear Tem- poral Logic (LTL): all paths verifying the LTL formula are selected, and the disjunction of the associated path condi- tions is synthesised. The resulting constraint represents all parameters compatible with the specified behaviour. Results It has been observed that mucoid P. aeruginosa can con- tinue to produce mucus isolated from infected lungs. It is commonly thought that the mucoidy is due to a mutation which cancels the inhibition of algU gene; an alternative from BioSysBio 2007: Systems Biology, Bioinformatics and Synthetic Biology Manchester, UK. 11–13 January 2007 Published: 8 May 2007 BMC Systems Biology 2007, 1(Suppl 1):S4 doi:10.1186/1752-0509-1-S1-S4 <supplement> <title> <p>BioSysBio 2007: Systems Biology, Bioinformatics, Synthetic Biology</p> </title> <editor>John Cumbers, Xu Gu, Jong Sze Wong</editor> <note>Meeting abstracts – A single PDF containing all abstracts in this Supplement is available <a href="www.biomedcentral.com/content/files/pdf/1752-0509-1-S1-full.pdf">here</a>.</note> <url>http://www.biomedcentral.com/content/pdf/1752-0509-1-S1-info.pdf</url> </supplement> This abstract is available from: http://www.biomedcentral.com/1752-0509/1?issue=S1 © 2007 Mateus et al; licensee BioMed Central Ltd.

Transcript of Modelling genetic regulatory networks from specified behaviours

BioMed CentralBMC Systems Biology

ss

Open AcceOral presentationModelling genetic regulatory networks from specified behavioursDaniel Mateus*1, Jean-Paul Comet2,3, Jean-Pierre Gallois1 and Pascale Le Gall2,3

Address: 1CEA, LIST Saclay, F-91191 Gif sur Yvette, France, 2IBISC, FRE CNRS 2873, université d'Evry, 91025 Evry, France and 3Programme Epigenomique, Genopole & université d'Evry, 91025 Evry, France

Email: Daniel Mateus* - [email protected]

* Corresponding author

IntroductionModelling and simulation are needed to understandgenetic regulatory networks. But parameters of the modelsare usually difficult to determine. To deal with this prob-lem we propose a methodology in which the qualitativeapproach developed by R. Thomas [1] is used. The param-eters of the model, which are related to the kinetic param-eters of a differential description, may be unknown. Wetranslate the set of possible models into one SymbolicTransition System, and the known behaviours into tem-poral logic formulas; then the constraints on the parame-ters corresponding to all models having the specifiedbehaviours can be determined.

ModelsIn the asynchronous discrete modelling of regulatory net-works [1], each variable x represents the concentration ofa constituent of the network. In each state, the value of xis an integer bounded by the number of variables that xcan regulate. Each state and each variable is associatedwith a parameter that has an integer value. This parameteris the value toward which the variable tends in the associ-ated state.

ExamplesPseudomonas aeruginosa are bacteria that secrete mucus inlungs affected by cystic fibrosis, but not in common envi-ronment. As it increases respiratory deficiency, this is amajor cause of mortality in this disease. The regulatorynetwork proposed in [2], contains the protein AlgU, and

an inhibitor complex anti-AlgU (Fig. 1A). Bacteriophagelambda is a virus whose DNA can integrate into bacterialchromosome. After infection, most of the bacteria displaya lytic response, but some display a lysogenic response,i.e. survive and carry lambda genome, becoming immuneto infection. The graph of interactions described in [3]involves four genes, cI, cro, cII and N (Fig. 1B). The lytic(resp. lysogenic) response leads to the states where cro(resp. cI) is fully expressed. In these two cases the param-eters are unknown.

MethodsThe set of all discrete models associated with a graph ofinteractions are translated into a Symbolic Transition Sys-tem. Then we apply symbolic execution techniques [4], toconstruct a tree of states sequences, such that each path isassociated with the constraint on parameters necessary toits existence: this constraint is called path condition. Tosearch a specific path in the symbolic execution tree, wehave adapted model-checking techniques for Linear Tem-poral Logic (LTL): all paths verifying the LTL formula areselected, and the disjunction of the associated path condi-tions is synthesised. The resulting constraint represents allparameters compatible with the specified behaviour.

ResultsIt has been observed that mucoid P. aeruginosa can con-tinue to produce mucus isolated from infected lungs. It iscommonly thought that the mucoidy is due to a mutationwhich cancels the inhibition of algU gene; an alternative

from BioSysBio 2007: Systems Biology, Bioinformatics and Synthetic BiologyManchester, UK. 11–13 January 2007

Published: 8 May 2007

BMC Systems Biology 2007, 1(Suppl 1):S4 doi:10.1186/1752-0509-1-S1-S4

<supplement> <title> <p>BioSysBio 2007: Systems Biology, Bioinformatics, Synthetic Biology</p> </title> <editor>John Cumbers, Xu Gu, Jong Sze Wong</editor> <note>Meeting abstracts – A single PDF containing all abstracts in this Supplement is available <a href="www.biomedcentral.com/content/files/pdf/1752-0509-1-S1-full.pdf">here</a>.</note> <url>http://www.biomedcentral.com/content/pdf/1752-0509-1-S1-info.pdf</url> </supplement>

This abstract is available from: http://www.biomedcentral.com/1752-0509/1?issue=S1

© 2007 Mateus et al; licensee BioMed Central Ltd.

Page 1 of 2(page number not for citation purposes)

BMC Systems Biology 2007, 1(Suppl 1):S4 http://www.biomedcentral.com/1752-0509/1?issue=S1

Publish with BioMed Central and every scientist can read your work free of charge

"BioMed Central will be the most significant development for disseminating the results of biomedical research in our lifetime."

Sir Paul Nurse, Cancer Research UK

Your research papers will be:

available free of charge to the entire biomedical community

peer reviewed and published immediately upon acceptance

cited in PubMed and archived on PubMed Central

yours — you keep the copyright

Submit your manuscript here:http://www.biomedcentral.com/info/publishing_adv.asp

BioMedcentral

hypothesis is that it is an epigenetic modification, occur-ring without mutation [2]. With the method describedhere it is possible to find the constraints such that theresulting models have two stable behaviours, one mucoidand one non-mucoid: the 8 selected models are compati-ble with the epigenetic hypothesis. In the case of lambda-phage, there are 2156 coherent models with pathwaysfrom initial state to lysis and to lysogeny. But in all thesemodels, there is a common path to lysis, and at least oneof two precise paths to lysogeny.

ConclusionBecause of the partial knowledge of systems, even with aqualitative formalism, different models can fit with exper-imental results. Our method allows manipulating notonly one model, but a set of coherent models. Then wecan efficiently respond to two kinds of questions: is thereany selected model coherent with a hypothetic behaviour(as the epigenetic modification in P. aeruginosa)? Are therecommon behaviours in selected models (as pathways tolysis or lysogeny in lambda-phage)? Moreover, by keepingthis set, new experimental results can be added incremen-tally to restrict and refine the models.

References1. Thomas R, D'Ari R: Biological feedback. Boca Raton: CRC Press;

1990. 2. Guespin-Michel JF, Bernot G, Comet JP, Merieau A, Richard A, Hulen

C, Polack B: Epigenesis and dynamic similarity in two regula-tory networks in Pseudomonas aeruginosa. Acta Biotheor 2004,52(4):379-390.

3. Thieffry D, Thomas R: Dynamical behaviour of biological regu-latory networks–II. Immunity control in bacteriophagelambda. Bull Math Biol 1995, 57(2):277-297.

4. Gaston C, Le Gall P, Rapin N, Touil A: Symbolic execution tech-niques for test purpose definition. TestCom, Lecture Notes in Com-puter Science 2006, 3964:1-18.

Graphs of interactionsFigure 1Graphs of interactions: A. Mucus production in P. aeruginosa. B. Immunity control in lambda-phage. Each arrow indicates an interaction; the sign indicates a positive or negative effect, and the integer is the threshold of the interaction; when the regula-tor is greater than or equal to the threshold, the interaction is effective.

g

2+1+

1-2+

AlgU anti-AlgU

mucus

2+ 2-

1-

3-

2-

1+

1+2-

1-3-

cI cro

NcIIA.

B.

Page 2 of 2(page number not for citation purposes)