University of Leicester
Browse
DOCUMENT
113156_Fisher_ProvisionalPDF.pdf (881.65 kB)
DOCUMENT
fbioe-02-00075.pdf (1.1 MB)
1/0
2 files

Towards synthesizing executable models in biology

journal contribution
posted on 2014-12-10, 16:24 authored by Nir Piterman, Rastislav Bodik, Jasmin Fisher
Over the last decade, executable models of biological behaviors have repeatedly provided new scientific discoveries, uncovered novel insights, and directed new experimental avenues. These models are computer programs whose execution mechanistically simulates aspects of the cell’s behaviors. If the observed behavior of the program agrees with the observed biological behavior, then the program explains the phenomena. This approach has proven beneficial for gaining new biological insights and directing new experimental avenues. One advantage of this approach is that techniques for analysis of computer programs can be applied to the analysis of executable models. For example, one can confirm that a model agrees with experiments for all possible executions of the model (corresponding to all environmental conditions), even if there are a huge number of executions. Various formal methods have been adapted for this context, for example, model checking or symbolic analysis of state spaces. To avoid manual construction of executable models, one can apply synthesis, a method to produce programs automatically from high-level specifications. In the context of biological modelling, synthesis would correspond to extracting executable models from experimental data. We survey recent results about the usage of the techniques underlying synthesis of computer programs for the inference of biological models from experimental data. We describe synthesis of biological models from curated mutation experiment data, inferring network connectivity models from phosphoproteomic data, and synthesis of Boolean networks from gene expression data. While much work has been done on automated analysis of similar datasets using machine learning and artificial intelligence, using synthesis techniques provides new opportunities such as efficient computation of disambiguating experiments, as well as the ability to produce different kinds of models automatically from biological data.

History

Citation

Frontiers in Bioengineering and Biotechnology, 2 (75), doi: 10.3389/fbioe.2014.00075

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Version

  • VoR (Version of Record)

Published in

Frontiers in Bioengineering and Biotechnology

Publisher

Frontiers

eissn

2296-4185

Copyright date

2014

Available date

2014-12-10

Publisher version

http://journal.frontiersin.org/Journal/10.3389/fbioe.2014.00075/abstract

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    No categories selected

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC