An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational...

37
An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School of Medicine 2014 CMACS Winter Workshop Lehman College

Transcript of An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational...

Page 1: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

An Introduction to Modeling Biochemical Signal Transduction

Jim Faeder Department of Computational and Systems BiologyUniversity of Pittsburgh School of Medicine

2014 CMACS Winter WorkshopLehman College

Page 2: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Cell as Information Processor

http://en.wikipedia.org/wiki/Cell_signaling

Page 3: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

The cellular brain

http://www.biochemweb.org/fenteany/research/cell_migration/neutrophil.html

Original film from David Rogers (Vanderbuilt University)

Page 4: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Organization of Signaling Networks

Yarden & Sliwkowski, Nature Rev. Mol. Cell Biol. 02: 127-137 (2001).

Page 5: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Ras in network context

The Biology of Cancer (© Garland Science 2007)

Page 6: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Figure 5.15 The Biology of Cancer (© Garland Science 2007)

Initiating Events: Receptor Aggregation

Page 7: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Figure 6.12 The Biology of Cancer (© Garland Science 2007)

Initiating Events: Complex Formation “Effector” Activation

Page 8: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Ras at Multiple Scales

The Biology of Cancer (© Garland Science 2007)

>20% human tumors carry Ras point mutations.

>90% in pancreatic cancer.

Transformed

Page 9: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Video of Ras Activation

Ras structure and function

Page 10: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Ras Structure to Model

Page 11: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Ras Structure to Model

Ras

pi3k ral

gn

sos raf~GDP ~GTP

Sos RasGAP Raf PI3K Ral

Page 12: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Ras Biochemistry to RulesRas bound to GDP binds to Sos

nuc

Ras

eff

+

Sos

catRasGEF

RasSos

Sos binding catalyzes GDP/GTP exchange

RasSos RasSos

RasGTP binds Raf

Ras

+

Raf Ras Raf

RBD

Page 13: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

BioNetGen Language Formalizes Object-Oriented Description of Biochemistry

RasSos

Ras Raf

Molecules

Species Patterns

Raf

Sos(RasGEF) Ras(cat,nuc~GDP~GTP,eff) Raf(RBD)

RasSos

Sos(RasGEF!1).Ras(cat!1,nuc~GTP) Ras(nuc~GTP,eff!1).Raf(RBD!1)

Page 14: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

BioNetGen Language Formalizes Object-Oriented Description of Biochemistry

RasSos

Ras Raf

Molecules

Species Patterns

Raf

Sos(RasGEF) Ras(cat,nuc~GDP~GTP,eff) Raf(RBD)

RasSos

By leaving out a component this graph becomes a selector for multiple graphs.

Sos(RasGEF!1).Ras(cat!1,nuc~GTP) Ras(nuc~GTP,eff!1).Raf(RBD!1)

Page 15: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

BioNetGen Language Formalizes Object-Oriented Description of Biochemistry

RulesSos binding catalyzes GDP/GTP exchange

RasSos RasSos

RasGTP binds RafRas

+

Raf Ras Raf

Sos(RasGEF!1).Ras(cat!1,nuc~GDP,eff)-> \Sos(RasGEF!1).Ras(cat!1,nuc~GTP,eff) k2

Ras(nuc~GTP,eff)+Raf(RBD)<->Ras(nuc~GTP,eff!1).Raf(RBD!1) kp3,km3

Page 16: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

“Object-Oriented” Representation of Signaling Molecules

IgE(a,a)FceRI(a,b~U~P,g2~U~P)Lyn(U,SH2)Syk(tSH2,lY~U~P,aY~U~P)

BIONETGEN Language

Faeder et al., Meth. Mol. Biol. (2009) http://bionetgen.org

Page 17: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Concise and Precise Description of Biochemical Knowledge

Transphosphorylation

component state change

Lyn(U!1).FceRI(b!1).FceRI(b~U)-> \Lyn(U!1).FceRI(b!1).FceRI(b~P)

Rules can query the local environment.

Transformation only takes place when conditions are favorable.

Page 18: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Composition of a Rule-Based Model

Molecules Reaction Rulesbegin reaction_rules# Ligand-receptor binding 1 Rec(a) + Lig(l,l) <-> Rec(a!1).Lig(l!1,l) kp1, km1 Rec(a) + Lig(l,l) <-> Rec(a!1).Lig(l!1,l) kp1, km1

# Receptor-aggregation2 Rec(a) + Lig(l,l!1) <-> Rec(a!2).Lig(l!2,l!1) kp2,km2

# Constitutive Lyn-receptor binding3 Rec(b~Y) + Lyn(U,SH2) <-> Rec(b~Y!1).Lyn(U!1,SH2) kpL, kmL…

