MOTIVATION: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful technology to keep up with this increase in scale and complexity. The application of modelchecking approaches is hampered, however, by the difficulty for nonexpert users to formulate appropriate questions in temporal logic. RESULTS: In order to deal with this problem, we propose the use of patterns, that is, high-level query templates that capture recurring biological questions and can be automatically translated into temporal logic. The applicability of the developed set of patterns has been investigated by the analysis of an extended model of the network of global regulators controlling the carbon starvation response in Escherichia coli. AVAILABILITY: GNA and the model of the carbon starvation response network are available at http://www-helix.inrialpes.fr/gna.
MOTIVATION: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful technology to keep up with this increase in scale and complexity. The application of modelchecking approaches is hampered, however, by the difficulty for nonexpert users to formulate appropriate questions in temporal logic. RESULTS: In order to deal with this problem, we propose the use of patterns, that is, high-level query templates that capture recurring biological questions and can be automatically translated into temporal logic. The applicability of the developed set of patterns has been investigated by the analysis of an extended model of the network of global regulators controlling the carbon starvation response in Escherichia coli. AVAILABILITY: GNA and the model of the carbon starvation response network are available at http://www-helix.inrialpes.fr/gna.
Authors: Gregory Batt; Michel Page; Irene Cantone; Gregor Goessler; Pedro Monteiro; Hidde de Jong Journal: Bioinformatics Date: 2010-09-15 Impact factor: 6.937
Authors: Mehmet Emin Bakir; Savas Konur; Marian Gheorghe; Natalio Krasnogor; Mike Stannett Journal: Bioinformatics Date: 2018-09-15 Impact factor: 6.937
Authors: Pedro T Monteiro; Estelle Dumas; Bruno Besson; Radu Mateescu; Michel Page; Ana T Freitas; Hidde de Jong Journal: BMC Bioinformatics Date: 2009-12-30 Impact factor: 3.169
Authors: Claudine Chaouiya; Duncan Bérenguier; Sarah M Keating; Aurélien Naldi; Martijn P van Iersel; Nicolas Rodriguez; Andreas Dräger; Finja Büchel; Thomas Cokelaer; Bryan Kowal; Benjamin Wicks; Emanuel Gonçalves; Julien Dorier; Michel Page; Pedro T Monteiro; Axel von Kamp; Ioannis Xenarios; Hidde de Jong; Michael Hucka; Steffen Klamt; Denis Thieffry; Nicolas Le Novère; Julio Saez-Rodriguez; Tomáš Helikar Journal: BMC Syst Biol Date: 2013-12-10
Authors: Stefano Schivo; Jetse Scholma; Paul E van der Vet; Marcel Karperien; Janine N Post; Jaco van de Pol; Rom Langerak Journal: BMC Syst Biol Date: 2016-07-27