Integrated Analysis from Abstract Stochastic Process Algebra Models
Bio-PEPA is a novel stochastic process algebra which has been recently
developed for modelling biological pathways. In Bio-PEPA a reagent-centric
style of modelling is adopted, and a variety of different analysis techniques
can be applied to a single model expression. Such an approach facilitates
easy validation of analysis results when the analyses address the same issues
and enhanced insight when the analyses are complementary.
Currently supported analysis techniques include stochastic simulation at the
molecular level, ordinary differential equations, probabilistic model checking
and numerical analysis of a continuous time Markov chain using PRISM.
This talk will introduce the Bio-PEPA formalism and discuss the mapping
to the different analysis techniques.