Non Linear Programming (NLP) Formulation for Quantitative Modeling of Protein Signal Transduction Pathways

Modeling of signal transduction pathways plays a major role in understanding cells' function and predicting cellular response. Mathematical formalisms based on a logic formalism are relatively simple but can describe how signals propagate from one protein to the next and have led to the construction of models that simulate the cells response to environmental or other perturbations. Constrained fuzzy logic was recently introduced to train models to cell specific data to result in quantitative pathway models of the specific cellular behavior. There are two major issues in this pathway optimization: i) excessive CPU time requirements and ii) loosely constrained optimization problem due to lack of data with respect to large signaling pathways. Herein, we address both issues: the former by reformulating the pathway optimization as a regular nonlinear optimization problem; and the latter by enhanced algorithms to pre/post-process the signaling network to remove parts that cannot be identified given the experimental conditions. As a case study, we tackle the construction of cell type specific pathways in normal and transformed hepatocytes using medium and large-scale functional phosphoproteomic datasets. The proposed Non Linear Programming (NLP) formulation allows for fast optimization of signaling topologies by combining the versatile nature of logic modeling with state of the art optimization algorithms.

[1]  Masaru Tomita,et al.  E-CELL: software environment for whole-cell simulation , 1999, Bioinform..

[2]  Peter K. Sorger,et al.  Logic-Based Models for the Analysis of Cell Signaling Networks† , 2010, Biochemistry.

[3]  A. Rundell,et al.  Comparative study of parameter sensitivity analyses of the TCR-activated Erk-MAPK signalling pathway. , 2006, Systems biology.

[4]  Gary D. Bader,et al.  Pathway Commons, a web resource for biological pathway data , 2010, Nucleic Acids Res..

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

[6]  S. L. Wong,et al.  Towards a proteome-scale map of the human protein–protein interaction network , 2005, Nature.

[7]  Stefan Bornholdt,et al.  Boolean network models of cellular regulation: prospects and limitations , 2008, Journal of The Royal Society Interface.

[8]  Hiroyuki Ogata,et al.  KEGG: Kyoto Encyclopedia of Genes and Genomes , 1999, Nucleic Acids Res..

[9]  Shilpa Chakravartula,et al.  Complex Networks: Structure and Dynamics , 2014 .

[10]  Ioannis Xenarios,et al.  A method for the generation of standardized qualitative dynamical systems of regulatory networks , 2005, Theoretical Biology and Medical Modelling.

[11]  P. Ghazal,et al.  Logic models of pathway biology. , 2008, Drug discovery today.

[12]  James V. Beck,et al.  Parameter Estimation in Engineering and Science , 1977 .

[13]  Julio Saez-Rodriguez,et al.  Identifying Drug Effects via Pathway Alterations using an Integer Linear Programming Optimization Formulation on Phosphoproteomic Data , 2009, PLoS Comput. Biol..

[14]  M. Mann,et al.  Proteomics to study genes and genomes , 2000, Nature.

[15]  William J. Bosl,et al.  Systems biology by the rules: hybrid intelligent systems for pathway modeling and discovery , 2007, BMC Systems Biology.

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

[17]  I. Chou,et al.  Recent developments in parameter estimation and structure identification of biochemical and genomic systems. , 2009, Mathematical biosciences.

[18]  Aurélien Naldi,et al.  Logical modelling of gene regulatory networks with GINsim. , 2012, Methods in molecular biology.

[19]  Jacob J Hughey,et al.  Computational modeling of mammalian signaling networks , 2010, Wiley interdisciplinary reviews. Systems biology and medicine.

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

[21]  Peng Qiu,et al.  Reconstructing Directed Signed Gene Regulatory Network From Microarray Data , 2011, IEEE Transactions on Biomedical Engineering.

[22]  Lincoln Stein,et al.  Reactome: a knowledgebase of biological pathways , 2004, Nucleic Acids Res..

[23]  Alexander Mitsos,et al.  Combined logical and data-driven models for linking signalling pathways to cellular response , 2011, BMC Systems Biology.

[24]  Alexander Mitsos,et al.  Construction of large signaling pathways using an adaptive perturbation approach with phosphoproteomic data. , 2012, Molecular bioSystems.

[25]  J. Downward The ins and outs of signalling , 2001, Nature.

[26]  Lukasz Salwinski,et al.  In silico simulation of biological network dynamics , 2004, Nature Biotechnology.

