Releases: hallba/BioModelAnalyzer
v14 Architecture update and reservation
New features
- Additional https://bmafreeapp.azurewebsites.net free-tier version of BMA added to run in parallel
- There is a hosting change as part of this to a prepaid reservation.
- Client can now check which server it is connected to from settings
- Team members update
- Publications update
Bugfixes
- Decimals not handled in formulae inputs, added message
- Fixed popup bug caused by stability analysis error
- Standalone console updated to z3 version 4.11.2 (gui-server already on this)
v13 BMA Console Linux
BioModelAnalyzer
BioModelAnalyzer is a user-friendly tool for constructing biological models and verifying them
This version is a prototype for the multi-platform version specially designed for Linux and HPC parallelisation.
Overview
This project can be build as a standalone solution with msbuild on linux or mac.
In Windows
Open the solution BioCheckConsoleMulti.sln
The executable to run will be built in (release or debug):
BioCheckConsoleMulti/bin/Release/netcoreapp3.1/BioCheckConsoleMulti
Mac/Linux
Instructions on installing the dotnet runtime: https://learn.microsoft.com/en-us/dotnet/core/install/linux-ubuntu
Instructions on installing mono: https://www.mono-project.com/docs/getting-started/install/linux/
Run the prepare script
.\PrepareRepositoryNix.sh
Build the project
msbuild BioCheckConsoleMulti.sln /p:Configuration=Release /p:Platform="x64" /t:Rebuild
Simple Example
An example is to call it from the command line like
./BioCheckConsoleMulti -model ToyModelUnstable.json -engine SCM
Further info on WIKI
Linux BMA Console
BioModelAnalyzer
BioModelAnalyzer is a user-friendly tool for constructing biological models and verifying them
This version is a prototype for the multi-platform version specially designed for Linux and HPC parallelisation.
Overview
This project can be build as a standalone solution with msbuild on linux or mac.
version 1.13
BMA 1.13.0002
This is the first release distributed from the UCL ARC team.
New features
- ServerVersion added to check server version: call it directly from a browser,e.g. Production ServerVersion
- Team members update
Bugfixes
- Fixed reported bug: Division by a variable can cause instability that depends on node ID
version 1.12
BMA 1.12.0011
This release focuses on bug fixes and minor user interface updates.
New features
- Reintroduced the ability to create LTL states from the proof analysis and refined table headers
- Allowed users to view proof results through the connections context menu
- Changed the constellations rendering to better distinguish cluster links from model edges
Bugfixes
- Fixed a minor LTL animation rendering bug
version 1.11
BMA 1.11.0035
This release updates multiple components in the user interface to better support the analysis of large models.
New features
- Rendering of the stability proof in the analysis tab and extended table has been updated to allow hundreds of components to be viewed. This is achieved through the use of canvas rendering in the tab and an external library in the table view
- Results from the proof are now downloadable as a CSV for offline analysis
- Proof results persist when models layout is changed (for example, when moving a variable), only being wiped when variable updates are altered
Bugfixes
We have further updated unit tests and build components, and disable the automatic switch for intelligent zoom if the user selects a specific visualisation.
version 1.10
BMA 1.10.0024
In this release we have made several feature additions to better support large model development through improved model navigation, alongside user-feedback guided refinements and visual updates.
Variable search and navigation
The new search functionality allows users to rapidly find variables in the model, and navigate between alternative results easily. As part of this, we have introduced animated transitions between alternative model views, in search and when fitting the model to screen. Finally, users can now navigate between connected variables through their context menus.
View switch for small models
To support users working on smaller models we have introduced a zoom lock to keep small models in variable view by default, and automatically switching once the model spreads over ten grid cells.
version 1.9
This release introduces several major new features to enable the visualization of large-scale models.
New rendering engine and model views
- Novel visualization options; at far zoom, models are replaced by a simplified “bubble” representation based on the results of a k-means clustering. This allows hubs and subnetworks of genes to be clearly viewed in large models. Bubble visualizations can be annotated with stability analysis results, allowing for rapid analysis, visualization, and refinement.
- A new rendering engine increases canvas performance
- New mechanism for changing protein interactions through a contextual menu
Bugfixes
- Fixed issue with positioning of settings popup on small screens
- Fixed issue with color displaying in popup for variable in top panel
- Added display of current selected relationship type in context menu
- Fixed issue with loading of huge tables for proof results
version 1.8
BMA 1.8.0053
This major update brings a plethora of changes to BioModelAnalzyer focused on model storage and motif use!
New combined model and motif library
Motif libraries support the construction of large models from the reuse of small networks that capturing fundamental biological phenomena. Our previous releases allowed users to interact through a dedicated carousel, allowing users to preview the motifs but gave limited options for sorting and storage. Similarly, users with large model libraries may struggle to sort and find single models. In this release we have developed a new interface to the model repository that combines the unique interface of the model carousel with new sorting and searching functions. In addition to providing a library of developer created models and motifs, users can build and store models and motifs. Models can be opened directly to the canvas, or treated as a motif and dragged into an already open model for reuse and mixing models. Large libraries are made more manageable through search and sorting functions, and models can be annotated with short descriptions.
- Motif library was removed from interface.
- Model repository interface completely reworked. Now it has new layout and structure.
- All motifs are displayed together with models in repository menu.
- Added possibility to create user motifs and save them to storage.
- Preloaded models from launch page added to model repository.
- Added possibility to filter and search the repository.
- Added possibility to preview model and motif before its loading to model designer.
- Added possibility to add model contents to existing model rather that just replace it.
- Added possibility to load motif by replacing current model designer content with motif contents.
- Added possibility to edit model/motif name and description for user created models and motifs.
Design updates and bug fixes
- Fixed issue with model fitting to screen for some models with 2x2 and 3x3 cells.
- Color options in palette popup for variables now show last selected result and highlight options on hover.
- BMA styles updated which includes loading animation, shadows spec, design of popups and some other elements.
- Save button now displays animation when using it.
version 1.7
This release brings some new features and refinements to existing tools!
Variable colour choice
Building large, complex models can get confusing quickly. Lots of variables in a small space can make individual pathways hard to view. In this new update we have enabled a choice of different colours for variables! Create a selection of variables with shift-left click and drag, and change their colour using the colour palette tool, or change the colour of the variables you drop onto the canvas by hovering over the tool panel and selecting a new colour. Colours automatically update depending on their location in the cell, with pale extracellular genes and bright intracellular genes.
Bugfixes
- Cut/copy/paste now works when selecting text from the variable target function editor.
- Variable names in LTL states tooltip are extended to increase readability.
- All user modes (pan, variable drop, cell drop, and edge drop) can now be used to create selections.