pml: toward a high-level formal language for biological systems
DESCRIPTION
PML: Toward a High-Level Formal Language for Biological Systems. Bor-Yuh Evan Chang and Manu Sridharan Computer Science Division University of California, Berkeley BioConcur, Marseille September 6, 2003. Why Formal Models for Biology?. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/1.jpg)
PML: Toward a High-Level Formal Language for Biological
SystemsBor-Yuh Evan Chang and Manu Sridharan
Computer Science DivisionUniversity of California, Berkeley
BioConcur, MarseilleSeptember 6, 2003
![Page 2: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/2.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
2
Why Formal Models for Biology?• Experiments have led to an enormous
wealth of (detailed) knowledge but in a fragmented form– serve as a common language for sharing
• modular, compositional, varying levels of abstraction• Much information described through prose
or graph-like diagrams with loose semantics– make assumptions explicit
• Mathematical abstraction convenient for reasoning and simulation
![Page 3: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/3.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
3
Previous Abstractions• Chemical kinetic models
– can derive differential equations– well-studied, with considerable
theoretical basis– variables do not directly correspond with
biological entities– may become difficult to see how multiple
equations relate to each other
![Page 4: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/4.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
4
Previous Abstractions• Pathway Databases (e.g., EcoCyc, KEGG)
– store information in a symbolic form and provide ways to query the database
– behavior of biological entities not directly described
• Petri nets– place = particular state of a molecular
specie, token = molecule, transition = reaction
![Page 5: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/5.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
5
Previous Abstractions• Concurrent computational processes
– each biological entity is a process that may carry some state and interacts with other processes
– each biological entity described by a “program”
– prior proposals based on process algebras, such as the -calculus [Regev et al. ’01]
– we take this view
![Page 6: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/6.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
6
Modeling in the -calculus• The -calculus is concise and compact,
yet powerful [Milner ’90]– take this as the underlying machine
model– not looking for another machine model
• However, it is far too low-level for direct modeling (ad-hoc structuring)
![Page 7: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/7.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
7
Informal Graphical Diagrams
Protein
Enzyme Protein Enzyme
Enzyme
Proteink
k-1
kcatsites
domains
rules
![Page 8: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/8.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
8
PML: EnzymeEnzymebind_substrate
parameterized
declared in outer scope
interactions within the complex
![Page 9: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/9.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
9
PML: ProteinProtein Proteinbind_substrate bind_product
![Page 10: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/10.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
10
PML: A Simple System
![Page 11: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/11.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
11
Compartments• Critical part of biological pathways
– prevents interactions that would otherwise occur
• Description of the behavior of a molecule should not depend on the compartment
• Regev et al. use “private” channels in the -calculus for both complexing and compartmentalization
![Page 12: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/12.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
12
PML: Simple Compartments Example
MolAMolB
bind_a bind_a
![Page 13: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/13.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
13
PML: Simple Compartments Example
MolAMolB
ER Cytosol
CytERBridge
![Page 14: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/14.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
14
PML: Simple Compartments Example
MolB
ER Cytosol
CytERBridge MolA
![Page 15: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/15.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
15
PML: Summary• Domains
– set of mutually dependent binding sites– defines at the lowest-level the reactions a
biological entity can undergo• Groups
– static structure for controlling namespace– may represent a large biological entity
• large complex, a system, etc.• Compartments
– special groups that define boundaries
![Page 16: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/16.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
16
Semantics of PML• Defined in terms of the -calculus via
two translations– from PML to CorePML
• “flattens” compartments, removes bridges
![Page 17: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/17.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
17
Semantics of PML– from CorePML to the -calculus
![Page 18: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/18.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
18
Larger Models• Modeled a general description of ER
cotranslational-translocation– unclearly or incompletely specified
aspects became apparent• e.g., can the signal sequence and translocon
bind without SRP? Yes [Herskovits and Bibi ’00]
• Extended to model targeting ER membrane with minor modifications
![Page 19: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/19.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
19
Benefits of PML• Easier to write and understand
because of a more direct biological metaphor
• Block structure for controlling namespace and modularity
• Special syntax for compartments– separate complexing from
compartmentalization
![Page 20: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/20.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
20
Future Work• Naming?• Proximity of molecules• Integrating quantitative information
(reaction rates, etc.)– start from work by Priami et al.
• Compartment fusion and fission• Type checking PML specifications• Exceptional / higher-level specifications• Graphical and simulation tools
![Page 21: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/21.jpg)
![Page 22: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/22.jpg)
Syntax of PML
![Page 23: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/23.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
23
Syntax of PML
![Page 24: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/24.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
24
Syntax of PML
![Page 25: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/25.jpg)
The -calculus
![Page 26: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/26.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
26
The -calculus• Syntax
• Operational Semantics
![Page 27: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/27.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
27
The -calculus• Congruence
![Page 28: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/28.jpg)
Example: Cotranslational Translocation
![Page 29: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/29.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
29
Example: Cotranslational Translocation• Ribosome translates mRNA exposing a
signal sequence• Signal sequence attracts SRP stopping
translation• SRP receptor (on ER membrane) attracts
SRP• Signal sequence interacts with translocon,
SRP disassociates resuming translation• Signal peptidase cleaves the signal
sequence in the ER lumen, Hsc70 chaperones aid in protein folding
![Page 30: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/30.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
30
Example: Cotranslational Translocation
![Page 31: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/31.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
31
Example: Cotranslational Translocation
![Page 32: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/32.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
32
Example: Cotranslational Translocation
![Page 33: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/33.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
33
Example: Cotranslational Translocation
![Page 34: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/34.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
34
Example: Cotranslational Translocation
![Page 35: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/35.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
35
Example: Cotranslational Translocation
![Page 36: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/36.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
36
Example: Cotranslational Translocation
![Page 37: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/37.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
37
Computer Systems vs. Biological Processes• Similarities
– elementary pieces build-up components that in turn build-up large components and so forth to create highly complex systems
– all systems seem to have similar cores but exhibit great diversity
• Differences!– theory of computation and computer
systems are purely man-made (controlled-design) but biology is observational
![Page 38: PML: Toward a High-Level Formal Language for Biological Systems](https://reader033.vdocuments.site/reader033/viewer/2022051317/56815de7550346895dcc0ec1/html5/thumbnails/38.jpg)
9/6/2003 PML: Toward a High-Level Formal Language for Biological Systems
38
Model of Concurrent Computation• Must choose a machine model as a
basis– The -calculus [Milner ’90 and others]
• A formalism aimed at capturing the essence of concurrent computation.
– focuses on communication by message passing• System composed of processes• Communication on channels
– send: send message m on channel c– receive: receive message on channel
c, call it x– Many variants—the stochastic -calculus