20080620 formal systems/synthetic biology modelling re-engineered
DESCRIPTION
2008 RADTRANSCRIPT
![Page 1: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/1.jpg)
formalsystems / synthetic biology
modellingre-engineered
Jonathan Blakes1st year PhD student
2008-06-20
![Page 2: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/2.jpg)
systems biology modelling
• systems biology operates at molecular, cellular, tissue/colony, organism/population levels
• model molecular reactions• model cellular organisation
– compartments (dynamic)
• model cellular interactions• development (growth/division/differentiation)
• observe emergent behaviour• generate/test hypotheses in silico
![Page 3: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/3.jpg)
synthetic biology modelling
• synthetic biology operates at molecular level
• (re)programming cellular chassis with new genes
• model molecular reactions– gene expression/regulation– protein interactions– metabolite turnover (I/O)
• modular assembly (orthogonality)• prototype organism design
medical / commercialpotential
![Page 4: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/4.jpg)
Petri nets P systems π-calculus
reactions interactions
formalisms
lasI S100
[lasI] → [lasI + LasI][LasI + S] → [LasI + 3OC12]
[ 3OC12 ] → 3OC12 [ ]
LasR rhlR
3OC12 [ ] → [ 3OC12 ][LasR+3OC12] → [LasR.3OC12]
[LasR.3OC12 + LasR.3OC12]→ [LasR.3OC122]
[LasR.3OC122 + rlhR] →[LasR.3OC122 + rlhR]
3OC1250
bacteria
environment
bacteria
![Page 5: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/5.jpg)
reaction-based formalism equivalence
P system rules can be flattened to a Petri net:
Sedwards S. Cyto-Sim Example Models: Oscillators. 2006
![Page 6: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/6.jpg)
Petri nets P systems π-calculusmolecular species
place symbol symbol
molecule
token object process
population of molecules
marking of net multiset processes
reactions
transitions rewriting rules communication
biological mapping
![Page 7: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/7.jpg)
Petri nets P systems π-calculusdiscrete (mechanistic)
concurrent
non-deterministic (uniform time steps)
stochastic variants (realistic time steps)
SPN MCG, DPP Sπ
compartments
distinct places:Xnucleus Xcytoplasm
membranesSπ@
BioAmbientsBrane calculi
properties
![Page 8: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/8.jpg)
why is stochasticity important?
Gilmore S. A Beginner's Guide to Stochastic Simulation.Uni. Edinburgh, Systems Biology Club talk, 16/11/2005
![Page 9: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/9.jpg)
Gillespie algorithm
• generates a statistically correct trajectory (simulation) of a stochastic system
• ensembles of simulations average to ODE• limited to 2 reactants (higher order reactions
modelled as sequence of binary reactions)• assumes
– constant temperature and pressure– no electrostatic, H-bonding, Van der Waals
forces– well-mixed volume
110
100
![Page 10: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/10.jpg)
Gillespie algorithm
Direct Method:1. for each reaction calculate propensity:
propensity (ai) = k ∙ hazard function
hazard = # distinct combinations of reactants
2. generate uniform random number r = 0 ≤ 13. selected reaction = r ∙ Σ propensities4. sample τ (time to wait) from negative
exponential distribution with parameterΣ propensities (a0)
a + b → ck
![Page 11: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/11.jpg)
2 stochastic P system approaches
•Multi-Compartmental Gillespie (MCG) algorithm– ‘exact’ SSA algorithm running in each membrane– rule with lowest τ (smallest time step) in all
membranes executed - inherently linear
•Dynamical Probabilistic P systems (DPP)– rules selected à la Gillespie, objects assigned to
selected rule, repeated until all objects assigned– all rules in all membranes applied simultaneously– maximal parallelism, bounded by mute rules: a → a– uniform time steps – qualitative– parallel implementation using MPI C library
![Page 12: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/12.jpg)
three ideas based on observations from literature review
1. to increase performance– τ-leaping simulation algorithm facilitates
parallelisation of multi-compartment models
2. to increase realism– molecular volumes can enable correct
simulation of cell growth and division dynamics
3. to increase knowledge– combining static information (reaction
topology) with stochastic execution in a visualisation can aid reasoning about system
![Page 13: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/13.jpg)
three ideas based on observations from literature review
1. to increase performance– τ-leaping simulation algorithm facilitates
parallelisation of multi-compartment models
2. to increase realism– molecule volumes can efficiently enable
correct simulation of cell growth and division dynamics
3. to increase knowledge– combining static information (reaction
topology) with stochastic execution in a visualisation can aid reasoning about system
![Page 14: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/14.jpg)
parallelising stochastic P systems
• P systems with exact SSA inside each membrane are parallel at the level of membranes but sequential at the level of rules
• one rule selected in each membrane, different waiting time for each
• different time lines - difficult to synchronise
• can we synchronise waiting times and speed up algorithm?
![Page 15: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/15.jpg)
tau-leaping
• exact stochastic simulation can be very slow as it tracks every reaction event in system
• tau-leaping tracks groups of reactions instead• approximate which events occur in a period:
– leap condition ε provides propensities do not change dramatically
– safe τ computed– reactions drawn using Poisson distribution of τ– one/none critical reactions fired, many non-
critical reactions fired also
![Page 16: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/16.jpg)
a faithful approximation
Gilmore S.“Beginner’s Guide to Stochastic Simulation”
University of Edinburgh Systems Biology Club talk 16/11/05
![Page 17: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/17.jpg)
tau-leaping in parallel DPP
• tau leaping is a form of bounded parallelism because it restricts the number of reactions
• in tau-DPP each membrane computes a safe τ• smallest safe τ used to select reactions in each• reactions applied in all membranes in parallel
and system advances in leaps of time τ• whereas DPP simulations would normally
proceed in qualitative steps, now proceed in actual time so quantitative
• tau-MCG would unify our approaches
Cazzaniga P, Pescini D, Besozzi D, Mauri, G.“Tau Leaping Stochastic Simulation Method in P Systems”
WMC 7 2006 298-313
![Page 18: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/18.jpg)
three ideas based on observations from literature review
1. to increase performance– τ-leaping simulation algorithm facilitates
parallelisation of multi-compartment models
2. to increase realism– molecule volumes can efficiently enable
correct simulation of cell growth and division dynamics
3. to increase knowledge– combining static information (reaction
topology) with stochastic execution in a visualisation can aid reasoning about system
![Page 19: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/19.jpg)
rates and volumes
• consider a compartment (volume v)• with a sub-compartment (volume v’)• calculating reaction propensity requires rate k
[ A + B ] → [ C ] propensity = k ∙ A ∙ B
• k implicitly contains the volume
• same reaction in v and v’ kv ≠ kv’
• probability of a binary collision is inversely proportional to volume
1. measure/calculate k in reference volume2. make volume explicit propensity = (k/v) ∙ A ∙ B
v v’
Smaldon J, Blakes J, Lancet D, Krasnogor N."A Multi-scaled Approach to Artificial Life Simulation With P Systems and Dissipative
Particle Dynamics" paper accepted for GECCO 2008 Atlanta, USA.
k
![Page 20: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/20.jpg)
affect of membrane structure
vv’
v = v – v’
![Page 21: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/21.jpg)
v
dynamic volumes
2v
cells grow
![Page 22: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/22.jpg)
dynamic volumes
v
cells divide
![Page 23: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/23.jpg)
dynamic volumes
cells divide
v/2 v/2
![Page 24: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/24.jpg)
but how to calculate volume?
• extend stochastic π-calculus syntax with compartments (Sπ@) SPiM compatible
• Sπ@: compartments or molecules have volume
• compartment volume = ∑ (speciesi
quantity x speciesivolume)
• species volume ≈ molecular weight• need to model water → calculate pH
Versari C and Busi N. “Efficient Stochastic Simulation of Biological Systems with Multiple
Variable Volumes.” Electronic Notes in Theoretical Computer Science 2007 94(3) 165-180.
Proceedings of the First Workshop "From Biology To Concurrency and back” (FBTC 2007)
![Page 25: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/25.jpg)
three ideas based on observations from literature review
1. to increase performance– τ-leaping simulation algorithm facilitates
parallelisation of multi-compartment models
2. to increase realism– molecule volumes can efficiently enable
correct simulation of cell growth and division dynamics
3. to increase knowledge– combining static information (reaction
topology) with stochastic execution in a visualisation can aid reasoning about system
![Page 26: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/26.jpg)
visualise propensity information
• The Next Reaction Method (and Optimized Direct Method) use a dependency graph to recalculate only the propensities of the affected reactions
![Page 27: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/27.jpg)
• use dependency graph to visualise state of system during simulation of stochastic P systempropensity of each reaction colours nodes hot or cold
visualise propensity information
![Page 28: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/28.jpg)
example
first reaction fires
![Page 29: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/29.jpg)
example
molecules are consumed and produced,two propensities changed
![Page 30: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/30.jpg)
example
second, unlikely, reaction fires
![Page 31: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/31.jpg)
example
three propensities changed,dramatic effect on next reaction
![Page 32: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/32.jpg)
example
visualisation of discarded informationcan reveal more than simply tracking
quantities
![Page 33: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/33.jpg)
``The specific value of visual modelinglies in tapping the potential of high bandwidth
spatial intelligence, as opposed to lexical intelligence used with textual information.”
Samek, M.“Practical Statecharts in C/C++:
Quantum Programming for Embedded Systems”CMP Books, 2002
example
visualisation of discarded informationcan reveal more than simply tracking
quantities
![Page 34: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/34.jpg)
observations
• novel visualisation method for pathways• topology same as Petri net minus places• identify cliques – define modules• visualisation of modules only, zooming out• can use as heuristic for simulation
algorithm selection: automatically determine when to use slow-scale SSA (respond to stiffness)
• not-suitable for string rewriting rules
![Page 35: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/35.jpg)
references
• Wilkinson D J. Stochastic Modelling for Systems Biology. “Chapter 8: Beyond the Gillespie algorithm” Chapman & Hall / CRC 2006
• Cazzaniga P, Pescini D, Besozzi D, Mauri, G. “Tau Leaping Stochastic Simulation Method in P Systems” WMC 7 2006 298-313
• Gilmore S. “Beginner’s Guide to Stochastic Simulation” University of Edinburgh Systems Biology Club talk 16/11/05
• Versari C and Busi N. “Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes” Electronic Notes in Theoretical Computer Science 2007 94(3) 165-180. Proceedings of the First Workshop "From Biology To Concurrency and back” (FBTC 2007)
• Smaldon J, Blakes J, Lancet D, Krasnogor N. "A Multi-scaled Approach to Artificial Life Simulation With P Systems and Dissipative Particle Dynamics" paper accepted for GECCO 2008 Atlanta, USA. Cazzaniga P, Pescini D, Besozzi D, Mauri, G. “Tau Leaping Stochastic Simulation Method in P Systems” WMC 7 2006 298-313
• Gibson M A, Bruck J. “Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels” J. Phys. Chem. A 2000 1876-1889
![Page 36: 20080620 Formal systems/synthetic biology modelling re-engineered](https://reader033.vdocuments.us/reader033/viewer/2022061209/548500ca5806b5c7588b471b/html5/thumbnails/36.jpg)
acknowledgements
• Supervisor Dr. Natalio Krasnogor• Dr. Francisco J. Romero-Campero• Dr. Jamie Twycross
Questions?