kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models

Abstract Background Computational models of cell signaling networks are extremely useful tools for the exploration of underlying system behavior and prediction of response to various perturbations. By representing signaling cascades as executable Boo...

Full description

Bibliographic Details
Main Authors: Carretero Chavez, Willow, Krantz, Marcus, Klipp, Edda, Kufareva, Irina
Other Authors: Massachusetts Institute of Technology. Department of Biology
Format: Article
Language:English
Published: BioMed Central 2023
Online Access:https://hdl.handle.net/1721.1/150930
_version_ 1826199878018007040
author Carretero Chavez, Willow
Krantz, Marcus
Klipp, Edda
Kufareva, Irina
author2 Massachusetts Institute of Technology. Department of Biology
author_facet Massachusetts Institute of Technology. Department of Biology
Carretero Chavez, Willow
Krantz, Marcus
Klipp, Edda
Kufareva, Irina
author_sort Carretero Chavez, Willow
collection MIT
description Abstract Background Computational models of cell signaling networks are extremely useful tools for the exploration of underlying system behavior and prediction of response to various perturbations. By representing signaling cascades as executable Boolean networks, the previously developed rxncon (“reaction-contingency”) formalism and associated Python package enable accurate and scalable modeling of signal transduction even in large (thousands of components) biological systems. The models are split into reactions, which generate states, and contingencies, that impinge on reactions; this avoids the so-called “combinatorial explosion” of system size. Boolean description of the biological system compensates for the poor availability of kinetic parameters which are necessary for quantitative models. Unfortunately, few tools are available to support rxncon model development, especially for large, intricate systems. Results We present the kboolnet toolkit ( https://github.com/Kufalab-UCSD/kboolnet , complete documentation at https://github.com/Kufalab-UCSD/kboolnet/wiki ), an R package and a set of scripts that seamlessly integrate with the python-based rxncon software and collectively provide a complete workflow for the verification, validation, and visualization of rxncon models. The verification script VerifyModel.R checks for responsiveness to repeated stimulations as well as consistency of steady state behavior. The validation scripts TruthTable.R, SensitivityAnalysis.R, and ScoreNet.R provide various readouts for the comparison of model predictions to experimental data. In particular, ScoreNet.R compares model predictions to a cloud-stored MIDAS-format experimental database to provide a numerical score for tracking model accuracy. Finally, the visualization scripts allow for graphical representations of model topology and behavior. The entire kboolnet toolkit is cloud-enabled, allowing for easy collaborative development; most scripts also allow for the extraction and analysis of individual user-defined “modules”. Conclusion The kboolnet toolkit provides a modular, cloud-enabled workflow for the development of rxncon models, as well as their verification, validation, and visualization. This will enable the creation of larger, more comprehensive, and more rigorous models of cell signaling using the rxncon formalism in the future.
first_indexed 2024-09-23T11:27:14Z
format Article
id mit-1721.1/150930
institution Massachusetts Institute of Technology
language English
last_indexed 2025-02-19T04:20:07Z
publishDate 2023
publisher BioMed Central
record_format dspace
spelling mit-1721.1/1509302024-11-05T15:53:28Z kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models Carretero Chavez, Willow Krantz, Marcus Klipp, Edda Kufareva, Irina Massachusetts Institute of Technology. Department of Biology Abstract Background Computational models of cell signaling networks are extremely useful tools for the exploration of underlying system behavior and prediction of response to various perturbations. By representing signaling cascades as executable Boolean networks, the previously developed rxncon (“reaction-contingency”) formalism and associated Python package enable accurate and scalable modeling of signal transduction even in large (thousands of components) biological systems. The models are split into reactions, which generate states, and contingencies, that impinge on reactions; this avoids the so-called “combinatorial explosion” of system size. Boolean description of the biological system compensates for the poor availability of kinetic parameters which are necessary for quantitative models. Unfortunately, few tools are available to support rxncon model development, especially for large, intricate systems. Results We present the kboolnet toolkit ( https://github.com/Kufalab-UCSD/kboolnet , complete documentation at https://github.com/Kufalab-UCSD/kboolnet/wiki ), an R package and a set of scripts that seamlessly integrate with the python-based rxncon software and collectively provide a complete workflow for the verification, validation, and visualization of rxncon models. The verification script VerifyModel.R checks for responsiveness to repeated stimulations as well as consistency of steady state behavior. The validation scripts TruthTable.R, SensitivityAnalysis.R, and ScoreNet.R provide various readouts for the comparison of model predictions to experimental data. In particular, ScoreNet.R compares model predictions to a cloud-stored MIDAS-format experimental database to provide a numerical score for tracking model accuracy. Finally, the visualization scripts allow for graphical representations of model topology and behavior. The entire kboolnet toolkit is cloud-enabled, allowing for easy collaborative development; most scripts also allow for the extraction and analysis of individual user-defined “modules”. Conclusion The kboolnet toolkit provides a modular, cloud-enabled workflow for the development of rxncon models, as well as their verification, validation, and visualization. This will enable the creation of larger, more comprehensive, and more rigorous models of cell signaling using the rxncon formalism in the future. 2023-06-20T19:40:44Z 2023-06-20T19:40:44Z 2023-06-12 2023-06-18T03:10:40Z Article http://purl.org/eprint/type/JournalArticle https://hdl.handle.net/1721.1/150930 BMC Bioinformatics. 2023 Jun 12;24(1):246 PUBLISHER_CC en https://doi.org/10.1186/s12859-023-05329-6 Creative Commons Attribution http://creativecommons.org/licenses/by/4.0/ The Author(s) application/pdf BioMed Central BioMed Central
spellingShingle Carretero Chavez, Willow
Krantz, Marcus
Klipp, Edda
Kufareva, Irina
kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models
title kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models
title_full kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models
title_fullStr kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models
title_full_unstemmed kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models
title_short kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models
title_sort kboolnet a toolkit for the verification validation and visualization of reaction contingency rxncon models
url https://hdl.handle.net/1721.1/150930
work_keys_str_mv AT carreterochavezwillow kboolnetatoolkitfortheverificationvalidationandvisualizationofreactioncontingencyrxnconmodels
AT krantzmarcus kboolnetatoolkitfortheverificationvalidationandvisualizationofreactioncontingencyrxnconmodels
AT klippedda kboolnetatoolkitfortheverificationvalidationandvisualizationofreactioncontingencyrxnconmodels
AT kufarevairina kboolnetatoolkitfortheverificationvalidationandvisualizationofreactioncontingencyrxnconmodels