TY - GEN
T1 - Methods and Tools to Facilitate RE:IN Modeling and Analysis of GRNs
AU - Grimland, Daniel
AU - Tannenbaum, Eitan
AU - Kugler, Hillel
N1 - Publisher Copyright: © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.
PY - 2025
Y1 - 2025
N2 - Stem cells play a central role in the development of organisms; hence, studying their gene regulatory networks (GRNs) is of great importance. The Reasoning Engine for Interaction Networks (RE:IN) is a toolset that supports modeling of GRNs to investigate their dynamics systematically and efficiently and make new predictions. Here we constructed a RE:IN model of the GRN which describes the regulation of gene expression in purple sea urchin stem cells. It consists of a constrained abstract Boolean network - a collection of Boolean networks, each corresponding to a possible structure and logic of the GRN consistent with experiments. We examined the model’s compatibility with observed behavior and explored its robustness. To this end, we developed several new methods for modeling GRNs in RE:IN. These include methods for handling cases where models don’t behave in accordance with observed behavior, tools for fast and efficient RE:IN modeling, and tools for synthesizing complex conditions in which models can be tested. Our results show that the current model cannot behave according to the entirety of the expected behavior. Moreover, we show that the model is robust to perturbations in a subset of key genes in the network. These results suggest that there is still work to be done to better capture the intricacies of this GRN in RE:IN. Furthermore, the tools we developed proved to be useful and may serve future research on GRNs within the RE:IN framework.
AB - Stem cells play a central role in the development of organisms; hence, studying their gene regulatory networks (GRNs) is of great importance. The Reasoning Engine for Interaction Networks (RE:IN) is a toolset that supports modeling of GRNs to investigate their dynamics systematically and efficiently and make new predictions. Here we constructed a RE:IN model of the GRN which describes the regulation of gene expression in purple sea urchin stem cells. It consists of a constrained abstract Boolean network - a collection of Boolean networks, each corresponding to a possible structure and logic of the GRN consistent with experiments. We examined the model’s compatibility with observed behavior and explored its robustness. To this end, we developed several new methods for modeling GRNs in RE:IN. These include methods for handling cases where models don’t behave in accordance with observed behavior, tools for fast and efficient RE:IN modeling, and tools for synthesizing complex conditions in which models can be tested. Our results show that the current model cannot behave according to the entirety of the expected behavior. Moreover, we show that the model is robust to perturbations in a subset of key genes in the network. These results suggest that there is still work to be done to better capture the intricacies of this GRN in RE:IN. Furthermore, the tools we developed proved to be useful and may serve future research on GRNs within the RE:IN framework.
KW - Computational modeling
KW - Formal verification
KW - Gene regulatory networks
UR - http://www.scopus.com/inward/record.url?scp=105005934029&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-89704-7_4
DO - 10.1007/978-3-031-89704-7_4
M3 - منشور من مؤتمر
SN - 9783031897030
T3 - Lecture Notes in Computer Science
SP - 43
EP - 57
BT - Computational Intelligence Methods for Bioinformatics and Biostatistics - 19th International Meeting, CIBB 2024, Revised Selected Papers
A2 - Cerulo, Luigi
A2 - Napolitano, Francesco
A2 - Bardozzo, Francesco
A2 - Cheng, Lu
A2 - Occhipinti, Annalisa
A2 - Pagnotta, Stefano M.
PB - Springer Science and Business Media Deutschland GmbH
T2 - 19th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2024
Y2 - 4 September 2024 through 6 September 2024
ER -