Pathway analysis for BioAmbients

详细信息    查看全文

• 作者：Henrik Pilegaard ; Flemming Nielson ; Hanne Riis Nielson
• 关键词：Static analysis ; Pathway analysis ; Flow logic ; Monotone frameworks ; Control flow analysis ; Data flow analysis ; Process calculus ; BioAmbients ; Systems Biology ; LDL degradation pathway
• 刊名：Journal of Logic and Algebraic Programming
• 出版年：2008
• 出版时间：September-October 2008
• 年：2008
• 卷：77
• 期：1-2
• 页码：92-130
• 全文大小：1936 K

文摘

Systems Biology aims for a holistic understanding of biological processes. In order to make this understanding operational and testable it can be recorded into formal process calculus models. This is a difficult task, however, because such formal models and their, often infinitely many, consequences are hard to enumerate and understand. In this paper we define a pathway analysis, based on static analysis techniques from programming languages, and show how it can be used to establish useful, finite, approximations to the set of causal consequences of models. The Pathway Analysis can be used to great advantage in all phases of the modelling approach – serving as the basis of debugging during model development, postdiction during model validation, and, finally, prediction during model guided drug design.