Design and development of software tools for Bio-PEPA

  • Authors:

  • Adam Duguid;Stephen Gilmore;Maria Luisa Guerriero;Jane Hillston;Laurence Loewe

  • Affiliations:

  • The University of Edinburgh, Edinburgh, U. K.;The University of Edinburgh, Edinburgh, U. K.;The University of Edinburgh, Edinburgh, U. K.;The University of Edinburgh, Edinburgh, U. K.;The University of Edinburgh, Edinburgh, U. K.

  • Venue:
  • Winter Simulation Conference
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.