Natural Computing

, 8:865 | Cite as

Rule-based programming for integrative biological modeling

Application to the modeling of the λ phage genetic switch
  • Olivier MichelEmail author
  • Antoine Spicher
  • Jean-Louis Giavitto


Systems biology aims at integrating processes at various time and spatial scales into a single and coherent formal description to allow computer modeling. In this context, we focus on rule-based modeling and its integration in the domain-specific language MGS . Through the notions of topological collections and transformations, MGS allows the modeling of biological processes at various levels of description. We validate our approach through the description of various models of the genetic switch of the λ phage, from a very simple biochemical description of the process to an individual-based model on a Delaunay graph topology. This approach is a first step into providing the requirements for the emerging field of spatial systems biology which integrates spatial properties into systems biology.


Domain-specific languages Rule-based modeling Spatial systems biology 



The authors gratefully acknowledge the reviewers for their valuable comments on a first version of this article.


  1. Arkin A, Ross J, McAdams HH (1998) Stochastic kinetic analysis of developmental pathway bifurcation in phage λ-infected Escherichia coli cells. Genetics 149:1633–1648Google Scholar
  2. Banâtre J-P, Fradet P, Métayer DL (2001) Gamma and the chemical reaction model: fifteen years after. Lect Notes Comput Sci 2235:17–44CrossRefGoogle Scholar
  3. Barbier de Reuille P, Bohn-Courseau I, Ljung K, Morin H, Carraro N, Godin C, Traas J (2006) Computer simulations reveal novel properties of the cell-cell signaling network at the shoot apex in arabidopsis. PNAS 103(5):1627–1632CrossRefGoogle Scholar
  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–94Google Scholar
  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–23Google Scholar
  6. Cardelli L (2004) Brane calculi. In: Danos V, Schächter V (eds) CMSB, Lecture Notes in Computer Science, vol 3082. Springer, pp 257–278Google Scholar
  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)Google Scholar
  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)Google Scholar
  10. Dershowitz N, Jouannaud JP (1990) Handbook of theoretical computer science, vol B, chap. rewrite systems. Elsevier Science, pp 244–320Google Scholar
  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–412Google Scholar
  12. Ermentrout GB, Edelstein-Keshet L (1993) Cellular automata approaches to biological modeling. J Theor Biol 160(1):97–133CrossRefGoogle Scholar
  13. Farge E (2003) Mechanical induction of Twist in the Drosophila foregut/stomodeal primordium. Curr Biol 13(16):1365–1377CrossRefGoogle Scholar
  14. Fisher M, Malcolm G, Paton R (2000) Spatio-logical processes in intracellular signalling. BioSystems 55:83–92CrossRefGoogle Scholar
  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–233Google Scholar
  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.
  17. Giavitto J-L, Michel O (2002a) The topological structures of membrane computing. Fundam Inform 49:107–129MathSciNetGoogle Scholar
  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–150Google Scholar
  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 Google Scholar
  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. HermesGoogle Scholar
  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–66Google Scholar
  22. Giavitto J-L, Malcolm G, Michel O (2004) Rewriting systems and the modelling of biological systems. Comp Funct Genomics 5:95–99CrossRefGoogle Scholar
  23. Gibson MC, Patel AB, Nagpal R, Perrimon N (2006) The emergence of geometric order in proliferating metazoan epithelia. Nature 442:1038–1041CrossRefGoogle Scholar
  24. Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81(25):2340–2361CrossRefGoogle Scholar
  25. Hlavacek WS, Faeder JR, Blinov ML, Posner RG, Hucka M, Fontana W (2006) Rules for modeling signal-transduction systems. Science STKE 344Google Scholar
  26. iGEM: Modeling a synthetic multicellular bacterium. Modeling page of the Paris team wiki at iGEM’07 (2007).
  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–55Google Scholar
  28. Letierce F, Giavitto J-L, Michel O, Spicher A (2005) The imoview vizualisation tool. Available at
  29. Lou C, Yang X, Liu X, He B, Ouyang Q (2007) A quantitative study of λ-phage switch and its components. Biophys J 92:2685–2693CrossRefGoogle Scholar
  30. Manca V (2001) Logical string rewriting. Theor Comput Sci 264:25–51zbMATHCrossRefMathSciNetGoogle Scholar
  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’ÉvryGoogle Scholar
  32. Munkres J (1984) Elements of algebraic topology. Addison-Wesley, ReadingGoogle Scholar
  33. Păun G (2001) From cells to computers: computing with membranes (P systems). Biosystems 59(3):139–158CrossRefGoogle Scholar
  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–33Google Scholar
  35. Ptashne M (1992) A genetic switch: phage lambda and highet organisms. Cold Spring Harbor Laboratory Press, Cold Spring HarborGoogle Scholar
  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–470Google Scholar
  37. Regev A, Panina EM, Silverman W, Cardelli L, Shapiro E (2004) Bioambients: an abstraction for biological compartments. Theor Comput Sci 325:141–167Google Scholar
  38. Rozenberg G, Salomaa A (1992) Lindenmayer systems. Springer, BerlinzbMATHGoogle Scholar
  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–10324Google Scholar
  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–327Google Scholar
  41. Spicher A, Michel O, Cieslak M, Giavitto J-L, Prusinkiewicz P (2008) Stochastic P systems and the simulation of biochemical processes with dynamic compartments. BioSystems 91(3):458–472CrossRefGoogle Scholar
  42. Ulam SM (1962) On some mathematical problems connected with patterns of growth of figures. Proc Symposia Appl Math 14:215–224Google Scholar
  43. von Neumann J (1966) Theory of self-reproducing automata. University of Illinois PressGoogle Scholar
  44. Wilensky U (1999) Netlogo. Center for Connected Learning and Computer-Based Modeling, Northwestern University, Evanston, IL.
  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 processingGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2008

Authors and Affiliations

  • Olivier Michel
    • 1
    Email author
  • Antoine Spicher
    • 1
  • Jean-Louis Giavitto
    • 2
  1. 1.LACL – EA 4213, Faculté des Sciences et TechnologieUniversité de Paris 12Creteil CedexFrance
  2. 2.IBISC Lab. - FRE 3190 CNRSUniversité d’Évry & GenopoleEvryFrance

Personalised recommendations