Modelling with ANIMO: between fuzzy logic and differential equations

BackgroundComputational support is essential in order to reason on the dynamics of biological systems. We have developed the software tool ANIMO (Analysis of Networks with Interactive MOdeling) to provide such computational support and allow insight into the complex networks of signaling events occurring in living cells. ANIMO makes use of timed automata as an underlying model, thereby enabling analysis techniques from computer science like model checking. Biology experts are able to use ANIMO via a user interface specifically tailored for biological applications. In this paper we compare the use of ANIMO with some established formalisms on two case studies.ResultsANIMO is a powerful and user-friendly tool that can compete with existing continuous and discrete paradigms. We show this by presenting ANIMO models for two case studies: Drosophila melanogaster circadian clock, and signal transduction events downstream of TNF α and EGF in HT-29 human colon carcinoma cells. The models were originally developed with ODEs and fuzzy logic, respectively.ConclusionsTwo biological case studies that have been modeled with respectively ODE and fuzzy logic models can be conveniently modeled using ANIMO. The ANIMO models require less parameters than ODEs and are more precise than fuzzy logic. For this reason we position the modelling paradigm of ANIMO between ODEs and fuzzy logic.

[1]  D. Lauffenburger,et al.  The Response of Human Epithelial Cells to TNF Involves an Inducible Autocrine Cascade , 2006, Cell.

[2]  D. Lauffenburger,et al.  A Compendium of Signals and Responses Triggered by Prodeath and Prosurvival Cytokines*S , 2005, Molecular & Cellular Proteomics.

[3]  Clifford A. Shaffer,et al.  Multistate Model Builder (MSMB): a flexible editor for compact biochemical models , 2014, BMC Systems Biology.

[4]  Melanie I. Stefan,et al.  Molecules for memory: modelling CaMKII , 2007, BMC Systems Biology.

[5]  Lubos Brim,et al.  On algorithmic analysis of transcriptional regulation by LTL model checking , 2009, Theor. Comput. Sci..

[6]  Jaco van de Pol,et al.  Setting Parameters for Biological Models With ANIMO , 2014, SynCoP.

[7]  L. Brim,et al.  Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization , 2013, CS2Bio.

[8]  Miguel Rocha,et al.  Modeling formalisms in Systems Biology , 2011, AMB Express.

[9]  T. Henzinger,et al.  Executable cell biology , 2007, Nature Biotechnology.

[10]  Lubos Brim,et al.  Computational Analysis of Large-Scale Multi-affine ODE Models , 2009, 2009 International Workshop on High Performance Computational Systems Biology.

[11]  G. Johnson,et al.  Direct Interaction between Ras and the Kinase Domain of Mitogen-activated Protein Kinase Kinase Kinase (MEKK1) (*) , 1995, The Journal of Biological Chemistry.

[12]  D. Lauffenburger,et al.  A Systems Model of Signaling Identifies a Molecular Basis Set for Cytokine-Induced Apoptosis , 2005, Science.

[13]  Oded Maler,et al.  On Timed Models of Gene Networks , 2007, FORMATS.

[14]  Sven Sahle,et al.  Computational modeling of biochemical networks using COPASI. , 2009, Methods in molecular biology.

[15]  Giovanni De Micheli,et al.  Dynamic simulation of regulatory networks using SQUAD , 2007, BMC Bioinformatics.

[16]  C A van Blitterswijk,et al.  Gene expression profiling of dedifferentiated human articular chondrocytes in monolayer culture. , 2013, Osteoarthritis and cartilage.

[17]  Hidde de Jong,et al.  Genetic Network Analyzer: qualitative simulation of genetic regulatory networks , 2003, Bioinform..

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

[19]  Julio Saez-Rodriguez,et al.  CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms , 2012, BMC Systems Biology.

[20]  J. Kornhauser,et al.  PhosphoSite: A bioinformatics resource dedicated to physiological protein phosphorylation , 2004, Proteomics.

