Edinburgh Research Explorer

Hybrid semantics for Bio-PEPA

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://www.sciencedirect.com/science/article/pii/S0890540114000170
Original languageEnglish
Pages (from-to)122 - 145
Number of pages24
JournalInformation and Computation
Volume236
Issue number0
DOIs
Publication statusPublished - Aug 2014

Abstract

This paper investigates the stochastic, continuous and instantaneous (hybrid) modelling of systems defined in Bio-PEPA, a quantitative process algebra for biological modelling. This is achieved by mapping a Bio-PEPA model to a model in stochastic HYPE, a process algebra that models these three behaviour types in a compositional and structured manner. The novel mapping between process algebras provides another method of analysis for Bio-PEPA models and presents the modeller with a well-structured stochastic HYPE model which can itself be easily modified and is only a small constant larger in size than the Bio-PEPA model. The structure of the stochastic HYPE model generated has desirable properties and also gives a general framework for modelling biochemical systems where the advantages of both stochastic and deterministic simulation are required. Thresholds are introduced for each reaction, and when all values are above these thresholds, the reaction is treated deterministically. However, if a relevant value is below a threshold, the reaction is treated stochastically (as are the changes in species quantities as a result of that reaction). It is proved that in the purely deterministic case and in the purely stochastic case, the stochastic HYPE model has the same behaviour as the Bio-PEPA model when considered purely deterministically and purely stochastically, respectively. Furthermore, addition of instantaneous events in the style of Bio-PEPA with events is illustrated, and a proposal for mapping Bio-PEPA with delays (Bio-PEPAd) to stochastic HYPE is presented.

    Research areas

  • Simulation

Download statistics

No data available

ID: 15508861