Biochemical Space language software tool

Systems biology provides multiple formalisms for modelling of biochemical processes among which rule-based approach seems to be one of the most suitable as it allows compact mechanistic description of complex processes. The rule-based language called Biochemical Space Language (BCSL) combines advantages of different approaches and makes thus an effort to overcome several problems of existing solutions. BCSgen is a software providing basic functionality to write, maintain, and analyse models written in BCSL.

BCSL is a part of a general framework developed for comprehensive modelling in systems biology. BCSL relies on the formal basis of the rule-based methodology while preserving user-friendly syntax of plain chemical equations. BCSL combines the following aspects:

  • human-readability improving user-friendly usability of the language,
  • executability allowing unique formal analysis and consistency checking at the level of the language,
  • universality allowing integration of different biochemical mechanisms,
  • scalability and compactness of the specification,
  • hierarchical specification and composability of chemical entities,
  • support for genome-scale annotation.

The key features of the Biochemical Space Language software tool (BSCgen) are:

  • Interactive editor - create and edit models, which can be edited with automatic syntax highlighting and error messaging.
  • PCTL analysis - analyse BCSL models with respect to PCTL properties (model checking and parameter synthesis).
  • Simulation - simulate models in particular setting using either deterministic or stochastic approach.
  • Visualisation - visualise simulation times series, explore transition systems of models, and visualise parameter synthesis results.