Computational Modeling, Formal Analysis, and Tools for Systems Biology.
Computational Modeling, Formal Analysis, and Tools for Systems Biology.
复制标题
DOI：
10.1371/journal.pcbi.1004591
复制
发表时间：
2016-01
影响因子：
4.3
通讯作者：
Lió P
中科院分区：
文献类型：
--
作者：
Bartocci E;Lió P
随着公共领域中生物数据量的增长，系统生物学中采用的建模和分析技术的范围也在增加。近年来，一些理论计算机科学的发展使建模方法学跟上了步伐。系统生物学对可执行模型及其分析的兴趣日益增长，这就需要借用计算机科学中的术语和方法，如形式分析、模型检查、静态分析和运行时验证。在这里，我们讨论了目前系统生物学家可用的最重要和最令人兴奋的计算方法和工具。我们相信，更深入地理解在这篇评论中强调的概念和理论将产生更好的软件实践，改进复杂的生物过程的调查，甚至新的想法和更好的反馈到计算机科学。
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.