Continuous modeling of biomolecular systems based on process calculus

Yang Pu,Xiaoju Dong
2007-01-01
Abstract:Process calculus is a kind of models for concurrent systems. Recent researches in Systems Biology have applied process calculus as the computational model to capture the dynamic behaviors of biomolecular systems. In this paper, we integrate a continuous framework with stochastic π-calculus to model the biomolecular systems. To verify the correctness of this approach, a modified stochastic Pi machine(SPiM) which was previously developed to simulate the systems described by stochastic π-calculus is proposed. From the consistency of the data obtained from the simulation of biomolecular system and the experimental data, it shows that the continuous framework introduced into Stochastic π-calculus is effective in simulating biomolecular systems. ©ISAROB 2007.
What problem does this paper attempt to address?