Integrated Analysis from Abstract Stochastic Process Algebra Models
11th November 2008 (week 5, Michaelmas Term 2008)
Lecture Theatre B
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.
supported analysis techniques include stochastic simulation at the
level, ordinary differential equations, probabilistic model checking
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.