Communications of the ACM - Security in the Browser
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
The BlenX language: a tutorial
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
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
We introduce BlenX4Bio, a high-level interface for the programming language BlenX. BlenX4Bio allows biologists to write BlenX programs without having any programming skills. The main elements of a biological model are specified by filling in a number of tables. Such tables include descriptions of both static and dynamic aspects of the biological system at hand and can then be automatically mapped to BlenX programs for simulation and analysis by means of the CoSBi Lab software platform. In this paper we illustrate the main characteristics of BlenX4Bio through examples taken from biology textbooks.