The executable pathway to biological networks

作者: J. Fisher , N. Piterman

DOI: 10.1093/BFGP/ELP054

关键词: Function (engineering)BiologySoftwareField (computer science)ExecutableMolecular functionBioinformaticsBiological networkData science

摘要: As time goes by, it becomes more and apparent that the puzzles of life involve molecular pieces fit together in increasingly complex ways. Genomics Proteomics technologies nowadays, produce reliable quantitative data could potentially reveal all a particular puzzle. However, this is akin to opening Pandora’s box; we are now facing problem integrating vast amount with its incredible complexity into some coherent whole. With aid engineering methods designed build analyze computerized man-made systems, new emerging field called ‘Executable Biology’ aims create computer programmes put ways allows capturing their dynamicity ultimately elucidating how function generates cellular function. This review aspires highlight main features characterizing these kinds executable models what makes them uniquely qualified reason about biological networks.

参考文章(52)
Maria Luisa Guerriero, John K. Heath, Corrado Priami, An automated translation from a narrative language for biological modelling into process algebra computational methods in systems biology. pp. 136- 151 ,(2007) , 10.1007/978-3-540-75140-3_10
Lorenzo Dematté, Corrado Priami, Alessandro Romanel, The BlenX Language: A Tutorial Formal Methods for Computational Systems Biology. pp. 313- 365 ,(2008) , 10.1007/978-3-540-68894-5_9
Luca Cardelli, From Processes to ODEs by Chemistry IFIP TCS. pp. 261- 281 ,(2008) , 10.1007/978-0-387-09680-3_18
Rajeev Alur, Calin Belta, Franjo Ivančić, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, Jonathan Schug, Hybrid Modeling and Simulation of Biomolecular Networks acm international conference hybrid systems computation and control. pp. 19- 32 ,(2001) , 10.1007/3-540-45351-2_6
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo, Giovanni Pardini, The Calculus of Looping Sequences Formal Methods for Computational Systems Biology. pp. 387- 423 ,(2008) , 10.1007/978-3-540-68894-5_11
Vincent Danos, Cosimo Laneve, Graphs for Core Molecular Biology Computational Methods in Systems Biology. pp. 34- 46 ,(2003) , 10.1007/3-540-36481-1_4
Carolyn Talcott, David L. Dill, Multiple representations of biological processes Transactions on Computational Systems Biology VI. ,vol. 6, pp. 221- 245 ,(2006) , 10.1007/11880646_10
Marc A Schaub, Thomas A Henzinger, Jasmin Fisher, Qualitative networks: a symbolic approach to analyze biological signaling networks BMC Systems Biology. ,vol. 1, pp. 4- 4 ,(2007) , 10.1186/1752-0509-1-4
David L. Dill, Merrill A. Knapp, Pamela Gage, Carolyn Talcott, Keith Laderoute, Patrick Lincoln, The pathalyzer: a tool for analysis of signal transduction pathways research in computational molecular biology. pp. 11- 22 ,(2005) , 10.1007/978-3-540-48540-7_2
Ronojoy Ghosh, Claire J. Tomlin, Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model acm international conference hybrid systems computation and control. pp. 232- 246 ,(2001) , 10.1007/3-540-45351-2_21