UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Constructing and Analyzing Computational Models of Cell Signaling with BioModelAnalyzer

Hall, BA; Fisher, J; (2020) Constructing and Analyzing Computational Models of Cell Signaling with BioModelAnalyzer. Current Protocols in Bioinformatics , 69 (1) , Article e95. 10.1002/cpbi.95. Green open access

[thumbnail of Fisher_Protocols_Bioinformatics_Accepted_Jan_2020.pdf]
Preview
Text
Fisher_Protocols_Bioinformatics_Accepted_Jan_2020.pdf - Accepted Version

Download (1MB) | Preview

Abstract

BioModelAnalyzer (BMA) is an open-source graphical tool for the development of executable models of protein and gene networks within cells. Based upon the Qualitative Networks formalism, the user can rapidly construct large networks, either manually or by connecting motifs selected from a built-in library. After the appropriate functions for each variable are defined, the user has access to three analysis engines to test the model. In addition to standard simulation tools, BMA includes an interface to the stability-testing algorithm and to a graphical Linear Temporal Logic (LTL) editor and analysis tool. Alongside this, we have developed a novel ChatBot to aid users constructing LTL queries and to explain the interface and run through tutorials. Here we present worked examples of model construction and testing via the interface. As an initial example, we discuss fate decisions in Dictyostelium discoidum and cAMP signaling. We go on to describe the workflow leading to the construction of a published model of the germline of C. elegans. Finally, we demonstrate how to construct simple models from the built-in network motif library. © 2020 by John Wiley & Sons, Inc. Basic Protocol 1: Modeling the signaling network of Dictyostelium discoidum Basic Protocol 2: Modeling the germline progression of Caenorhabditis elegans Basic Protocol 3: Constructing a model of the cell cycle using motifs.

Type: Article
Title: Constructing and Analyzing Computational Models of Cell Signaling with BioModelAnalyzer
Location: United States
Open access status: An open access version is available from UCL Discovery
DOI: 10.1002/cpbi.95
Publisher version: https://doi.org/10.1002/cpbi.95
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
Keywords: Cell signaling, executable models, formal verification, systems biology
UCL classification: UCL
UCL > Provost and Vice Provost Offices > School of Life and Medical Sciences
UCL > Provost and Vice Provost Offices > School of Life and Medical Sciences > Faculty of Medical Sciences
UCL > Provost and Vice Provost Offices > School of Life and Medical Sciences > Faculty of Medical Sciences > Cancer Institute
UCL > Provost and Vice Provost Offices > School of Life and Medical Sciences > Faculty of Medical Sciences > Cancer Institute > Research Department of Pathology
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Med Phys and Biomedical Eng
URI: https://discovery.ucl.ac.uk/id/eprint/10096515
Downloads since deposit
170Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item