Engineering simulations for cancer systems biology.

Computer simulation can be used to inform in vivo and in vitro experimentation, enabling rapid, low-cost hypothesis generation and directing experimental design in order to test those hypotheses. In this way, in silico models become a scientific instrument for investigation, and so should be developed to high standards, be carefully calibrated and their findings presented in such that they may be reproduced. Here, we outline a framework that supports developing simulations as scientific instruments, and we select cancer systems biology as an exemplar domain, with a particular focus on cellular signalling models. We consider the challenges of lack of data, incomplete knowledge and modelling in the context of a rapidly changing knowledge base. Our framework comprises a process to clearly separate scientific and engineering concerns in model and simulation development, and an argumentation approach to documenting models for rigorous way of recording assumptions and knowledge gaps. We propose interactive, dynamic visualisation tools to enable the biological community to interact with cellular signalling models directly for experimental design. There is a mismatch in scale between these cellular models and tissue structures that are affected by tumours, and bridging this gap requires substantial computational resource. We present concurrent programming as a technology to link scales without losing important details through model simplification. We discuss the value of combining this technology, interactive visualisation, argumentation and model separation to support development of multi-scale models that represent biologically plausible cells arranged in biologically plausible structures that model cell behaviour, interactions and response to therapeutic interventions.

[1]  D. Lauffenburger,et al.  Input–output behavior of ErbB signaling pathways as revealed by a mass action model trained against dynamic data , 2009, Molecular systems biology.

[2]  J. Bartlett,et al.  Predictive markers in breast cancer – the future , 2007, Histopathology.

[3]  James L. Bown,et al.  Changing the View: Towards the Theory of Visualisation Comprehension , 2009, 2009 13th International Conference Information Visualisation.

[4]  Jason A. Papin,et al.  Reconstruction of cellular signalling networks and analysis of their properties , 2005, Nature Reviews Molecular Cell Biology.

[5]  Jörg Stelling,et al.  Systems interface biology , 2006, Journal of The Royal Society Interface.

[6]  Susan Stepney,et al.  Reflections on the Simulation of Complex Systems for Science , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[7]  P. Sorger,et al.  Systems biology and combination therapy in the quest for clinical efficacy , 2006, Nature chemical biology.

[8]  Alexey Lastovetsky The mpC Programming Language Specification , 1994 .

[9]  Adam T. Sampson,et al.  Object Store Based Simulation Interworking , 2011, CPA.

[10]  Adam T. Sampson,et al.  A Transactional Architecture for Simulation , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.

[11]  G. Box Robustness in the Strategy of Scientific Model Building. , 1979 .

[12]  Kristin A. Cook,et al.  Illuminating the Path: The Research and Development Agenda for Visual Analytics , 2005 .

[13]  Albert-László Barabási,et al.  Controllability of complex networks , 2011, Nature.

[14]  Pat Hanrahan,et al.  Interactive visualization of large graphs and networks , 2000 .

[15]  Borivoj Vojtesek,et al.  A novel ataxia-telangiectasia mutated autoregulatory feedback mechanism in murine embryonic stem cells , 2009, Journal of The Royal Society Interface.

[16]  Ido Amit,et al.  Evolvable signaling networks of receptor tyrosine kinases: relevance of robustness to malignancy and to cancer therapy , 2007, Molecular systems biology.

[17]  Susan Stepney,et al.  The CoSMoS Process, Version 0.1: A Process for the Modelling and Simulation of Complex Systems , 2010 .

[18]  N. Kemeny,et al.  Metastatic Colorectal Cancer: From Improved Survival to Potential Cure , 2010, Oncology.

[19]  William Playfair,et al.  The commercial and political atlas , 1976 .

[20]  Zhike Zi,et al.  SBML-SAT: a systems biology markup language (SBML) based sensitivity analysis tool , 2008, BMC Bioinformatics.

[21]  D. Hanahan,et al.  Hallmarks of Cancer: The Next Generation , 2011, Cell.

[22]  V. Grantcharova,et al.  Therapeutically Targeting ErbB3: A Key Node in Ligand-Induced Activation of the ErbB Receptor–PI3K Axis , 2009, Science Signaling.

[23]  Koichi Yamazaki,et al.  Combined Survival Analysis of Prospective Clinical Trials of Gefitinib for Non–Small Cell Lung Cancer with EGFR Mutations , 2009, Clinical Cancer Research.

[24]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[25]  Igor Goryanin,et al.  Systems biology reveals new strategies for personalizing cancer medicine and confirms the role of PTEN in resistance to trastuzumab. , 2009, Cancer research.

