Rule-based programming for integrative biological modeling : AAApplication to the modeling of thλe phage genetic switch

Natural Computing

Volumn 8, Issue 4, 2009, Pages 865-889

  Michel, Olivier ^a   Spicher, Antoine ^a   Giavitto, Jean Louis ^b  

^a UNIVERSITÉ PARIS EST CRÉTEIL   (France)

^b UNIVERSITY OF EVRY   (France)

Author keywords

Domain specific languages; Rule based modeling; Spatial systems biology

Indexed keywords

ARTICLE; BACTERIAL INFECTION; BACTERIOPHAGE; CHEMICAL REACTION; COMPUTER LANGUAGE; COMPUTER MODEL; COMPUTER PROGRAM; COMPUTER SIMULATION; COMPUTER SYSTEM; ESCHERICHIA COLI; MATHEMATICAL ANALYSIS; MATHEMATICAL COMPUTING; SYSTEMS BIOLOGY;

EID: 76849092686     PISSN: 15677818     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11047-008-9105-9     Document Type: Article

References (45)

1. A Arkin J Ross HH McAdams 1998 Stochastic kinetic analysis of developmental pathway bifurcation in phage λ-infected Escherichia coli cells Genetics 149 1633 1648
2. J-P Banâtre P Fradet DL Métayer 2001 Gamma and the chemical reaction model: fifteen years after Lect Notes in Comput Sci 2235 17 44 10.1007/3-540-45523-X-2
3. P Barbier de Reuille I Bohn-Courseau K Ljung H Morin N Carraro C Godin J Traas 2006 Computer simulations reveal novel properties of the cell-cell signaling network at the shoot apex in arabidopsis PNAS 103 5 1627 1632 10.1073/pnas.0510130103 (Pubitemid 43191215)
4. Berry G, Boudol G (1990) The chemical abstract machine. In: Conference record 17th ACM symposium on principles of programmming languages, POPL'90, San Francisco, CA, USA, 17-19 Jan 1990. ACM Press, New York, pp 81-94
5. Calder M, Gilmore S, Hillston J (2006) Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Priami C, Ingólfsdóttir A, Mishra B, Nielson HR (eds) Transactions on Computational Systems Biology VII, Lecture Notes in Computer Science, vol 4230. Springer, pp 1-23
6. Cardelli L (2004) Brane calculi. In: Danos V, Schächter V (eds) CMSB, Lecture Notes in Computer Science, vol 3082. Springer, pp 257-278
7. Danos V, Feret J, Fontana W, Harmer R, Krivine J (2007) Rule-based modelling of cellular signalling. In: CONCUR'07. Springer, Berlin, pp 17-41. doi: 10.1007/978-3-540-74407-83
8. Danos V, Feret J, Fontana W, Harmer R, Krivine J (2008) Rule-based modelling, symmetries, refinements. In: Proceedings of FMSB 2008, Lecture Notes in Bio Informatics (to appear)
9. De Cock K, Zhang X, Bugallo MF, Djuric PM (2003) Stochastic simulation and parameter estimation of first order chemical reactions. In: 12th European signal processing conference (EUSIPCO-2004)
10. Dershowitz N, Jouannaud JP (1990) Handbook of theoretical computer science, vol B, chap. rewrite systems. Elsevier Science, pp 244-320
11. Eker S, Knapp M, Laderoute K, Lincoln P, Meseguer J, Sonmez K (2002) Pathway logic: symbolic analysis of biological signaling. In: Proceedings of the Pacific symposium on biocomputing, pp 400-412
12. GB Ermentrout L Edelstein-Keshet 1993 Cellular automata approaches to biological modeling J Theor Biol 160 1 97 133 10.1006/jtbi.1993.1007
13. E Farge 2003 Mechanical induction of twist in the Drosophila foregut/stomodeal primordium Curr Biol 13 16 1365 1377 10.1016/S0960-9822(03) 00576-1 (Pubitemid 37029426)
14. M Fisher G Malcolm R Paton 2000 Spatio-logical processes in intracellular signalling BioSystems 55 83 92 10.1016/S0303-2647(99)00086-6 (Pubitemid 30162944)
15. Giavitto J-L (2003) Topological collections, transformations and their application to the modeling and the simulation of dynamical systems. In: Rewriting technics and applications (RTA'03), LNCS, vol LNCS 2706. Springer, Valencia, pp 208-233
16. Giavitto J-L, Michel O (2001) Declarative definition of group indexed data structures and approximation of their domains. In: PPDP '01: Proceedings of the 3rd ACM SIGPLAN international conference on principles and practice of declarative programming. ACM Press, New York, NY, USA, pp 150-161. http://doi.acm.org/10.1145/773184.773201
17. J-L Giavitto O Michel 2002 The topological structures of membrane computing Fundam Inform 49 107 129 2016433
18. Giavitto J-L, Michel O (2002b) Data structure as topological spaces. In: Proceedings of the 3nd international conference on unconventional models of computation UMC02, vol 2509. Himeji, Japan, pp 137-150
19. Giavitto J-L, Spicher A (2008) Topological rewriting and the geometrization of programming. Physica D 237:1302-1314. doi: 10.1016/j.physd.2008.03.039
20. Giavitto J-L, Godin C, Michel O, Prusinkiewicz P (2002a) Modelling and simulation of biological processes in the context of genomics. In: Computational models for integrative and developmental biology. Hermes
21. Giavitto J-L, Michel O, Cohen J (2002b) Pattern-matching and rewriting rules for group indexed data structures. In: ACM Sigplan Workshop RULE'02. ACM, Pittsburgh, pp 55-66
22. J-L Giavitto G Malcolm O Michel 2004 Rewriting systems and the modelling of biological systems Comp Funct Genomics 5 95 99 10.1002/cfg.363 (Pubitemid 38744645)
23. MC Gibson AB Patel R Nagpal N Perrimon 2006 The emergence of geometric order in proliferating metazoan epithelia Nature 442 1038 1041 10.1038/nature05014 (Pubitemid 44330260)
24. DT Gillespie 1977 Exact stochastic simulation of coupled chemical reactions J Phys Chem 81 25 2340 2361 10.1021/j100540a008
25. Hlavacek WS, Faeder JR, Blinov ML, Posner RG, Hucka M, Fontana W (2006) Rules for modeling signal-transduction systems. Science STKE 344
26. iGEM: Modeling a synthetic multicellular bacterium. Modeling page of the Paris team wiki at iGEM'07 (2007). http://parts.mit.edu/igem07/index.php/Paris/ Modeling
27. Kuttler C, Niehren J (2005) Gene regulation in the pi calculus: simulation coperativity at the lambda switch. Transactions on Computational Systems Biology VII: 24-55
28. Letierce F, Giavitto J-L, Michel O, Spicher A (2005) The imoview vizualisation tool. Available at http://mgs.ibisc.univ-evry.fr/Imoview/
29. C Lou X Yang X Liu B He Q Ouyang 2007 A quantitative study of λ-phage switch and its components Biophys J 92 2685 2693 10.1529/biophysj.106.097089 (Pubitemid 46557844)
30. V Manca 2001 Logical string rewriting Theor Comput Sci 264 25 51 0972.68100 10.1016/S0304-3975(00)00212-7 1843496
31. Michel O (2007) There's plenty of room for unconventional programming languages or declarative simulations of dynamical systems (with a dynamical structure). Habilitation thesis, Université d'Évry
32. Munkres J (1984) Elements of algebraic topology. Addison-Wesley, Reading
33. G Pǎun 2001 From cells to computers: computing with membranes (P systems) Biosystems 59 3 139 158 10.1016/S0303-2647(00)00143-X (Pubitemid 32318528)
34. Priami C, Quaglia P (2004) Beta binders for biological interactions. In: Danos V, Schächter V (eds) CMSB, Lecture Notes in Computer Science, vol 3082. Springer, pp 20-33
35. Ptashne M (1992) A genetic switch: phage lambda and highet organisms. Cold Spring Harbor Laboratory Press, Cold Spring Harbor
36. Regev A, Silverman W, Shapiro E (2001) Representation and simulation of biochemical processes using the π-calculus process algebra. In: Altman RB, Dunker AK, Hunter L, Klein TE (eds) Pacific symposium on biocomputing, pp 459-470
37. Regev A, Panina EM, Silverman W, Cardelli L, Shapiro E (2004) Bioambients: an abstraction for biological compartments. Theor Comput Sci 325:141-167
38. Rozenberg G, Salomaa A (1992) Lindenmayer systems. Springer, Berlin
39. Shnerb NM, Louzoun Y, Bettelheim E, Solomon S (1999) The importance of being discrete - life always wins on the surface. Proc Natl Acad Sci 97:10322-10324
40. Smith C, Prusinkiewicz P, Samavati FF (2003) Local specification of surface subdivision algorithms. In: Pfaltz JL, Nagl M, Böhlen B (eds) AGTIVE, Lecture Notes in Computer Science, vol 3062. Springer, pp 313-327
41. A Spicher O Michel M Cieslak J-L Giavitto P Prusinkiewicz 2008 Stochastic P systems and the simulation of biochemical processes with dynamic compartments BioSystems 91 3 458 472 10.1016/j.biosystems.2006.12.009 (Pubitemid 351215718)
42. SM Ulam 1962 On some mathematical problems connected with patterns of growth of figures Proc Symposia Appl Math 14 215 224
43. von Neumann J (1966) Theory of self-reproducing automata. University of Illinois Press
44. Wilensky U (1999) Netlogo. Center for Connected Learning and Computer-Based Modeling, Northwestern University, Evanston, IL. http://ccl.northwestern.edu/netlogo
45. Zhang X, De Cock K, Bugallo MF, Djuric PM (2003) Stochastic simulation and parameter estimation of enzyme reaction models. In: IEEE workshop on statistical signal processing