Abstract interpretation and types for systems biology

Theoretical Computer Science

Volumn 403, Issue 1, 2008, Pages 52-70

  Fages, François ^a   Soliman, Sylvain ^a  

^a INRIA   (France)

Author keywords

Hierarchy of semantics; Markov chains; Ordinary differential equations; SBML; Type inference

Indexed keywords

ABSTRACTING; ADDITION REACTIONS; BIOCHEMICAL ENGINEERING; BIOLOGY; BIOMOLECULES; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; FUNCTION EVALUATION; INFERENCE ENGINES; INFORMATION MANAGEMENT; INFORMATION THEORY; LINGUISTICS; MARKUP LANGUAGES; OBJECT ORIENTED PROGRAMMING; PHOTOACOUSTIC EFFECT; PROGRAM INTERPRETERS; PROTEINS; QUADRATIC PROGRAMMING; QUERY LANGUAGES; REACTION KINETICS; SEMANTICS; SOFTWARE ENGINEERING; STOCHASTIC PROGRAMMING;

(E ,2E) THEORY; (I ,J) CONDITIONS; (MIN ,MAX ,+) FUNCTIONS; ABSTRACT INTERPRETATIONS; ABSTRACT MACHINES; BIOCHAM; BIOCHEMICAL MODELS; BIOCHEMICAL REACTIONS; ELSEVIER (CO); GALOIS CONNECTIONS; GENERAL (CO); INDEPENDENCE (PERSONALITY); INHIBITION EFFECTS; KINETIC EXPRESSIONS; LANGUAGES (TRADITIONAL); PROGRAMMING LANGUAGE; QUADRATIC TIME; REACTION MODELLING; SYSTEMS BIOLOGY; SYSTEMS BIOLOGY MARKUP LANGUAGE (SBML); TYPE CHECKING; TYPE INFERENCES; TYPE SYSTEMS;

MODEL CHECKING;

EID: 45749118391     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.04.024     Document Type: Article

References (44)

