Abstract
The main difficulty when modelling gene networks is the identification of the parameters that govern the dynamics. Here we present a new approach based on Hoare logic and weakest preconditions (a la Dijkstra) that generates constraints on the parameter values: Once proper specifications are extracted from biological traces, they play a role similar to programs in the classical Hoare logic. We firstly remind the discrete modelling for genetic networks defined by René Thomas. Then, we define the Hoare/Dijkstra method extended to gene networks, that extracts the weakest precondition on parameter values.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bernot, G., Comet, J.-P., Khalis, Z., Richard, A., Roux, O.: A genetically modified hoare logic (2015). arXiv 1506.05887
Khalis, Z., Comet, J.-P., Richard, A., Bernot, G.: The SMBioNet method for discovering models of gene regulatory networks. Genes Genomes Genomics 3(Special issue 1), 15–22 (2009)
Milo, R., et al.: Network motifs: simple building blocks of complex networks. Science 298, 824–827 (2002)
Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos 11, 180–195 (2001)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Bernot, G., Comet, JP., Roux, O. (2015). A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network. In: Roux, O., Bourdon, J. (eds) Computational Methods in Systems Biology. CMSB 2015. Lecture Notes in Computer Science(), vol 9308. Springer, Cham. https://doi.org/10.1007/978-3-319-23401-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-23401-4_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23400-7
Online ISBN: 978-3-319-23401-4
eBook Packages: Computer ScienceComputer Science (R0)