Projects per year
Abstract / Description of output
This paper surveys the design of software tools for the Bio-PEPA process algebra. Bio-PEPA is a high-level language for modelling biological systems such as metabolic pathways and other biochemical reaction networks. Through providing tools for this modelling language we hope to allow easier use of a range of simulators and model-checkers thereby freeing the modeller from the responsibility of developing a custom simulator for the problem of interest. Further, by providing mappings to a range of different analysis tools the Bio-PEPA language allows modellers to compare analysis results which have been computed using independent numerical analysers, which enhances the reliability and robustness of the results computed.
Original language | English |
---|---|
Title of host publication | Proceedings of the Winter Simulation Conference 2009 |
Publisher | ACM |
Pages | 956-967 |
Number of pages | 12 |
ISBN (Electronic) | 978-1-4244-5771-7 |
ISBN (Print) | 978-1-4244-5770-0 |
DOIs | |
Publication status | Published - 2009 |
Fingerprint
Dive into the research topics of 'Design and Development of Software Tools for Bio-PEPA'. Together they form a unique fingerprint.Projects
- 2 Finished
-
SIGNAL: SIGNAL -Stochastic process algebra for biochemical signaling pathway analysis
1/09/07 → 31/01/11
Project: Research
-
SynthSys; formerly CSBE: Centre for Systems Biology at Edinburgh
Millar, A., Beggs, J., Ghazal, P., Goryanin, I., Hillston, J., Plotkin, G., Tollervey, D., Walton, A. & Robertson, K.
8/01/07 → 31/12/12
Project: Research