Computational Modeling, Formal Analysis, and Tools for Systems Biology.
As the amount of biological data in the public domain grows, so does the range of modeling and analysis techniques employed in systems biology. In recent years, a number of theoretical computer science developments have enabled modeling methodology to keep pace. The growing interest in systems biolo...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Public Library of Science (PLoS)
2016-01-01
|
Series: | PLoS Computational Biology |
Online Access: | http://europepmc.org/articles/PMC4721667?pdf=render |
id |
doaj-0beafef52f4947929b0b211ee8de5e64 |
---|---|
record_format |
Article |
spelling |
doaj-0beafef52f4947929b0b211ee8de5e642020-11-25T01:11:55ZengPublic Library of Science (PLoS)PLoS Computational Biology1553-734X1553-73582016-01-01121e100459110.1371/journal.pcbi.1004591Computational Modeling, Formal Analysis, and Tools for Systems Biology.Ezio BartocciPietro LióAs the amount of biological data in the public domain grows, so does the range of modeling and analysis techniques employed in systems biology. In recent years, a number of theoretical computer science developments have enabled modeling methodology to keep pace. The growing interest in systems biology in executable models and their analysis has necessitated the borrowing of terms and methods from computer science, such as formal analysis, model checking, static analysis, and runtime verification. Here, we discuss the most important and exciting computational methods and tools currently available to systems biologists. We believe that a deeper understanding of the concepts and theory highlighted in this review will produce better software practice, improved investigation of complex biological processes, and even new ideas and better feedback into computer science.http://europepmc.org/articles/PMC4721667?pdf=render |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Ezio Bartocci Pietro Lió |
spellingShingle |
Ezio Bartocci Pietro Lió Computational Modeling, Formal Analysis, and Tools for Systems Biology. PLoS Computational Biology |
author_facet |
Ezio Bartocci Pietro Lió |
author_sort |
Ezio Bartocci |
title |
Computational Modeling, Formal Analysis, and Tools for Systems Biology. |
title_short |
Computational Modeling, Formal Analysis, and Tools for Systems Biology. |
title_full |
Computational Modeling, Formal Analysis, and Tools for Systems Biology. |
title_fullStr |
Computational Modeling, Formal Analysis, and Tools for Systems Biology. |
title_full_unstemmed |
Computational Modeling, Formal Analysis, and Tools for Systems Biology. |
title_sort |
computational modeling, formal analysis, and tools for systems biology. |
publisher |
Public Library of Science (PLoS) |
series |
PLoS Computational Biology |
issn |
1553-734X 1553-7358 |
publishDate |
2016-01-01 |
description |
As the amount of biological data in the public domain grows, so does the range of modeling and analysis techniques employed in systems biology. In recent years, a number of theoretical computer science developments have enabled modeling methodology to keep pace. The growing interest in systems biology in executable models and their analysis has necessitated the borrowing of terms and methods from computer science, such as formal analysis, model checking, static analysis, and runtime verification. Here, we discuss the most important and exciting computational methods and tools currently available to systems biologists. We believe that a deeper understanding of the concepts and theory highlighted in this review will produce better software practice, improved investigation of complex biological processes, and even new ideas and better feedback into computer science. |
url |
http://europepmc.org/articles/PMC4721667?pdf=render |
work_keys_str_mv |
AT eziobartocci computationalmodelingformalanalysisandtoolsforsystemsbiology AT pietrolio computationalmodelingformalanalysisandtoolsforsystemsbiology |
_version_ |
1725168884562001920 |