[21]  Sebastian Kadener,et al.  Mathematical model of the Drosophila circadian clock: loop regulation and transcriptional integration. , 2009, Biophysical journal.

[22]  Steffen Klamt,et al.  SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools , 2013, BMC Systems Biology.

[23]  D. Resasco,et al.  Virtual Cell: computational tools for modeling in cell biology , 2012, Wiley interdisciplinary reviews. Systems biology and medicine.

[24]  C. Daub,et al.  BMC Systems Biology , 2007 .

[25]  Jaco van de Pol,et al.  Modelling biological pathway dynamics with Timed Automata , 2012, 2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE).

[26]  Hidde de Jong,et al.  Qualitative Simulation of Genetic Regulatory Networks: Method and Application , 2001, IJCAI.

[27]  Ezio Bartocci,et al.  Model Checking Biological Oscillators , 2009, FBTC@ICALP.

[28]  M. Karin,et al.  JNK1: A protein kinase stimulated by UV light and Ha-Ras that binds and phosphorylates the c-Jun activation domain , 1994, Cell.

[29]  Adam Duguid,et al.  The Bio-PEPA Tool Suite , 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

[30]  Masao Nagasaki,et al.  Cell Illustrator 4.0: A Computational Platform for Systems Biology , 2010, Silico Biol..

[31]  Fabian J. Theis,et al.  Odefy -- From discrete to continuous models , 2010, BMC Bioinformatics.

[32]  Radu Mateescu,et al.  Temporal logic patterns for querying dynamic models of cellular interaction networks , 2008, ECCB.

[33]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[34]  Julio Saez-Rodriguez,et al.  Cyrface: An interface from Cytoscape to R that provides a user interface to R packages , 2013, F1000Research.

[35]  Edda Klipp,et al.  BooleSim: an interactive Boolean network simulator , 2014, Bioinform..

[36]  Samik Ghosh,et al.  Modeling and simulation using CellDesigner. , 2014, Methods in molecular biology.

[37]  Eva Balsa-Canto,et al.  Global dynamic optimization approach to predict activation in metabolic pathways , 2014, BMC Systems Biology.

[38]  John Boyle,et al.  Cytoscape: a community-based framework for network modeling. , 2009, Methods in molecular biology.

[39]  J. Post,et al.  An echo in biology: Validating the executable chondrocyte , 2014 .

[40]  Lubos Brim,et al.  Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE , 2007, FBTC@CONCUR.

[41]  M. Elowitz,et al.  A synthetic oscillatory network of transcriptional regulators , 2000, Nature.

[42]  A. Hofman,et al.  Gremlin 1, frizzled-related protein, and Dkk-1 are key regulators of human articular cartilage homeostasis. , 2012, Arthritis and rheumatism.

[43]  Andrew J. Bannister,et al.  Phosphorylation of the c-Fos and c-Jun HOB1 motif stimulates its activation capacity. , 1994, Nucleic acids research.

[44]  H. Chae,et al.  Characterization of diverse natural variants of CYP102A1 found within a species of Bacillus megaterium , 2011, AMB Express.

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

[46]  R. Davis,et al.  Signal Transduction by the JNK Group of MAP Kinases , 2000, Cell.

[47]  Jaco van de Pol,et al.  Modeling Biological Pathway Dynamics With Timed Automata , 2014, IEEE Journal of Biomedical and Health Informatics.

[48]  Stefano Schivo,et al.  Biological networks 101: computational modeling for molecular biologists. , 2014, Gene.

[49]  Alexander Bockmayr,et al.  Temporal constraints in the logical analysis of regulatory networks , 2008, Theor. Comput. Sci..

[50]  Denis Thieffry,et al.  Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework , 2003, POSTA.

[51]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[52]  M Fay,et al.  The transcription factor AP-1 binds to the human interleukin 1 alpha promoter. , 1996, European cytokine network.