Home

eBSCgen is a tool for development and analysis of Biochemical Space Language (BCSL) models. BCSL is a rule-based language with focus on the human-readability and compactness of the description.

The tool is designed as a command line tool, but a user-friendly front-end is provided by an instance of Galaxy Platform. All supported functionality is available online (among other tools developed by Sybila team).

To get started with the usage of eBCSgen, we recommend this tutorial.

---

The BCSL models format is specified here. The editing of the model is enabled in a modified Ace editor with automatic syntax highlighting and syntax error messaging. This editor can be used directly in Galaxy platform.

The supported tools and analysis methods for valid BCSL models are:

• Transition System generator - explicit transition system generating in means of DTMC, stored in a JSON file
• Simulation - stochastic or deterministic simulation
• PCTL model checking
• PCTL parameter synthesis
• Static analysis
  • Non-reachability analysis
  • Rule redundancy elimination
  • Context based reduction

The software supports tailor-made interactive visualisation of the most of analysis results:

• Simulation plot - visualisation of the .csv time series produced by simulation
• Transition system visualisation - generated transition system can be visualised with possible inspection of individual nodes and edges
• Parameter synthesis plot - results of parameter synthesis can be visualised