The Bio-PEPA Tool Suite

Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston

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

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

Fingerprint

Dive into the research topics of 'The Bio-PEPA Tool Suite'. Together they form a unique fingerprint.

Cite this