Automated inference of Boolean models from molecular interaction maps using CaSQ

Abstract

Motivation Molecular interaction maps have emerged as a meaningful way of representing biological mechanisms in a comprehensive and systematic manner. However, their static nature provides limited insights to the emerging behavior of the described biological system under different conditions. Computational modelling provides the means to study dynamic properties through in silico simulations and perturbations. We aim to bridge the gap between static and dynamic representations of biological systems with CaSQ, a software tool that infers Boolean rules based on the topology and semantics of molecular interaction maps built with CellDesigner. Results We developed CaSQ by defining conversion rules and logical formulas for inferred Boolean models according to the topology and the annotations of the starting molecular interaction maps. We used CaSQ to produce executable files of existing molecular maps that differ in size, complexity and the use of SBGN standards. We also compared, where possible, the manually built logical models corresponding to a molecular map to the ones inferred by CaSQ. The tool is able to process large and complex maps built with CellDesigner (either following SBGN standards or not) and produce Boolean models in a standard output format, SBML-qual, that can be further analyzed using popular modelling tools. References, annotations and layout of the CellDesigner molecular map are retained in the obtained model, facilitating interoperability and model reusability. Availability The present tool is available online: https://lifeware.inria.fr/∼soliman/post/casq/ and distributed as a Python package under the GNU GPLv3 license. The code can be accessed here: https://gitlab.inria.fr/soliman/casq Supplementary information Supplementary data are available at Bioinformatics online.

Computational Verification of Large Logical Models—Application to the Prediction of T Cell Response to Checkpoint Inhibitors

“…To date, methods to derive proper dynamical models from such molecular maps are still in their infancy. In the particular case of the Boolean framework, only one automated approach has been recently proposed (Aghamiri et al, 2020 ). However, a limitation of this approach is the generation of generic logical rules based on static knowledge.…”

COVID-19 Disease Map, a computational knowledge repository of SARS-CoV-2 virus-host interaction mechanisms

“…The contents of the COVID-19 Disease Map diagrams can be directly transformed into inputs of computational pipelines and data repositories. Besides the direct use of SBML format in kinetic simulations, CellDesigner SBML files can be transformed into SBML qual [43] using CaSQ [44], enabling Boolean modelling-based simulations (see also Supplementary Material 3). In parallel, CaSQ converts the diagrams to the SIF format 23 , supporting pathway modelling workflows using simplified interaction networks.…”

Metabolic Reprogramming of Fibroblasts as Therapeutic Target in Rheumatoid Arthritis and Cancer: Deciphering Key Mechanisms using Computational Systems Biology Approaches

“…Initially, researchers were set to build a large-scale Boolean dynamical model for the study of RA fibroblasts' activation based on the RA map and a previously published, more generic model on fibroblasts [140]. However, more recent developments such as the map-to-model framework published by Aghamiri et al [141], using CaSQ, a translation tool from static molecular maps to executable Boolean models, was also tested successfully on the RA map. Nonetheless, as the map is not cell-specific, additional work is needed to ensure the desired cellspecificity of the model.…”