Modular modelling of signalling pathways and their cross-talk

Signalling pathways are well-known abstractions that explain the mechanisms whereby cells respond to signals. Collections of pathways form networks, and interactions between pathways in a network, known as cross-talk, enables further complex signalling behaviours. While there are several formal modelling approaches for signalling pathways, none make cross-talk explicit; the aim of this paper is to define and categorise cross-talk in a rigorous way. We define a modular approach to pathway and network modelling, based on the module construct in the PRISM modelling language, and a set of generic signalling modules. Five different types of cross-talk are defined according to various biologically meaningful combinations of variable sharing, synchronisation labels and reaction renaming. The approach is illustrated with a case-study analysis of cross-talk between the TGF-@b, WNT and MAPK pathways.

[1]  C. Kahn,et al.  Critical nodes in signalling pathways: insights into insulin action , 2006, Nature Reviews Molecular Cell Biology.

[2]  Muffy Calder,et al.  Modelling and Analysis of Biochemical Signalling Pathway Cross-talk , 2010, FBTC.

[3]  Muffy Calder,et al.  Feature interaction detection by pairwise analysis of LTL properties—A case study , 2006, Formal Methods Syst. Des..

[4]  Muffy Calder,et al.  Process Algebra Modelling Styles for Biomolecular Processes , 2009, Trans. Comp. Sys. Biology.

[5]  Corrado Priami,et al.  Beta-binders for Biological Quantitative Experiments , 2006, QAPL.

[6]  B. Katzenellenbogen.  Estrogen receptors: bioactivities and interactions with cell signaling pathways. , 1996, Biology of reproduction.

[7]  Marta Z. Kwiatkowska,et al.  PRISM: Probabilistic Symbolic Model Checker , 2002, Computer Performance Evaluation / TOOLS.

[8]  S. Kimura,et al.  A computational model on the modulation of mitogen-activated protein kinase (MAPK) and Akt pathways in heregulin-induced ErbB signalling. , 2003, The Biochemical journal.

[9]  Martin A. Schwartz,et al.  Networks and crosstalk: integrin signalling spreads , 2002, Nature Cell Biology.

[10]  Megan N. McClean,et al.  Erratum: Cross-talk and decision making in MAP kinase pathways (Nature Genetics (2007) 39, (409-414)) , 2007 .

[11]  Monika Heiner,et al.  Petri Nets for Systems and Synthetic Biology , 2008, SFM.

[12]  M. Mesarovic,et al.  Coordination of crosstalk between MAPK-PKC pathways: an exploratory study. , 2007, IET systems biology.

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

[14]  Muffy Calder,et al.  Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA , 2009, FBTC@ICALP.

[15]  Monika Heiner,et al.  Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis , 2003, CMSB.

[16]  Xiao-Fan Wang,et al.  Signaling cross-talk between TGF-β/BMP and other pathways , 2009, Cell Research.

[17]  Marta Z. Kwiatkowska,et al.  Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis , 2008, FMSB.

[18]  Vincent Danos,et al.  Modeling and querying biomolecular interaction networks , 2004, Theor. Comput. Sci..

[19]  Thomas A. Henzinger,et al.  Reactive Modules , 1999, Formal Methods Syst. Des..

[20]  David R. Gilbert,et al.  Analysis of Signalling Pathways Using Continuous Time Markov Chains , 2006, Trans. Comp. Sys. Biology.

[21]  W. V. Berghe,et al.  Cross-talk between nuclear receptors and nuclear factor κB , 2006, Oncogene.

[22]  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.

[23]  Ivor Catt,et al.  Crosstalk (Noise) in Digital Systems , 1967, IEEE Trans. Electron. Comput..

[24]  Thomas A. Henzinger,et al.  Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development , 2007, PLoS Comput. Biol..

[25]  Mark Ryan,et al.  The feature construct for SMV: Semantics , 2000, FIW.