Molecular interactions are wired in a fascinating way resulting in complex behavior of bio-logical systems. Theoretical modeling provides us a useful framework for understanding the dynamics and the function of such networks. The complexity of the biological systems calls for conceptual tools that manage the combinatorial explosion of the set of possible interac-tions. A suitable conceptual tool to attack complexity is compositionality, already success-fully used in the process algebra field to model computer systems. We rely on the BlenX programming language, originated by the beta-binders process calculus, to specify and si-mulate high-level descriptions of biological circuits. Gillespie’s stochastic simulation algo-rithm applied for BlenX simulations requires the decomposition of phenomenological func-tions into basic elementary reactions. Systematic unpacking of complex reaction mechanisms into BlenX templates is shown. The estimation/derivation of missing parameters and the challenges emerging from compositional model building in stochastic process algebras are discussed. A biological example on circadian clock is presented as a case study of modeling.

Compositional Modeling of Biological Systems / Zamborszky, Judit. - (2010), pp. 1-199.

Compositional Modeling of Biological Systems

Zamborszky, Judit
2010-01-01

Abstract

Molecular interactions are wired in a fascinating way resulting in complex behavior of bio-logical systems. Theoretical modeling provides us a useful framework for understanding the dynamics and the function of such networks. The complexity of the biological systems calls for conceptual tools that manage the combinatorial explosion of the set of possible interac-tions. A suitable conceptual tool to attack complexity is compositionality, already success-fully used in the process algebra field to model computer systems. We rely on the BlenX programming language, originated by the beta-binders process calculus, to specify and si-mulate high-level descriptions of biological circuits. Gillespie’s stochastic simulation algo-rithm applied for BlenX simulations requires the decomposition of phenomenological func-tions into basic elementary reactions. Systematic unpacking of complex reaction mechanisms into BlenX templates is shown. The estimation/derivation of missing parameters and the challenges emerging from compositional model building in stochastic process algebras are discussed. A biological example on circadian clock is presented as a case study of modeling.
2010
XXIII
2010-2011
Ingegneria e Scienza dell'Informaz (cess.4/11/12)
Information and Communication Technology
Priami, Corrado
Csikász-Nagy, Attila
no
Inglese
Settore BIO/11 - Biologia Molecolare
File in questo prodotto:
File Dimensione Formato  
PhD-Thesis_final.pdf

accesso aperto

Tipologia: Tesi di dottorato (Doctoral Thesis)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 4.88 MB
Formato Adobe PDF
4.88 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/368785
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact