Static Analysis of a Model of the LDL Degradation Pathway

Simulation and Verification of Dynamic Systems

计算机科学;物理学

Henrik Pilegaard ; Flemming Nielson ; Hanne Riis Nielson

Others  :  http://drops.dagstuhl.de/opus/volltexte/2006/723/pdf/06161.PilegaardHenrik.Paper.723.pdf
PID  :  6546

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

BioAmbientsisaderivativeofmobileambientsthathas shown promise of describing interesting features of the behaviour of biologicalsystems. As for other ambient calculi static program analysiscan be used to compute safe approximations of the behaviour of system models. We use these tools to model and analyse the production of cholesterol in living cells and show that we are able to pinpoint thedifference in behaviour between models of healthy systems and models of mutated systems giving rise to known diseases.