Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Basic Concepts of Cellular Automata Read chapter Read first chapter

2012 | OriginalPaper | Chapter

Process Calculi, Systems Biology and Artificial Chemistry

Authors : Pierpaolo Degano, Andrea Bracciali

Published in: Handbook of Natural Computing

Publisher: Springer Berlin Heidelberg

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Knowledge about life processes develops through the interplay of theoretical speculation and experimental investigation. Both speculation and experiments present several difficulties that call for the development of faithful and accessible abstract models of the phenomena investigated. Several theories and techniques born in computer science have been proposed for the development of models that rely on solid formal bases and allow virtual experiments to be carried out computationally in silico.
This chapter surveys the basics of process calculi and their applications to the modeling of biological phenomena at a system level. Process calculi were born within the theory of concurrency for describing and proving properties of distributed interacting systems. Their application to biological phenomena relies on an interpretation of systems as made of interacting components exhibiting a computational kind of behavior, “cells as computation.”
The first seminal proposals and the subsequent enhancements for best adapting computer science theories to the domain of biology (with particular reference to chemical, biochemical, and cellular phenomena) are surveyed.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Algorithmic Systems Biology — Computer Science Propels Systems Biology
next chapter Reaction–Diffusion Computing
Literature
Aziz A, Sanwal K, Singhal V, Brayton R (2000) Model checking continuous time Markov chains. ACM Trans Comput Logic 1(1):162–170MathSciNetCrossRef
Baier C, Haverkort B, Hermanns H, Katoen J-P (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Trans Software Eng 29(6):524–541CrossRef
Bergstra JA, Ponse A, and Smolka SA (2001) Handbook of process algebra. North-Holland, Amsterdam, The NetherlandsMATH
Bernardo M, Degano P, Zavattaro G (eds) (2008) Formal methods for computational systems biology. In: SFM 2008: 8th international school on formal methods for the design of computer, communication, and software systems, Bertinoro, Italy, June 2008. Lecture notes in computer science, vol 5016. Springer, BerlinMATH
Bodei C (2009) A control flow analysis for beta-binders with and without static compartments. Theor Comput Sci 410(33–34):3110–3127MathSciNetMATHCrossRef
Bracciali A, Brunelli M, Cataldo E, Degano P (2008a) Stochastic models for the in silico simulation of synaptic processes. BMC Bioinform 9(4):S7CrossRef
Bracciali A, Brunelli M, Cataldo E, Degano P (2008b) Synapses as stochastic concurrent systems. Theor Comput Sci 408(1):66–82, 2008MathSciNetMATHCrossRef
Bradley J (1999) Towards reliable modelling with stochastic process algebras. PhD thesis, Department of Computer Science, University of Bristol
Brodo L, Degano P, Priami C (2007) A stochastic semantics for BioAmbients. In: Proceedings of PaCT, Pereslarl-Zalessky, Russia, September 2007. Lecture notes in computer science, vol 4671. Springer, Heidelberg
Busi N, Gorrieri R (2006) On the computational power of Brane calculi. In: Transactions on computational systems biology VI. Lecture notes in computer science, vol 4220. Springer, Heidelberg, pp 16–43CrossRef
Calzone L, Fages F, Soliman S (2006) BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14):1805–1807CrossRef
Cardelli L (2009) Artificial biochemistry. In: Condon A, Harel D, Kok JN, Salomaa A, Winfree E (eds) Algorithmic bioprocesses. Springer, New York
Cardelli L (2004) Brane calculi-interactions of biological membranes. In: Danos V, Schachter V (eds) Proceedings of computational methods in systems biology, Paris, France, May 2004. Lecture notes in computer science, vol 3082. Springer, Berlin
Cardelli L, Gordon A (1998) Mobile ambients. In: Nivat M (ed) Proceedings of FoSSaCS'98, Lisbon, Portugal, March–April 1998. Lecture notes in computer science, vol 1378. Springer, Berlin, pp 140–155
Cardelli L, Zavattaro G (2008) On the computational power of biochemistry. In: Proceedings of algebraic biology, Castle of Hagenberg, Austria, July–August 2008. Lecture notes in computer science, vol 5147. Springer, Berlin
Chiarugi D, Curti M, Degano P, Marangoni R (2004) ViCe: a VIrtual CEll. In: Proceedings of 2nd international W/S computational methods in systems biology, Paris, France, May 2004. Lecture notes in computer science, vol 3082. Springer, Berlin
Chiarugi D, Degano P, Marangoni R (2007) A computational approach to the functional screening of genomes. PLoS Comput Biol 3(9):1801–1806MathSciNetCrossRef
Chiarugi D, Degano P, Bert Van Klinken J, Marangoni R (2008) Cells in silico: a holistic approach. In: Formal methods for computational systems biology, Bertinoro, Italy, June 2008. Lecture notes in computer science, vol 5016. Springer, Berlin, pp 366–386CrossRef
Ciocchetta F, Hillston J (2006) Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. In: Proceedings of FBTC 2007, Lisbon, Portugal, September 2007. Electr Notes Theor Comput Sci 194(3):101–117
Ciocchetta F, Hillston J (2008) Process algebras in systems biology. In: Bernardo M, Degano P, Zavattaro G (eds) SFM 2008: Formal methods for computational systems biology, Bertinoro, Italy, June 2008. Lecture notes in computer science, vol 5016. Springer, Berlin, pp 265–312CrossRef
Clarke EM, Emerson EA, Sistla AP (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Program Lang Syst 8(2):244–263MATHCrossRef
Damm W, Harel D (2001) LSCs: breathing life into message sequence charts. Formal Methods Syst Des 19(1):45–80MATHCrossRef
Danos V, Feret J, Fontana W, Harmer R, Krivine J (2007) Rule-based modelling of cellular signalling. In: Proceedings of CONCUR, Lisbon, Portugal, September 2007. Lecture notes in computer science, vol 4703. Springer, Berlin, pp 17–41
Degano P, Prandi D, Priami C, Quaglia P (2006) Beta-binders for biological quantitative experiments. In: Proceedings of QAPL06, Vienna, Austria, April 2006. Electr Notes Theor Comput Sci 164(3): 101–117CrossRef
Dematté L, Prandi D, Priami C, Romanel A (2007) Effective Index: A formal measure of drug effects. In: Proceedings of the 2nd Conference Foundations of Systems Biology in Engineering (FOSBE). Stuttgart, Germany, September 2007, pp 485–490
Dematté L, Priami C, Romanel A (2008) The BlenX language: a tutorial. In: Bernardo M, Degano P, Zavattaro G (eds) SFM 2008, Bertinoro, Italy, June 2008. Lecture notes in computer science, vol 5016. Springer, Berlin, pp 313–365
Eker S, Knapp M, Laderoute K, Lincoln P, Meseguer J, Sönmez MK (2002) Pathway logic: symbolic analysis of biological signaling. In: Altman RB, Dunker AK, Hunter L, Lauderdale K, Klein TE (eds) Pacific symposium on biocomputing. Kauai, HI, 3–7 January 2002, pp 400–412
Emerson EA, Sistla AP (1983) Deciding branching time logic: a triple exponential decision procedure for CTL*. In: Clarke EM, Kozen D (eds) Proceedings logic of programs, Pittsburgh, PA, June 1983. Lecture notes in computer science, vol 164. Springer, Berlin, pp 176–192
Ermentrout B (2002) Simulating, analyzing, and animating dynamical systems. SIAM, Philadelphia, PAMATHCrossRef
Fages F, Soliman S (2008) Formal cell biology in Biocham. In: Bernardo M, Degano P, Zavattaro G (eds) SFM 2008: Formal methods for computational systems biology, Bertinoro, Italy, June 2008. Lecture notes in computer science, vol 5016. Springer, Berlin, pp 265–312
Fell DA (1997) Understanding the control of metabolism. Portland Press, London
Fersht A (1999) Structure and mechanism in protein science: a guide to enzyme catalysis and protein folding. Freeman, New York
Fontana W, Buss LW (1994) The arrival of the fittest: toward a theory of biological organization. Bull Math Biol 56:1–64MATH
Fraser CM et al. (1995) The minimal gene complement of mycoplasma genitalium. Science 270(1):397–403CrossRef
Gardiner CW (2001) Handbook of stochastic methods for physics, chemistry and the natural sciences. Springer, Berlin
Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81:2340–2361CrossRef
Gillespie DT, Petzold LR (2006) Numerical simulation for biochemical kinetics. In: Szallasi Z, Stelling J, Perival V (eds) System modeling in cellular biology, 1st edn. MIT Press, Cambridge, MA, pp 331–354
Glass J, Assad-Garcia N, Alperovich N (2006) Essential genes of a minimal bacterium. PNAS 103:425–430CrossRef
Hammes GG, Shimmel PR (1970) In: Boyer PD (ed) The enzymes, vol 2. Academic Press, New York
Hillston J (1993) PEPA – performance enhanced process algebra. PhD thesis, University of Edinburgh, Computer Science Department
Hillston J (1994) The nature of synchronisation. In: Herzog U, Rettelbach M (eds) Proceedings of 2nd workshop on Process Algebras and Performance Modelling (PAPM'92). Erlangen, Germany, July 1994, pp 51–70
Hillston J (2005) Process algebras for quantitative analysis. In: LICS 2005: Proceedings of the 20th annual symposium on logic in computer science, Chicago, IL, USA, June 2005. IEEE Computer Society, Washington DC, pp 239–248
Hillston J (1996) A compositional approach to performance modelling. Cambridge University Press, CambridgeCrossRef
Hinton A, Kwiatkowska M, Norman G, Parker D (2006) PRISM: a tool for automatic verification of probabilistic systems. In: Hermanns H, Palsberg J (eds) Proceedings 12th international conference on tools and algorithms for the construction and analysis of systems, Vienna, Austria. Lecture notes in computer science, vol 3920. Springer, Heidelberg
Hoare CAR (1985) Communicating sequential processes. Prentice-Hall, Englewood Cliffs, NJMATH
Ihekwaba A, Larcher R, Mardare R, Priami C (2007) BetaWB – a language for modular representation of biological systems. In: Proceedings of ICSB 2007, Long Beach, CA, October 2007
Kitano H (2002) Systems biology: a brief overview. Theor Comput Sci 295(5560):1662–1664
Kwiatkowska MZ, Norman G, Parker D (2008) Using probabilistic model checking for systems biology. SIGMETRICS Performance Evaluation Review 35(4):14–21CrossRef
Larry L, Roger B (2005) Automatic generation of cellular reaction networks with moleculizer 1.0. Nat Biotechnol 23:131–136CrossRef
Magnasco MO (1997) Chemical kinetics is Turing universal. Phys Rev Lett 78:1190–1193CrossRef
Miculan M, Bacci G (2006) Modal logics for Brane calculus. In: Priami C (ed) CMSB06: Computational methods in systems biology, Trento, Italy, October 2006. Lecture notes in computer science, vol 4210. Springer, Heidelberg, pp 1–16
Milazzo P (2008) Formal modeling in systems biology. An approach from theoretical computer Science. VDM - Verlag Dr. Muller, Saarbrücken, Germany
Milner R (1980) A calculus of communicating systems. Lecture notes in computer science, vol 92. Springer, BerlinCrossRef
Milner R (1989) Communication and concurrency. Prentice-Hall, Englewood Cliffs, NJMATH
Milner R (1999) Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge
Mushegian AR, Koonin EV (1996) A minimal gene set for cellular life derived by comparison of complete bacterial genome. PNAS 93:10268–10273CrossRef
Nielson F, Riis Nielson H, Schuch-Da-Rosa D, Priami C (2004a) Static analysis for systems biology. In: Proceedings of workshop on systeomatics - dynamic biological systems informatics, Cancun, Mexico, 2004. Computer Science Press, Trinity College Dublin, pp 1–6
Nielson HR, Nielson F, Pilegaard H (2004b) Spatial analysis of BioAmbient. In: Proceedings of static analysis symposium, Verona, Italy, August 2004. Lecture notes in computer science, vol 3148. Springer, Berlin, pp 69–83
Norris JR (1970) Markov chains. Cambridge University Press, Cambridge, MA
Paun G, Pérez-Jiménez MJ, Salomaa A (2007) Spiking neural P systems: an early survey. Int J Found Comput Sci 18(3):435–455MATHCrossRef
Phillips A, Cardelli L (2007) Efficient, correct simulation of biological processes in the stochastic pi-calculus. In: Calder M, Gilmore S (eds) Proceedings of computational methods in systems biology, Edinburgh, Scotland, September 2007. Lecture notes in computer science, vol 4695. Springer, Heidelberg, pp 184–199
Plotkin GD (2004) A structural approach to operational semantics. J Log Algebr Program 60–61:17–139MathSciNet
Priami C, Quaglia P (2004) Beta binders for biological interactions. In: Proceedings of CMSB, Paris, France, May 2004. Lecture notes in computer science, vol 3082. Springer, Berlin, pp 20–32
Priami C, Regev A, Shapiro E, Silvermann W (2004) Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Theor Comput Sci 325(1):141–167CrossRef
Reddy VN, Mavrouvouniotis ML, Liebman MN (1993) Qualitative analysis of biochemical reduction systems. Comput Biol Med 26(1):9–24CrossRef
Regev A, Shapiro E (2002) Cellular abstractions: cells as computation. Nature 419:343CrossRef
Regev A, Panina E, Silverman W, Cardelli L, Shapiro E (2004) BioAmbients: an abstraction for biological compartments. Theor Comput Sci 325(1):141–167MathSciNetMATHCrossRef
Sadot A, Fisher J, Barak D, Admanit Y, Stern MJ, Hubbard EJA, Harel D (2008) Toward verified biological models. IEEE/ACM Trans Comput Biol Bioinform 5(2):223–234CrossRef
Sangiorgi D (2004) Bisimulation: from the origins to today. In: LICS 2004: Proceeding of 19th IEEE symposium on logic in computer science, Turku, Finland, July 2004. IEEE Computer Society, Washington DC, pp 298–302CrossRef
Schrödinger E (1946) What is life? Macmillan, New York
Segel LA (1987) Modeling dynamic phenomena in molecular and cellular biology. Cambridge University Press, CambridgeMATH
Smith GD (2005) Modeling the stochastic gating of ion channels. In: Fall CP, Marland ES, Wagner JM, Tyson JJ (eds) Computational cell biology, 2nd edn. Springer, New York, pp 285–319
Soloveichik D, Cook M, Winfree E, Bruck J (2008) Computation with finite stochastic chemical reaction networks. Nat Comput. doi: 10.1007/s11047-008-9067-y (2008)
Van Kampen NG (1992) Stochastic processes in physics and in chemistry. Elsevier, Amsterdam, The Netherlands
Voit EO (2000) Computational analysis of biochemical systems – a practical guide for biochemists and molecular biologists. Cambridge University Press, Cambridge
Wilkinson DJ (2006) Stochastic modelling for systems biology. Chapman & Hall – CRC Press, LondonMATH
Zhao J, Ridgway D, Broderick G, Kovalenko A, Ellison M (2008) Extraction of elementary rate constants from global network analysis of E. Coli central metabolism. BMC Syst Biol 2:41CrossRef
Metadata
Title
Process Calculi, Systems Biology and Artificial Chemistry
Authors
Pierpaolo Degano
Andrea Bracciali
Copyright Year
2012
Publisher
Springer Berlin Heidelberg
Book
Handbook of Natural Computing

Print ISBN: 978-3-540-92909-3

Electronic ISBN: 978-3-540-92910-9

Copyright Year: 2012

DOI
https://doi.org/10.1007/978-3-540-92910-9_55

Premium Partner

    Image Credits