[26]  S. Perez,et al.  Combinatorial treatments including vaccines, chemotherapy and monoclonal antibodies for cancer therapy , 2009, Cancer Immunology, Immunotherapy.

[27]  Alex Rapaport,et al.  Mpi-2: extensions to the message-passing interface , 1997 .

[28]  Martin Vingron,et al.  A systems biological approach suggests that transcriptional feedback regulation by dual‐specificity phosphatase 6 shapes extracellular signal‐related kinase activity in RAS‐transformed fibroblasts , 2009, The FEBS journal.

[29]  Susan Stepney,et al.  Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems , 2008, ALIFE.

[30]  Susan Stepney,et al.  Complex Systems Models - Engineering Simulations , 2008, ALIFE.

[31]  M. Stratton Exploring the Genomes of Cancer Cells: Progress and Promise , 2011, Science.

[32]  A. Goldhirsch,et al.  Lessons on responsiveness to adjuvant systemic therapies learned from the neoadjuvant setting. , 2009, Breast.

[33]  S. Isakoff,et al.  Triple-Negative Breast Cancer: Role of Specific Chemotherapy Agents , 2010, Cancer journal.

[34]  B. Kholodenko Cell-signalling dynamics in time and space , 2006, Nature Reviews Molecular Cell Biology.

[35]  Gabriel Catalin Balan,et al.  MASON: A JAVA MULTI-AGENT SIMULATION LIBRARY , 2009 .

[36]  Tim Kelly,et al.  Engineering Safety-Critical Complex Systems , 2008 .

[37]  Gennady L. Andrienko,et al.  Exploratory analysis of spatial and temporal data - a systematic approach , 2005 .

[38]  Ignacio Ramis-Conde,et al.  Multi-scale modelling of cancer cell intravasation: the role of cadherins in metastasis , 2009, Physical biology.

[39]  Igor Goryanin,et al.  Compensatory effects in the PI3K/PTEN/AKT signaling network following receptor tyrosine kinase inhibition. , 2011, Cellular signalling.

[40]  Hiroaki Kitano,et al.  The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..

[41]  Pamela K. Kreeger,et al.  Cancer systems biology: a network modeling perspective , 2009, Carcinogenesis.

[42]  S. Stepney,et al.  Towards an Executable Model of Auxin Transport Canalisation , 2008 .

[43]  Joe L. Armstrong The development of Erlang , 1997, ICFP '97.

[44]  Peter H. Welch Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008 , 2008 .

[45]  Tim Kelly,et al.  Arguing Safety - A Systematic Approach to Managing Safety Cases , 1998 .

[46]  A. Citri,et al.  EGF–ERBB signalling: towards the systems level , 2006, Nature Reviews Molecular Cell Biology.

[47]  Adam T. Sampson,et al.  Multicore scheduling for lightweight communicating processes , 2009, Sci. Comput. Program..

[48]  Michael Farrugia,et al.  Effective Temporal Graph Layout: A Comparative Study of Animation versus Static Display Methods , 2011, Inf. Vis..

[49]  Susan Stepney,et al.  Using the CoSMoS Process to Enhance an Executable Model of Auxin Transport Canalisation , 2010 .

[50]  Jie Zhou,et al.  Autophagy in cancer associated fibroblasts promotes tumor cell survival , 2010, Cell cycle.

[51]  Adam T. Sampson,et al.  The engineering of concurrent simulations of complex systems , 2009, 2009 IEEE Congress on Evolutionary Computation.

[52]  D. Hanahan,et al.  The Hallmarks of Cancer , 2000, Cell.

[53]  Neil M.J. Crout,et al.  Semi-automatic reduction and upscaling of large models: A farm management example , 2010 .

[54]  Frederick R. M. Barnes,et al.  Blocking System Calls in KRoC/Linux , 2000 .

[55]  Luca Cardelli,et al.  Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus , 2007, CMSB.

[56]  Eberhard O Voit,et al.  Models-of-data and models-of-processes in the post-genomic era. , 2002, Mathematical biosciences.

[57]  Simon L. Peyton Jones,et al.  Extending the Haskell foreign function interface with concurrency , 2004, Haskell '04.

[58]  F. Polack,et al.  Equivalence Arguments for Complex Systems Simulations – A Case-Study , 2009 .

[59]  Yousef Jamali,et al.  A Sub-Cellular Viscoelastic Model for Cell Population Mechanics , 2010, PloS one.

[60]  M. Bissell,et al.  Of extracellular matrix, scaffolds, and signaling: tissue architecture regulates development, homeostasis, and cancer. , 2006, Annual review of cell and developmental biology.