[27]  Serhiy Souchelnytskyi,et al.  Bridging proteomics and systems biology: What are the roads to be traveled? , 2005, Proteomics.

[28]  Peter W. Zandstra,et al.  Sensitivity Analysis of Intracellular Signaling Pathway Kinetics Predicts Targets for Stem Cell Fate Control , 2007, PLoS Comput. Biol..

[29]  S. Schuster,et al.  Metabolic network structure determines key aspects of functionality and regulation , 2002, Nature.

[30]  Réka Albert,et al.  Modeling Systems-Level Regulation of Host Immune Responses , 2007, PLoS Comput. Biol..

[31]  Julio Saez-Rodriguez,et al.  Flexible informatics for linking experimental data to mathematical models via DataRail , 2008, Bioinform..

[32]  Nicolas Brunel,et al.  Estimating parameters and hidden variables in non-linear state-space models based on ODEs for biological networks inference , 2007, Bioinform..

[33]  Steffen Klamt,et al.  Structural and functional analysis of cellular networks with CellNetAnalyzer , 2007, BMC Systems Biology.

[34]  Julio Saez-Rodriguez,et al.  Training Signaling Pathway Maps to Biochemical Data with Constrained Fuzzy Logic: Quantitative Analysis of Liver Cell Responses to Inflammatory Stimuli , 2011, PLoS Comput. Biol..

[35]  Hong Wang,et al.  Insights into the behaviour of systems biology models from dynamic sensitivity and identifiability analysis: a case study of an NF-kappaB signalling pathway. , 2006, Molecular bioSystems.

[36]  Denis Thieffry,et al.  Mathematical Modelling of Cell-Fate Decision in Response to Death Receptor Engagement , 2010, PLoS Comput. Biol..

[37]  D. Lauffenburger,et al.  Physicochemical modelling of cell signalling pathways , 2006, Nature Cell Biology.

[38]  Lorenz T. Biegler,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006, Math. Program..

[39]  H. Brunner Annual Review of Genomics and Human Genetics , 2001, European Journal of Human Genetics.

[40]  D. Lauffenburger,et al.  Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction , 2009, Molecular systems biology.

[41]  A. Jayaraman,et al.  Parameter sensitivity analysis of IL-6 signalling pathways. , 2007, IET systems biology.

[42]  D. Lauffenburger,et al.  Networks Inferred from Biochemical Data Reveal Profound Differences in Toll-like Receptor and Inflammatory Signaling between Normal and Transformed Hepatocytes* , 2010, Molecular & Cellular Proteomics.

[43]  S. Kauffman Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[44]  Marek Kimmel,et al.  Mathematical model of NF- κB regulatory module , 2004 .

[45]  Julio Saez-Rodriguez,et al.  Integrating literature-constrained and data-driven inference of signalling networks , 2012, Bioinform..

[46]  B. Garcia,et al.  Proteomics , 2011, Journal of biomedicine & biotechnology.

[47]  Steffen Klamt,et al.  The Logic of EGFR/ErbB Signaling: Theoretical Properties and Analysis of High-Throughput Data , 2009, PLoS Comput. Biol..

[48]  Beatriz Peñalver Bernabé,et al.  State–time spectrum of signal transduction logic models , 2012, Physical biology.

[49]  Herbert H. Clark,et al.  Bridging , 1975, TINLAP.

[50]  Marek Kimmel,et al.  Mathematical model of NF-kappaB regulatory module. , 2004, Journal of theoretical biology.

[51]  Thomas Hinze,et al.  Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo , 2007, Workshop on Membrane Computing.

[52]  Julio Saez-Rodriguez,et al.  Fuzzy Logic Analysis of Kinase Pathway Crosstalk in TNF/EGF/Insulin-Induced Signaling , 2007, PLoS Comput. Biol..

[53]  Mudita Singhal,et al.  COPASI - a COmplex PAthway SImulator , 2006, Bioinform..

[54]  A. Barabasi,et al.  Network biology: understanding the cell's functional organization , 2004, Nature Reviews Genetics.

[55]  M. Moran,et al.  Large-scale mapping of human protein–protein interactions by mass spectrometry , 2007, Molecular systems biology.

[56]  T. Helikar,et al.  Emergent decision-making in biological signal transduction networks , 2008, Proceedings of the National Academy of Sciences.