Using probabilistic model checking in systems biology
ACM SIGMETRICS Performance Evaluation Review
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
QEST '09 Proceedings of the 2009 Sixth International Conference on the Quantitative Evaluation of Systems
An automated translation from a narrative language for biological modelling into process algebra
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Process algebras in systems biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Equivalences for a biological process algebra
Theoretical Computer Science
Automatic symmetry detection for model checking using computational group theory
FM'05 Proceedings of the 2005 international conference on Formal Methods
Operational patterns in beta-binders
Transactions on Computational Systems Biology I
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Hi-index | 0.00 |
We present a software tool for the automatic translation of models from the Narrative Language, a semi-formal language for biological modelling, into the Bio-PEPA process algebra. This provides biologists with an easy way to describe systems and at the same time gives them access to the simulation and analysis techniques provided by Bio-PEPA. We present details of the translation algorithm and its integration into existing software, and discuss ways in which this idea could be further explored.