1. Ashburner M., Ball C.A., Blake J.A., Botstein D., Butler H., Cherry J.M., Davis A.P., Dolinski K., Dwight S.S., Eppig J.T., Harris M.A., Hill D.P., Issel-Tarver L., Kasarskis A., Lewis S., Matese J.C., Richardson J.E., Ringwald M., Rubin G.M., and Sherlock G. Gene ontology: Tool for the unification of biology. Nature Genetics 25 (2000) 25-29
2. Borghans J., Dupont G., and Goldbeter A. Complex intracellular calcium oscillations: A theoretical exploration of possible mechanisms. Biophysical Chemistry 66 (1997) 25-41
3. Calzone L., Chabrier-Rivier N., Fages F., and Soliman S. Machine learning biochemical networks from temporal logic properties. In: Plotkin G. (Ed). Transactions on Computational Systems Biology VI. CMSB'05. Lecture Notes in BioInformatics vol. 4220 (November 2006), Springer-Verlag 68-94 Special Issue
4. Calzone L., Fages F., and Soliman S. BIOCHAM: An environment for modeling biological systems and formalizing experimental knowledge. BioInformatics 22 14 (2006) 1805-1807
5. Cardelli L. Typeful programming. In: Neuhold E.J., and Paul M. (Eds). Formal Description of Programming Concepts (1991), Springer-Verlag, Berlin 431-507
6. Cardelli L. Brane calculi - interactions of biological membranes. In: Danos V., and Schächter V. (Eds). CMSB'04: Proceedings of the Second International Workshop on Computational Methods in Systems Biology. Lecture Notes in BioInformatics vol. 3082 (2004), Springer-Verlag 257-280
7. Chabrier N., and Fages F. Symbolic model cheking of biochemical networks. In: Priami C. (Ed). CMSB'03: Proceedings of the First Workshop on Computational Methods in Systems Biology. Lecture Notes in Computer Science vol. 2602 (March 2003), Springer-Verlag, Rovereto, Italy 149-162
8. Chabrier-Rivier N., Chiaverini M., Danos V., Fages F., and Schächter V. Modeling and querying biochemical interaction networks. Theoretical Computer Science 325 1 (2004) 25-44
9. Chaouiya C. Petri net modelling of biological networks. Briefings in Bioinformatics (2007)
10. Ciliberto A., Novák B., and Tyson J.J. Steady states and oscillations in the p53/mdm2 network. Cell Cycle 4 3 (2005) 488-493
11. Coquery E., and Fages F. Subtyping constraints in quasi-lattices. In: Pandya P., and Radhakrishnan J. (Eds). Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS'2003. Lecture Notes in Computer Science vol. 2914 (Mumbai, India, December 2003), Springer-Verlag 136-148
12. Cousot P. Abstract interpretation and application to logic programs. Journal of Logic Programming 13 2-3 (1992) 103-179
13. Cousot P. Types as abstract interpretation (invited paper). POPL'97: Proceedings of the 24th ACM Symposium on Principles of Programming Languages (1997), ACM Press, New York, Paris 316-331
14. Cousot P. Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theoretical Computer Science 277 1 (2002) 47-103
15. Cousot P., and Cousot R. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. POPL'77: Proceedings of the 6th ACM Symposium on Principles of Programming Languages (1977), ACM Press, New York 238-252 Los Angeles
16. Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez, Pathway logic: Symbolic analysis of biological signaling, in: Proceedings of the seventh Pacific Symposium on Biocomputing, January 2002, pp. 400-412
17. Fages F. From syntax to semantics in systems biology - towards automated reasoning tools. Transactions on Computational Systems Biology IV 3939 (2006) 68-70
18. Fages F., and Coquery E. Typing constraint logic programs. Journal of Theory and Practice of Logic Programming 1 6 (2001) 751-777
19. Fages F., Soliman S., and Chabrier-Rivier N. Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4 2 (2004) 64-73
20. Ronojoy Ghosh, Claire Tomlin, Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model, in: Springer-Verlag, (Ed.), Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC'01, in: Lecture Notes in Computer Science, vol. 2034, Rome, Italy, 2001, pp. 232-246
21. Gibson M.A., and Bruck J. A probabilistic model of a prokaryotic gene and its regulation. In: Bolouri H., and Bower J.M. (Eds). Computational Methods in Molecular Biology: From Genotype to Phenotype (2000), MIT press (Chapter 2)
22. Gilbert D., Heiner M., and Lehrack S. A unifying framework for modelling and analysing biochemical pathways using petri nets. CMSB'07: Proceedings of the Fifth International Conference on Computational Methods in Systems Biology. Lecture Notes in Computer Science vol. 4695 (2007), Springer-Verlag
23. Gillespie D.T. General method for numerically simulating stochastic time evolution of coupled chemical-reactions. Journal of Computational Physics 22 (1976) 403-434
24. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 25 (1977) 2340-2361
25. Hlavacek W.S., Faeder J.R., Blinov M.L., Posner R.G., Hucka M., and Fontana W. Rules for modeling signal-transduction systems. Science STKE 344 (2006) re6
26. Hucka M., et al. The systems biology markup language (SBML) a medium for representation and exchange of biochemical network models. Bioinformatics 19 4 (2003) 524-531
27. Ideker T., Galitski T., and Hood L. A new approach to decoding life: Systems biology. Annual Review of Genomics and Human Genetics 2 (2001) 343-372
28. Kanehisa M., and Goto S. KEGG: Kyoto encyclopedia of genes and genomes. Nucleic Acids Research 28 1 (2000) 27-30
29. Marcelle Kaufman, Private communication, 2006
30. Kohn K.W. Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell 10 8 (1999) 2703-2734
31. Levchenko A., Bruck J., and Sternberg P.W. Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. PNAS 97 11 (2000) 5818-5823
32. Marhl M., Haberichter T., Brumen M., and Heinrich R. Complex calcium oscillations and the role of mitochondria and cytosolic proteins. BioSystems 57 (2000) 75-86
33. Markevich N.I., Hoek J.B., and Kholodenko B.N. Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades. Journal of Cell Biology 164 3 (2005) 353-359
34. Qiao L., Nachbar R.B., Kevrekidis I.G., and Shvartsman S.Y. Bistability and oscillations in the huang-ferrell model of mapk signaling. PLoS Computational Biology 3 9 (2007) 1819-1826
35. Reddy V.N., Mavrovouniotis M.L., and Liebman M.N. Petri net representations in metabolic pathways. In: Hunter L., Searls D.B., and Shavlik J.W. (Eds). Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology. ISMB (1993), AAAI Press 328-336
36. Sackmann A., Heiner M., and Koch I. Application of petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics 7 482 (2006)
37. Schuster S., Pfeiffer T., Moldenhauer F., et al. Exploring the pathway structure of metabolism: Decomposition into subnetworks and application to mycoplasma pneumoniae. Bioinformatics 18 3 (2002) 51-61
38. Segel L.A. Modeling Dynamic Phenomena in Molecular and Cellular Biology (1984), Cambridge University Press
39. Soliman S., and Fages F. CMBSlib: A library for comparing formalisms and models of biological systems. In: Danos V., and Schächter V. (Eds). CMSB'04: Proceedings of the Second International Workshop on Computational Methods in Systems Biology. Lecture Notes in BioInformatics vol. 3082 (2004), Springer-Verlag 231-235
40. Soulé C. Graphic requirements for multistationarity. ComplexUs 1 (2003) 123-133
41. Thomas R., Gathoye A.-M., and Lambert L. A complex control circuit: regulation of immunity in temperate bacteriophages. European Journal of Biochemistry 71 1 (1976) 211-227
42. Thomas R., and Kaufman M. Multistationarity, the basis of cell differentiation and memory. Chaos 11 1 (2001) 170-195
43. Ventura A.C., Sepulchre J.-A., and Merajver S.D. A hidden feedback in signaling cascades is revealed, PLoS. Computational Biology 4 3 (2008) e1000041
44. Zevedei-Oancea I., and Schuster S. Topological analysis of metabolic networks based on petri net theory. Silico Biology 3 29 (2003)