What is the BMA?

Bio Model Analyzer is a new biological modelling tool that illustrates signalling pathways and determines cellular stabilization. The tool represents a merging of perspectives from systems biology, formal methods, human computer interaction and design. At one level, Bio Model Analyzer is a sketching tool that enables users to draw out a biological system of interest (e.g. a genetic regulatory network) by dragging and dropping cells, their contents (DNA, proteins, etc.), extracellular components and relationships onto a simple canvas.

At another level, Bio Model Analyzer’s analysis proves stabilization of biological systems, based upon formal methods that were developed for the specification and verification of properties in concurrent software systems. We hope you enjoy using Bio Model Analyzer and welcome your feedback.

Maintenance, development and design of the Bio Model Analyzer is funded by the Royal Society and the MRC. The Bio Model Analyzer was originally developed and supported by Microsoft Research.

Tutorial PDF Example Library F.A.Q. Privacy Policy Recent Updates
Modelling Biological Networks with the Bio Model Analyzer
Introduction to Bio Model Analyzer
Live Bio Model Analyzer demonstration
Bio Model Analyzer demonstration
Launch Tool
Example Library and References
Toy Example 1 (stabilising)
[Download JSON]
Load model in tool
Toy Example 2 (non stabilising)
[Download JSON]
Load model in tool
Cancer Signalling Tutorial
[Download JSON]
Load model in tool
Metabolism Network Tutorial
[Download JSON]
Load model in tool
Cell fate determination during C. elegans vulval development
[Download JSON] Reference paper [Go to publication]
Load model in tool
Mammalian Epidermis
[Download JSON] Reference paper [Go to publication]
Load model in tool
Understanding leukaemia
[Download JSON] Reference paper [Go to publication]
Load model in tool
Peter Kreuzaler, Matthew A. Clarke, Elizabeth J. Brown, Catherine H. Wilson, Roderik M. Kortlever, Nir Piterman, Trevor Littlewood, Gerard I. Evan, and Jasmin Fisher PNAS 2019, DOI 10.1073/pnas.1903485116
David Shorthouse, Angela Riedel, Emma Kerr, Luisa Pedro, Dóra Bihary, Shamith Samarajiwa, Carla P. Martins, Jacqueline Shields, Benjamin A. Hall Nature Communications volume 9, Article number: 3011 (2018), DOI:10.1038/s41467-018-05414-y
Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall and Jasmin Fisher In Automated Reasoning for Systems Biology and Medicine 2018
View More
Open source development of the BioModelAnalyzer has been supported by the following grants.

Award Funder Years PI
Azure for ResearchMicrosoft2017-2018Ben Hall
Royal Society Enhancement Award (RGF\EA\180224)Royal Society2017-2022Ben Hall
MRC Cancer Unit Core FundingMedical Research Council2017-2022Ben Hall
New investigator research grant (MR/S000216/1)Medical Research Council2018-2022Ben Hall

Jasmin Fisher
Computational Biology UCL Cancer Institute
Nir Piterman
Verification and Automated Reasoning University of Gothenburg
Ben Hall
Systems Biology UCL
Alex Taylor
Socio-Digital Systems University of London
Sergey Berezin
Architecture and programming Moscow State University
Nikita Skoblov
Architecture and programming Moscow State University
Nicole Kapitza
Design Kapitza Studio
Frequently Asked Questions
How do I open Bio Model Analyzer?
How do I drag and drop elements onto the canvas?
How do I zoom and scroll around the canvas?
How do I name and give ranges to variables?
What are some basic target functions?
How do I use advanced target functions?
What happens with variables with different ranges?
How do I save my work to the model library?
How do I export and import XML files?
How do I move between models in my library?
Bio Model Analyzer freezes while I’m working;
how do I stop this?
Is this just a nice drawing tool?
What kind of analysis does Bio Model Analyzer do?
Why are there only one variable and one constant icon?
How am I to represent the many different kinds of biological elements?
Contact Us
Open Source

The BioModelAnalyzer is an open source project, available under the MIT license. In addition to the web interface, command line tools are available that offer new analyses not currently available through the GUI.

View Source Get Standalone
Byron Cook - University College London
Samin Ishtiaq - Microsoft Research
Scarlet Schwiderski-Grosche - Microsoft Research
David Benque - Protoplot
Inna Zelenina - Moscow State University
Svetlana Kostyukova - Moscow State University
Dmitry Kats - Moscow State University
Dmitry Voytsekhovskiy - Moscow State University