Integrated Analysis from Abstract Stochastic Process Algebra Models
Jane Hillston
Info
|
Date |
11th November 2008 (week 5, Michaelmas Term 2008) |
|
Time |
16:30 |
|
Place |
Lecture Theatre B |
Abstract
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.
Further info
|
Related series |
|
