Edinburgh Research Explorer

The Bio-PEPA Tool Suite

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationQuantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages309-310
Number of pages2
ISBN (Print)978-0-7695-3808-2
DOIs
Publication statusPublished - 2009

Abstract

Bio-PEPA is a timed process algebra designed specifically for the description of biological phenomena and their analysis through quantitative methods such as stochastic simulation and probabilistic model-checking. Two software tools are available for modelling with Bio-PEPA, the Bio-PEPA Workbench and the Bio-PEPA Eclipse Plugin. The Bio-PEPA Workbench is the research prototype tool which allows us to try out new language features and new types of analysis through rapid prototyping. The Bio-PEPA Eclipse Plugin is a polished modelling environment which targets end-users who wish to do Bio-PEPA modelling supported by a comprehensive integrated development environment. Both modelling tools allow the user to analyse their model both in the discrete stochastic regime and in the sure continuous regime while maintaining only a single source in the Bio-PEPA language.

Download statistics

No data available

ID: 2066309