{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T01:40:51Z","timestamp":1768095651768,"version":"3.49.0"},"reference-count":29,"publisher":"Oxford University Press (OUP)","issue":"16","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,8,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>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.<\/jats:p>\n               <jats:p>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.<\/jats:p>\n               <jats:p>Availability: GNA and the model of the carbon starvation response network are available at http:\/\/www-helix.inrialpes.fr\/gna<\/jats:p>\n               <jats:p>Contact: \u00a0Hidde.de-Jong@inrialpes.fr<\/jats:p>","DOI":"10.1093\/bioinformatics\/btn275","type":"journal-article","created":{"date-parts":[[2008,8,9]],"date-time":"2008-08-09T13:08:02Z","timestamp":1218287282000},"page":"i227-i233","source":"Crossref","is-referenced-by-count":66,"title":["Temporal logic patterns for querying dynamic models of cellular interaction networks"],"prefix":"10.1093","volume":"24","author":[{"given":"Pedro T.","family":"Monteiro","sequence":"first","affiliation":[{"name":"1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST\/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France"},{"name":"1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST\/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France"},{"name":"1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST\/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France"}]},{"given":"Delphine","family":"Ropers","sequence":"additional","affiliation":[{"name":"1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST\/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France"}]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[{"name":"1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST\/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France"}]},{"given":"Ana T.","family":"Freitas","sequence":"additional","affiliation":[{"name":"1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST\/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France"}]},{"given":"Hidde","family":"de Jong","sequence":"additional","affiliation":[{"name":"1 INRIA Grenoble - Rh\u00f4ne-Alpes, 655 Av. de l\u2019Europe, Montbonnot, 38334 St. Ismier Cedex, France, 2IST\/INESC-ID, 9 Rua Alves Redol, 1000-029 Lisbon, Portugal and 3Universit\u00e9 Claude Bernard Lyon 1, 43 Bvd. du 11 Nov. 1918, 69622, Villeurbanne Cedex, France"}]}],"member":"286","published-online":{"date-parts":[[2008,8,9]]},"reference":[{"key":"2023020210501837600_B1","volume-title":"A Pattern Language.","author":"Alexander","year":"1977"},{"key":"2023020210501837600_B2","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1385\/CBB:38:3:271","article-title":"Model building and model checking for biochemical processes","volume":"38","author":"Antoniotti","year":"2003","journal-title":"Cell Biochem. Biophys"},{"key":"2023020210501837600_B3","first-page":"i19","article-title":"Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in","volume":"21","author":"Batt","year":"2005","journal-title":"Escherichia coli. Bioinformatics"},{"key":"2023020210501837600_B4","doi-asserted-by":"crossref","first-page":"982","DOI":"10.1016\/j.automatica.2007.08.004","article-title":"Symbolic reachability analysis of genetic regulatory networks using discrete abstractions","volume":"44","author":"Batt","year":"2008","journal-title":"Automatica"},{"key":"2023020210501837600_B5","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","article-title":"Application of formal methods to biological regulatory networks: Extending Thomas\u2019 asynchronous logical approach with temporal logic","volume":"229","author":"Bernot","year":"2004","journal-title":"J. Theor. Biol"},{"key":"2023020210501837600_B6","doi-asserted-by":"crossref","first-page":"2578","DOI":"10.1074\/jbc.M508090200","article-title":"A quantitative approach to catabolite repression in Escherichia coli","volume":"281","author":"Bettenbrock","year":"2006","journal-title":"J. Biol. Chem"},{"key":"2023020210501837600_B7","first-page":"179","article-title":"Analysis of signalling pathways using the PRISM model checker","volume-title":"Proc. CMSB\u20192005.","author":"Calder","year":"2005"},{"key":"2023020210501837600_B8","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","article-title":"Modeling and querying biomolecular interaction networks","volume":"325","author":"Chabrier-Rivier","year":"2004","journal-title":"Theor. Comput. Sci"},{"key":"2023020210501837600_B9","doi-asserted-by":"crossref","first-page":"3841","DOI":"10.1091\/mbc.e03-11-0794","article-title":"Integrative analysis of cell cycle control in budding yeast","volume":"15","author":"Chen","year":"2004","journal-title":"Mol. Biol. Cell"},{"key":"2023020210501837600_B10","first-page":"359","article-title":"NuSMV 2: an opensource tool for symbolic model checking","volume-title":"Proc. CAV\u20192002, LNCS.","author":"Cimatti","year":"2002"},{"key":"2023020210501837600_B11","volume-title":"Model Checking.","author":"Clarke","year":"1999"},{"key":"2023020210501837600_B12","first-page":"411","article-title":"Patterns in property specifications for finite-state verification. In","author":"Dwyer","year":"1999"},{"key":"2023020210501837600_B13","doi-asserted-by":"crossref","first-page":"1239","DOI":"10.1038\/nbt1356","article-title":"Executable cell bi ology","volume":"25","author":"Fisher","year":"2007","journal-title":"Nat. Biotechnol"},{"key":"2023020210501837600_B14","doi-asserted-by":"crossref","first-page":"e92","DOI":"10.1371\/journal.pcbi.0030092","article-title":"Predictive modeling of signaling crosstalk during C. elegans vulval development","volume":"3","author":"Fisher","year":"2007","journal-title":"PLoS Comput. Biol"},{"key":"2023020210501837600_B15","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software.","author":"Gamma","year":"1994"},{"key":"2023020210501837600_B16","first-page":"158","article-title":"CADP 2006: A toolbox for the construction and analysis of distributed processes","volume-title":"Proc. CAV\u20192007, LNCS 4590.","author":"Garavel","year":"2007"},{"key":"2023020210501837600_B17","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1038\/35002131","article-title":"Construction of a genetic toggle switch in Escherichia coli","volume":"403","author":"Gardner","year":"2000","journal-title":"Nature"},{"key":"2023020210501837600_B18","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","article-title":"The logical analysis of continuous non-linear biochemical control networks","volume":"39","author":"Glass","year":"1973","journal-title":"J. Theor. Biol"},{"key":"2023020210501837600_B19","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1186\/1471-2180-7-53","article-title":"Identification of regulatory network topological units coordinating the genome-wide transcriptional response to glucose in Escherichia coli","volume":"7","author":"Gutierrez-R\u00edos","year":"2007","journal-title":"BMC Microbiol"},{"key":"2023020210501837600_B20","first-page":"1497","article-title":"Regulation of gene expression during entry into stationary phase","volume-title":"Escherichia coli and Salmonella: Cellular and Molecular Biology.","author":"Hengge-Aronis","year":"1996"},{"key":"2023020210501837600_B21","first-page":"1672","article-title":"Morphological and physiological changes during stationary phase","volume-title":"Escherichia coli and Salmonella: Cellular and Molecular Biology.","author":"Huisman","year":"1996"},{"key":"2023020210501837600_B22","doi-asserted-by":"crossref","first-page":"975","DOI":"10.1038\/nbt1114","article-title":"Integrative model of the response of yeast to osmotic shock","volume":"23","author":"Klipp","year":"2005","journal-title":"Nat. Biotechnol"},{"key":"2023020210501837600_B23","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1145\/333979.333987","article-title":"An automata-theoretic approach to branching-time model checking","volume":"47","author":"Kupferman","year":"2000","journal-title":"J. ACM"},{"key":"2023020210501837600_B24","first-page":"121","article-title":"Tools and rules for the practicing verifier","volume-title":"Carnegie Mellon Computer Science: A 25-year Commemorative.","author":"Manna","year":"1991"},{"key":"2023020210501837600_B25","doi-asserted-by":"crossref","first-page":"1052","DOI":"10.1006\/bbrc.2001.5872","article-title":"The Escherichia coli SOS gene sbmC is regulated by H-NS and RpoS during the SOS induction and stationary growth phase","volume":"288","author":"Oh","year":"2001","journal-title":"Biochem. Biophys. Res. Commun"},{"key":"2023020210501837600_B26","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1006\/jmbi.1997.0901","article-title":"Regulation of Escherichia coli topA gene transcription: involvement of a sigmaS-dependent promoter","volume":"267","author":"Qi","year":"1997","journal-title":"J. Mol. Biol"},{"key":"2023020210501837600_B27","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1016\/j.biosystems.2005.10.005","article-title":"Qualitative simulation of the carbon starvation response in Escherichia coli","volume":"84","author":"Ropers","year":"2006","journal-title":"Biosystems"},{"key":"2023020210501837600_B28","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1038\/nbt0402-370","article-title":"Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors","volume":"20","author":"Schoeberl","year":"2002","journal-title":"Nat. Biotechnol"},{"key":"2023020210501837600_B29","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9780262195485.001.0001","volume-title":"System Modeling in Cellular Biology: From Concepts to Nuts and Bolts.","author":"Szallazi","year":"2006"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/24\/16\/i227\/49053291\/bioinformatics_24_16_i227.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/24\/16\/i227\/49053291\/bioinformatics_24_16_i227.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,2]],"date-time":"2023-02-02T12:49:52Z","timestamp":1675342192000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/24\/16\/i227\/200034"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,9]]},"references-count":29,"journal-issue":{"issue":"16","published-print":{"date-parts":[[2008,8,15]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btn275","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2008,8,15]]},"published":{"date-parts":[[2008,8,9]]}}}