begin moleculesLig(l,l)Lyn(U,SH2)Syk(tSH2,l~U~P,a~U~P) Rec(a,b~U~P,g~U~P)end molecules

BioNetGen language

Page 19: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

AIM: Model the biochemical machinery by which cells process information (and respond to it).

Representation Simulation

Modeling cell signaling

How do we simulate dynamics of signaling networks?

Page 20: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Standard Chemical Kinetics

Species Reactions

Page 21: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Reaction Network Model of Signaling

Kholodenko et al., J. Biol. Chem. 274, 30169 (1999)

EGF

EGFR

GRB2

SOS

EGF

EGFR

GRB2

SOS

SHC

Page 22: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Reaction Network Model of Signaling

Kholodenko et al., J. Biol. Chem. 274, 30169 (1999)

22 species 25 reactions

Page 23: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

General formulation of chemical kinetics (continuum limit)

x is vector of species concentrationsS is the “stoichiometry matrix”, Sij= number of molecules of species i consumed by reaction j.v is the “reaction flux vector”, vj is the rate of reaction j. For an elementary reaction,

Page 24: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Representation Simulation

Modeling cell signaling

Reaction Network

How does set of Molecules and Rules get transformed into a Reaction Network of Species and Reactions?

Page 25: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

BioNetGen

Ab

Y1

B

A(b,Y1) B(a)

Molecules are structured objects (hierarchical graphs)

a

BNGL:

Faeder et al., In Methods in Molecular Biology: Systems Biology, Ed. I.V. Maly (2009)

Page 26: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

BioNetGen

Ab

Y1

B

A(b,Y1) B(a)

Molecules are structured objects (hierarchical graphs)

Rules define interactions (graph rewriting rules)

A B

+k+1

k-1

A B

A(b) + B(a) <-> A(b!1).B(a!1) kp1,km1

a bond between two components

a

Faeder et al., In Methods in Molecular Biology: Systems Biology, Ed. I.V. Maly (2009)

BNGL:

BNGL:

Page 27: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Rules generate events

A B

+k+1

A BRule1

Ab

Y1

Ba+

Reaction1

1 2

Page 28: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Rules generate events

A B

+k+1

A BRule1

Ab

Y1

Ba+

Reaction1

1 2

Page 29: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Rules generate events

A B

+k+1

A BRule1

Ab

Y1

Ba

Ab

Y1

Ba

k+1

+

Reaction1

1 2 3

Page 30: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Rules may specify contextual requirements

Ab

Y1

Rule2

p1

Ab

Y1 P

context not changed by rule

must be bound

Ab

Y1

Ba

3

Reaction2

A(b!+,Y1~U) -> A(b!+,Y1~P) p1BNGL:

context

Page 31: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Rules may specify contextual requirements

Ab

Y1

Rule2

p1

Ab

Y1 P

context not changed by rule

must be bound

Ab

Y1

Ba

3

Reaction2

A(b!+,Y1~U) -> A(b!+,Y1~P) p1BNGL:

context

Page 32: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Rules may specify contextual requirements

Ab

Y1

Rule2

p1

Ab

Y1 P

context not changed by rule

must be bound

Ab

Y1

Ba

3

Reaction2 p1

Ab

Y1

Ba

4

P

A(b!+,Y1~U) -> A(b!+,Y1~P) p1BNGL:

context

Page 33: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Rules may generate multiple eventsSecond reaction generated by Rule 1

A B

+k+1

A BRule1

Ab

Y1

Ba

Ab

Y1

Ba

k+1

+

Reaction3

4 2 5

P

absence of context

P

Page 34: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

More complex rulesLyn FcεRI

γ2βPSH2

p*Lγ

P

P

Lyn FcεRI

Transphosphorylation of γ2 by SH2-bound Lyn

Generates 36 reactions (dimer model) with same rate constant

Lyn FcεRI

γ2

PSH2

p*Lγ Lyn FcεRI

γ2

PSH2

P

example

Page 35: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Automatic Network Generation

Seed Species (4)

Reaction Rules (19)

New Reactions &

Species

FcεRI Model

Network

FcεRI

(IgE)2 Lyn Syk

Network

Page 36: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Automatic Network Generation

Seed Species (4)

Reaction Rules (19)

FcεRI Model

FcεRI

(IgE)2 Lyn Syk

354 Species3680 Reactions

Page 37: An Introduction to Modeling Biochemical Signal Transduction Jim Faeder Department of Computational and Systems Biology University of Pittsburgh School.

Automatic Network Generation

Seed Species (4)

Reaction Rules (19)

FcεRI Model

FcεRI

(IgE)2 Lyn Syk

354 Species3680 Reactions