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 Boolean networks, the previously developed rxncon (“r...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
BMC
2023-06-01
|
| Series: | BMC Bioinformatics |
| Subjects: | |
| Online Access: | https://doi.org/10.1186/s12859-023-05329-6 |
| _version_ | 1797801219643670528 |
|---|---|
| author | Willow Carretero Chavez Marcus Krantz Edda Klipp Irina Kufareva |
| author_facet | Willow Carretero Chavez Marcus Krantz Edda Klipp Irina Kufareva |
| author_sort | Willow Carretero Chavez |
| collection | DOAJ |
| 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-03-13T04:47:07Z |
| format | Article |
| id | doaj.art-0db139fe0ff24c85bd66b8e9e043e574 |
| institution | Directory Open Access Journal |
| issn | 1471-2105 |
| language | English |
| last_indexed | 2024-03-13T04:47:07Z |
| publishDate | 2023-06-01 |
| publisher | BMC |
| record_format | Article |
| series | BMC Bioinformatics |
| spelling | doaj.art-0db139fe0ff24c85bd66b8e9e043e5742023-06-18T11:26:23ZengBMCBMC Bioinformatics1471-21052023-06-0124111610.1186/s12859-023-05329-6kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) modelsWillow Carretero Chavez0Marcus Krantz1Edda Klipp2Irina Kufareva3Skaggs School of Pharmacy and Pharmaceutical Sciences, University of California San DiegoTheoretical Biophysics, Humboldt-Universität zu BerlinTheoretical Biophysics, Humboldt-Universität zu BerlinSkaggs School of Pharmacy and Pharmaceutical Sciences, University of California San DiegoAbstract 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.https://doi.org/10.1186/s12859-023-05329-6Computational modelingCell signalingNetwork biologyRxnconBoolean networks |
| spellingShingle | Willow Carretero Chavez Marcus Krantz Edda Klipp Irina Kufareva kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models BMC Bioinformatics Computational modeling Cell signaling Network biology Rxncon Boolean networks |
| 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 |
| topic | Computational modeling Cell signaling Network biology Rxncon Boolean networks |
| url | https://doi.org/10.1186/s12859-023-05329-6 |
| work_keys_str_mv | AT willowcarreterochavez kboolnetatoolkitfortheverificationvalidationandvisualizationofreactioncontingencyrxnconmodels AT marcuskrantz kboolnetatoolkitfortheverificationvalidationandvisualizationofreactioncontingencyrxnconmodels AT eddaklipp kboolnetatoolkitfortheverificationvalidationandvisualizationofreactioncontingencyrxnconmodels AT irinakufareva kboolnetatoolkitfortheverificationvalidationandvisualizationofreactioncontingencyrxnconmodels |