The Bio-PEPA Tool Suite

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

doi:10.1109/QEST.2009.27

The Bio-PEPA Tool Suite

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

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the
Publisher	Institute of Electrical and Electronics Engineers
Pages	309-310
Number of pages	2
ISBN (Print)	978-0-7695-3808-2
DOIs	https://doi.org/10.1109/QEST.2009.27
Publication status	Published - 2009

Access to Document

10.1109/QEST.2009.27

ciocchettaEtAl09_biopepa_tools(QEST09)Accepted author manuscript, 180 KB

http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5290668

Cite this

@inproceedings{f37c2988a5f241e1a36ea331486b1c9e,

title = "The Bio-PEPA Tool Suite",

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.",

author = "Federica Ciocchetta and Adam Duguid and Stephen Gilmore and Guerriero, \{Maria Luisa\} and Jane Hillston",

year = "2009",

doi = "10.1109/QEST.2009.27",

language = "English",

isbn = "978-0-7695-3808-2",

pages = "309--310",

booktitle = "Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

TY - GEN

T1 - The Bio-PEPA Tool Suite

AU - Ciocchetta, Federica

AU - Duguid, Adam

AU - Gilmore, Stephen

AU - Guerriero, Maria Luisa

AU - Hillston, Jane

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/74049092326

U2 - 10.1109/QEST.2009.27

DO - 10.1109/QEST.2009.27

M3 - Conference contribution

SN - 978-0-7695-3808-2

SP - 309

EP - 310

BT - Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the

PB - Institute of Electrical and Electronics Engineers

ER -

The Bio-PEPA Tool Suite

Abstract

Access to Document

Other files and links

Fingerprint

SIGNAL: SIGNAL -Stochastic process algebra for biochemical signaling pathway analysis

SynthSys; formerly CSBE: Centre for Systems Biology at Edinburgh

CODA: Process Algebra Approaches to Collective Dynamics.

Cite this

The Bio-PEPA Tool Suite

Abstract

Access to Document

Other files and links

Fingerprint

Projects

SIGNAL: SIGNAL -Stochastic process algebra for biochemical signaling pathway analysis

SynthSys; formerly CSBE: Centre for Systems Biology at Edinburgh

CODA: Process Algebra Approaches to Collective Dynamics.

Cite this