Rule-Based Modelling and Model Perturbation

Rule-based modelling has already proved to be successful for taming the combinatorial complexity, typical of cellular signalling networks, caused by the combination of physical protein-protein interactions and modifications that generate astronomical numbers of distinct molecular species. However, traditional rule-based approaches, based on an unstructured space of agents and rules, remain susceptible to other combinatorial explosions caused by mutated and/or splice variant agents, that share most but not all of their rules with their wild-type counterparts; and by drugs, which must be clearly distinguished from physiological ligands. In this paper, we define a syntactic extension of Kappa, an established rule-based modelling platform, that enables the expression of a structured space of agents and rules that allows us to express mutated agents, splice variants, families of related proteins and ligand/drug interventions uniformly. This also enables a mode of model construction where, starting from the current consensus model, we attempt to reproduce in numero the mutational--and more generally the ligand/drug perturbational--analyses that were used in the process of inferring those pathways in the first place.

[1]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[2]  I. Ispolatov,et al.  Propagation of large concentration changes in reversible protein-binding networks , 2007, Proceedings of the National Academy of Sciences.

[3]  Vincent Danos,et al.  Scalable Simulation of Cellular Signaling Networks , 2007, APLAS.

[4]  Vincent Danos,et al.  Rule-Based Modelling of Cellular Signalling , 2007, CONCUR.

[5]  Oliver E. Sturm,et al.  Computational modelling of the receptor-tyrosine-kinase-activated MAPK pathway. , 2005, The Biochemical journal.

[6]  M. Sliwkowski,et al.  An open-and-shut case? Recent insights into the activation of EGF/ErbB receptors. , 2003, Molecular cell.

[7]  Mathias John,et al.  A Spatial Extension to the π Calculus , 2007 .

[8]  Ehud Shapiro,et al.  Cells as Computation , 2003, CMSB.

[9]  Thomas Edouard,et al.  Signal Strength Dictates Phosphoinositide 3-Kinase Contribution to Ras/Extracellular Signal-Regulated Kinase 1 and 2 Activation via Differential Gab1/Shp2 Recruitment: Consequences for Resistance to Epidermal Growth Factor Receptor Inhibition , 2007, Molecular and Cellular Biology.

[10]  Cosimo Laneve,et al.  Formal molecular biology , 2004, Theor. Comput. Sci..

[11]  Corrado Priami,et al.  Application of a stochastic name-passing calculus to representation and simulation of molecular processes , 2001, Inf. Process. Lett..

[12]  John Kuriyan,et al.  An Allosteric Mechanism for Activation of the Kinase Domain of Epidermal Growth Factor Receptor , 2006, Cell.

[13]  B. Kholodenko,et al.  Quantification of Short Term Signaling by the Epidermal Growth Factor Receptor* , 1999, The Journal of Biological Chemistry.

[14]  Vincent Danos,et al.  Abstract Interpretation of Cellular Signalling Networks , 2008, VMCAI.

[15]  P. Degano,et al.  Causal π-Calculus for Biochemical Modelling , 2002 .

[16]  Luca Cardelli,et al.  BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[17]  Stephen Gilmore,et al.  Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA , 2006, Trans. Comp. Sys. Biology.

[18]  Ron Bose,et al.  Inhibition of the EGF Receptor by Binding to an Activating Kinase Domain Interface , 2007, Nature.

[19]  William S. Hlavacek,et al.  BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains , 2004, Bioinform..

[20]  Luca Cardelli,et al.  Brane Calculi Interactions of Biological Membranes , 2004 .

[21]  Corrado Priami,et al.  The BlenX Language: A Tutorial , 2008, SFM.

[22]  Corrado Priami,et al.  Evolving BlenX programs to simulate the evolution of biological networks , 2008, Theor. Comput. Sci..

[23]  Jane Hillston,et al.  Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks , 2007, FBTC@CONCUR.

[24]  Luca Cardelli,et al.  Brane Calculi , 2004, CMSB.

[25]  Michael Hucka,et al.  A Correction to the Review Titled "Rules for Modeling Signal-Transduction Systems" by W. S. Hlavacek et al. , 2006, Science's STKE.

[26]  E. Gilles,et al.  Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors , 2002, Nature Biotechnology.

[27]  Corrado Priami,et al.  Beta Binders for Biological Interactions , 2004, CMSB.

[28]  E. Shapiro,et al.  Cellular abstractions: Cells as computation , 2002, Nature.

[29]  François Fages,et al.  BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge , 2006, Bioinform..

[30]  Boris N Kholodenko,et al.  Scaffolding Protein Grb2-associated Binder 1 Sustains Epidermal Growth Factor-induced Mitogenic and Survival Signaling by Multiple Positive Feedback Loops* , 2006, Journal of Biological Chemistry.

[31]  Rey-Huei Chen,et al.  Molecular interpretation of ERK signal duration by immediate early gene products , 2002, Nature Cell Biology.