Bio-PEPA: A framework for the modelling and analysis of biological systems |
| |
Authors: | Federica Ciocchetta Jane Hillston |
| |
Affiliation: | 1. Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh EH8 9AB, Scotland, United Kingdom |
| |
Abstract: | In this work we present Bio-PEPA, a process algebra for the modelling and the analysis of biochemical networks. It is a modification of PEPA, originally defined for the performance analysis of computer systems, in order to handle some features of biological models, such as stoichiometry and the use of general kinetic laws. Bio-PEPA may be seen as an intermediate, formal, compositional representation of biological systems, on which different kinds of analyses can be carried out. Bio-PEPA is enriched with some notions of equivalence. Specifically, the isomorphism and strong bisimulation for PEPA have been considered and extended to our language. Finally, we show the translation of a biological model into the new language and we report some analysis results. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|