[61]  Jack P. C. Kleijnen,et al.  EUROPEAN JOURNAL OF OPERATIONAL , 1992 .

[62]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[63]  Adam T. Sampson,et al.  Birds on the wall: Distributing a process-oriented simulation , 2009, 2009 IEEE Congress on Evolutionary Computation.

[64]  Luca Cardelli,et al.  Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics , 2009, BMC Systems Biology.

[65]  Yongliang Yang,et al.  Target discovery from data mining approaches. , 2009, Drug discovery today.

[66]  H. Kitano Systems Biology: A Brief Overview , 2002, Science.

[67]  F. Errington,et al.  The immune system--is it relevant to cancer development, progression and treatment? , 2008, Clinical oncology (Royal College of Radiologists (Great Britain)).

[68]  J. Bown,et al.  Towards a general theory of biodiversity , 2001, Nature.

[69]  Sarala M. Wimalaratne,et al.  The Systems Biology Graphical Notation , 2009, Nature Biotechnology.

[70]  Jonathan Timmis,et al.  Modelling and simulation of granuloma formation in visceral leishmaniasis , 2009, 2009 IEEE Congress on Evolutionary Computation.

[71]  Jeff Lucas Safety Case Experiences from Harrier , 2008, SSS.

[72]  Jörg Roth Patterns of Mobile Interaction , 2002, Personal and Ubiquitous Computing.

[73]  James Bown,et al.  Argument-Driven Validation of Computer Simulations - A Necessity, Rather than an Option , 2010, 2010 Second International Conference on Advances in System Testing and Validation Lifecycle.

[74]  Steve Pettifer,et al.  Arcadia: a visualization tool for metabolic pathways , 2010, Bioinform..

[75]  Susan Stepney,et al.  Simulation validation: exploring the suitability of a simulation of cell division and differentiation in the prostate , 2011 .

[76]  Tiina Roose,et al.  Multiscale modeling of lymphatic drainage from tissues using homogenization theory. , 2012, Journal of biomechanics.

[77]  Vikas Misra,et al.  An "Omics" based survey of human colon cancer. , 2010, Mutation research.

[78]  K. H. Lee,et al.  The statistical mechanics of complex signaling networks: nerve growth factor signaling , 2004, Physical biology.

[79]  James Gettys,et al.  Network performance effects of HTTP/1.1, CSS1, and PNG , 1997, SIGCOMM '97.

[80]  Woo Ick Yang,et al.  A randomized phase 2 study of docetaxel and S‐1 versus docetaxel and cisplatin in advanced gastric cancer with an evaluation of SPARC expression for personalized therapy , 2011, Cancer.

[81]  William Knight,et al.  Using visual texture for information display , 1995, TOGS.

[82]  P. Pelicci,et al.  Biological and Molecular Heterogeneity of Breast Cancers Correlates with Their Cancer Stem Cell Content , 2010, Cell.

[83]  Colin Ware,et al.  Information Visualization: Perception for Design , 2000 .

[84]  Boris N. Kholodenko,et al.  Signalling ballet in space and time , 2010, Nature Reviews Molecular Cell Biology.

[85]  Birgit Schoeberl,et al.  An ErbB3 antibody, MM-121, is active in cancers with ligand-dependent activation. , 2010, Cancer research.

[86]  Peter H. Welch,et al.  Process Oriented Design for Java: Concurrency for All , 2002, International Conference on Computational Science.

[87]  David R. Gilbert,et al.  Computational methodologies for modelling, analysis and simulation of signalling networks , 2006, Briefings Bioinform..

[88]  L. Migliore,et al.  Mutation Research / Fundamental and Molecular Mechanisms of Mutagenesis , 2014 .

[89]  Jonathan W. Pillow,et al.  POSTER PRESENTATION Open Access , 2013 .

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

[91]  R. Albert,et al.  The large-scale organization of metabolic networks , 2000, Nature.

[92]  Paul S. Andrews,et al.  A Domain Model of Experimental Autoimmune Encephalomyelitis , 2009 .

[93]  Adam T. Sampson,et al.  The best of most worlds: shared objects for multilingual simulation , 2010, POOSC '10.

[94]  Mariya Ptashnyk,et al.  Derivation of a Macroscopic Model for Transport of Strongly Sorbed Solutes in the Soil Using Homogenization Theory , 2010, SIAM J. Appl. Math..

[95]  John F Smyth,et al.  Hormone therapy for epithelial ovarian cancer , 2008, Current opinion in oncology.