Automatic Screening for Perturbations in Boolean Networks

Boolean network modeling and its integration with experimental read-outs : An interdisciplinary presentation using a leukemia model

The limited availability of suitable animal models and cell lines often impedes experimental cancer research. Wet-laboratory experiments are also time-consuming and cost-intensive. In this review, we present an in silico modeling strategy, namely, Boolean network (BN) models, and demonstrate how it could be applied to streamline experimental design and to focus the effort of experimental read-outs. Boolean network models allow for the dynamic analysis of large molecular signaling pathways and their crosstalks. After establishing and validating a specific tumor model, mechanistic insights into the tumor cell behavior can be gained by studying the trajectories of different tumor phenotypes. Also, tumor driver and drug target screenings can be performed. These automatic screenings can help to identify new intervention targets and putative biomarkers for tumor evolution, hence guiding new wet-laboratory experiments. The goal of this round-up is to demonstrate how to establish, validate, and use BN modeling and its crosstalks in classic wet-laboratory research using a chronic lymphocytic leukemia (CLL) BN model.

GatekeepR: an R Shiny application for the identification of nodes with high dynamic impact in Boolean networks

MOTIVATION

Boolean networks can serve as straightforward models for understanding processes such as gene regulation, and employing logical rules. These rules can either be derived from existing literature or by data-driven approaches. However, in the context of large networks, the exhaustive search for intervention targets becomes challenging due to the exponential expansion of a Boolean network's state space and the multitude of potential target candidates, along with their various combinations. Instead, we can employ the logical rules and resultant interaction graph as a means to identify targets of specific interest within larger-scale models. This approach not only facilitates the screening process but also serves as a preliminary filtering step, enabling the focused investigation of candidates that hold promise for more profound dynamic analysis. However, applying this method requires a working knowledge of R, thus restricting the range of potential users. We, therefore, aim to provide an application that makes this method accessible to a broader scientific community.

RESULTS

Here, we introduce GatekeepR, a graphical, web-based R Shiny application that enables scientists to screen Boolean network models for possible intervention targets whose perturbation is likely to have a large impact on the system's dynamics. This application does not require a local installation or knowledge of R and provides the suggested targets along with additional network information and visualizations in an intuitive, easy-to-use manner. The Supplementary Material describes the underlying method for identifying these nodes along with an example application in a network modeling pancreatic cancer.

AVAILABILITY AND IMPLEMENTATION

https://www.github.com/sysbio-bioinf/GatekeepR https://abel.informatik.uni-ulm.de/shiny/GatekeepR/.

Boolean modeling reveals that cyclic attractors in macrophage polarization serve as reservoirs of states to balance external perturbations from the tumor microenvironment

Cyclic attractors generated from Boolean models may explain the adaptability of a cell in response to a dynamical complex tumor microenvironment. In contrast to this idea, we postulate that cyclic attractors in certain cases could be a systemic mechanism to face the perturbations coming from the environment. To justify our conjecture, we present a dynamic analysis of a highly curated transcriptional regulatory network of macrophages constrained into a cancer microenvironment. We observed that when M1-associated transcription factors (STAT1 or NF-κB) are perturbed and the microenvironment balances to a hyper-inflammation condition, cycle attractors activate genes whose signals counteract this effect implicated in tissue damage. The same behavior happens when the M2-associated transcription factors are disturbed (STAT3 or STAT6); cycle attractors will prevent a hyper-regulation scenario implicated in providing a suitable environment for tumor growth. Therefore, here we propose that cyclic macrophage phenotypes can serve as a reservoir for balancing the phenotypes when a specific phenotype-based transcription factor is perturbed in the regulatory network of macrophages. We consider that cyclic attractors should not be simply ignored, but it is necessary to carefully evaluate their biological importance. In this work, we suggest one conjecture: the cyclic attractors can serve as a reservoir to balance the inflammatory/regulatory response of the network under external perturbations.

Exploring attractor bifurcations in Boolean networks

Background

Boolean networks (BNs) provide an effective modelling formalism for various complex biochemical phenomena. Their long term behaviour is represented by attractors–subsets of the state space towards which the BN eventually converges. These are then typically linked to different biological phenotypes. Depending on various logical parameters, the structure and quality of attractors can undergo a significant change, known as a bifurcation. We present a methodology for analysing bifurcations in asynchronous parametrised Boolean networks.

Results

In this paper, we propose a computational framework employing advanced symbolic graph algorithms that enable the analysis of large networks with hundreds of Boolean variables. To visualise the results of this analysis, we developed a novel interactive presentation technique based on decision trees, allowing us to quickly uncover parameters crucial to the changes in the attractor landscape. As a whole, the methodology is implemented in our tool AEON. We evaluate the method’s applicability on a complex human cell signalling network describing the activity of type-1 interferons and related molecules interacting with SARS-COV-2 virion. In particular, the analysis focuses on explaining the potential suppressive role of the recently proposed drug molecule GRL0617 on replication of the virus.

Conclusions

The proposed method creates a working analogy to the concept of bifurcation analysis widely used in kinetic modelling to reveal the impact of parameters on the system’s stability. The important feature of our tool is its unique capability to work fast with large-scale networks with a relatively large extent of unknown information. The results obtained in the case study are in agreement with the recent biological findings.

Discrete Logic Modeling of Cell Signaling Pathways

Cell signaling pathways often crosstalk generating complex biological behaviors observed in different cellular contexts. Frequently, laboratory experiments focus on a few putative regulators, alone unable to predict the molecular mechanisms behind the observed phenotypes. Here, systems biology complements these approaches by giving a holistic picture to complex signaling crosstalk. In particular, Boolean network models are a meaningful tool to study large network behaviors and can cope with incomplete kinetic information. By introducing a model describing pathways involved in hematopoietic stem cell maintenance, we present a general approach on how to model cell signaling pathways with Boolean network models.

Boolean modelling in plant biology

Signalling and genetic networks underlie most biological processes and are often complex, containing many highly connected components. Modelling these networks can provide insight into mechanisms but is challenging given that rate parameters are often not well defined. Boolean modelling, in which components can only take on a binary value with connections encoded by logic equations, is able to circumvent some of these challenges, and has emerged as a viable tool to probe these complex networks. In this review, we will give an overview of Boolean modelling, with a specific emphasis on its use in plant biology. We review how Boolean modelling can be used to describe biological networks and then discuss examples of its applications in plant genetics and plant signalling.

Boolink: a graphical interface for open access Boolean network simulations and use in guard cell CO2 signaling

Signaling networks are at the heart of almost all biological processes. Most of these networks contain large number of components, and often either the connections between these components are not known or the rate equations that govern the dynamics of soluble signaling components are not quantified. This uncertainty in network topology and parameters can make it challenging to formulate detailed mathematical models. Boolean networks, in which all components are either on or off, have emerged as viable alternatives to detailed mathematical models that contain rate constants and other parameters. Therefore, open-source platforms of Boolean models for community use are desirable. Here, we present Boolink, a freely available graphical user interface that allows users to easily construct and analyze existing Boolean networks. Boolink can be applied to any Boolean network. We demonstrate its application using a previously published network for abscisic acid (ABA)-driven stomatal closure in Arabidopsis spp. (Arabidopsis thaliana). We also show how Boolink can be used to generate testable predictions by extending the network to include CO2 regulation of stomatal movements. Predictions of the model were experimentally tested, and the model was iteratively modified based on experiments showing that ABA effectively closes Arabidopsis stomata at near-zero CO2 concentrations (1.5-ppm CO2). Thus, Boolink enables public generation and the use of existing Boolean models, including the prior developed ABA signaling model with added CO2 signaling components.

An Integrated View of Virus-Triggered Cellular Plasticity Using Boolean Networks

Virus-related mortality and morbidity are due to cell/tissue damage caused by replicative pressure and resource exhaustion, e.g., HBV or HIV; exaggerated immune responses, e.g., SARS-CoV-2; and cancer, e.g., EBV or HPV. In this context, oncogenic and other types of viruses drive genetic and epigenetic changes that expand the tumorigenic program, including modifications to the ability of cancer cells to migrate. The best-characterized group of changes is collectively known as the epithelial–mesenchymal transition, or EMT. This is a complex phenomenon classically described using biochemistry, cell biology and genetics. However, these methods require enormous, often slow, efforts to identify and validate novel therapeutic targets. Systems biology can complement and accelerate discoveries in this field. One example of such an approach is Boolean networks, which make complex biological problems tractable by modeling data (“nodes”) connected by logical operators. Here, we focus on virus-induced cellular plasticity and cell reprogramming in mammals, and how Boolean networks could provide novel insights into the ability of some viruses to trigger uncontrolled cell proliferation and EMT, two key hallmarks of cancer.

Reconstructing Boolean network ensembles from single-cell data for unraveling dynamics in the aging of human hematopoietic stem cells

Regulatory dependencies in molecular networks are the basis of dynamic behaviors affecting the phenotypical landscape. With the advance of high throughput technologies, the detail of omics data has arrived at the single-cell level. Nevertheless, new strategies are required to reconstruct regulatory networks based on populations of single-cell data. Here, we present a new approach to generate populations of gene regulatory networks from single-cell RNA-sequencing (scRNA-seq) data. Our approach exploits the heterogeneity of single-cell populations to generate pseudo-timepoints. This allows for the first time to uncouple network reconstruction from a direct dependency on time series measurements. The generated time series are then fed to a combined reconstruction algorithm. The latter allows a fast and efficient reconstruction of ensembles of gene regulatory networks. Since this approach does not require knowledge on time-related trajectories, it allows us to model heterogeneous processes such as aging. Applying the approach to the aging-associated NF-κB signaling pathway-based scRNA-seq data of human hematopoietic stem cells (HSCs), we were able to reconstruct eight ensembles, and evaluate their dynamic behavior. Moreover, we propose a strategy to evaluate the resulting attractor patterns. Interaction graph-based features and dynamic investigations of our model ensembles provide a new perspective on the heterogeneity and mechanisms related to human HSCs aging.

Transcriptional and Microenvironmental Landscape of Macrophage Transition in Cancer: A Boolean Analysis

The balance between pro- and anti-inflammatory immune system responses is crucial to face and counteract complex diseases such as cancer. Macrophages are an essential population that contributes to this balance in collusion with the local tumor microenvironment. Cancer cells evade the attack of macrophages by liberating cytokines and enhancing the transition to the M2 phenotype with pro-tumoral functions. Despite this pernicious effect on immune systems, the M1 phenotype still exists in the environment and can eliminate tumor cells by liberating cytokines that recruit and activate the cytotoxic actions of TH1 effector cells. Here, we used a Boolean modeling approach to understand how the tumor microenvironment shapes macrophage behavior to enhance pro-tumoral functions. Our network reconstruction integrates experimental data and public information that let us study the polarization from monocytes to M1, M2a, M2b, M2c, and M2d subphenotypes. To analyze the dynamics of our model, we modeled macrophage polarization in different conditions and perturbations. Notably, our study identified new hybrid cell populations, undescribed before. Based on the in vivo macrophage behavior, we explained the hybrid macrophages’ role in the tumor microenvironment. The in silico model allowed us to postulate transcriptional factors that maintain the balance between macrophages with anti- and pro-tumoral functions. In our pursuit to maintain the balance of macrophage phenotypes to eliminate malignant tumor cells, we emulated a theoretical genetically modified macrophage by modifying the activation of NFκB and a loss of function in HIF1-α and discussed their phenotype implications. Overall, our theoretical approach is as a guide to design new experiments for unraveling the principles of the dual host-protective or -harmful antagonistic roles of transitional macrophages in tumor immunoediting and cancer cell fate decisions.

Unraveling the Molecular Tumor-Promoting Regulation of Cofilin-1 in Pancreatic Cancer

Cofilin-1 (CFL1) overexpression in pancreatic cancer correlates with high invasiveness and shorter survival. Besides a well-documented role in actin remodeling, additional cellular functions of CFL1 remain poorly understood. Here, we unraveled molecular tumor-promoting functions of CFL1 in pancreatic cancer. For this purpose, we first show that a knockdown of CFL1 results in reduced growth and proliferation rates in vitro and in vivo, while apoptosis is not induced. By mechanistic modeling we were able to predict the underlying regulation. Model simulations indicate that an imbalance in actin remodeling induces overexpression and activation of CFL1 by acting on transcription factor 7-like 2 (TCF7L2) and aurora kinase A (AURKA). Moreover, we could predict that CFL1 impacts proliferation and apoptosis via the signal transducer and activator of transcription 3 (STAT3). These initial model-based regulations could be substantiated by studying protein levels in pancreatic cancer cell lines and human datasets. Finally, we identified the surface protein CD44 as a promising therapeutic target for pancreatic cancer patients with high CFL1 expression.

Concepts in Boolean network modeling: What do they all mean?

Boolean network models are one of the simplest models to study complex dynamic behavior in biological systems. They can be applied to unravel the mechanisms regulating the properties of the system or to identify promising intervention targets. Since its introduction by Stuart Kauffman in 1969 for describing gene regulatory networks, various biologically based networks and tools for their analysis were developed. Here, we summarize and explain the concepts for Boolean network modeling. We also present application examples and guidelines to work with and analyze Boolean network models.

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

Boolean networks (BNs) provide an effective modelling tool for various phenomena from science and engineering. Any long-term behaviour of a BN eventually converges to a so-called attractor. Depending on various logical parameters, the structure and quality of attractors can undergo a significant change, known as a bifurcation. We present a tool for analysing bifurcations in asynchronous parametrised Boolean networks. To fight the state-space and parameter-space explosion problem the tool uses a parallel semi-symbolic algorithm.

Edgetic perturbations to eliminate fixed-point attractors in Boolean regulatory networks

The dynamics of complex biological networks may be modeled in a Boolean framework, where the state of each system component is either abundant (ON) or scarce/absent (OFF), and each component's dynamic trajectory is determined by a logical update rule involving the state(s) of its regulator(s). It is possible to encode the update rules in the topology of the so-called expanded graph, analysis of which reveals the long-term behavior, or attractors, of the network. Here, we develop an algorithm to perturb the expanded graph (or, equivalently, the logical update rules) to eliminate stable motifs: subgraphs that cause a subset of components to stabilize to one state. Depending on the topology of the expanded graph, these perturbations lead to the modification or loss of the corresponding attractor. While most perturbations of biological regulatory networks in the literature involve the knockout (fixing to OFF) or constitutive activation (fixing to ON) of one or more nodes, we here consider edgetic perturbations, where a node's update rule is modified such that one or more of its regulators is viewed as ON or OFF regardless of its actual state. We apply the methodology to two biological networks. In a network representing T-LGL leukemia, we identify edgetic perturbations that eliminate the cancerous attractor, leaving only the healthy attractor representing cell death. In a network representing drought-induced closure of plant stomata, we identify edgetic perturbations that modify the single attractor such that stomata, instead of being fixed in the closed state, oscillates between the open and closed states.

Representing dynamic biological networks with multi-scale probabilistic models

Dynamic models analyzing gene regulation and metabolism face challenges when adapted to modeling signal transduction networks. During signal transduction, molecular reactions and mechanisms occur in different spatial and temporal frames and involve feedbacks. This impedes the straight-forward use of methods based on Boolean networks, Bayesian approaches, and differential equations. We propose a new approach, ProbRules, that combines probabilities and logical rules to represent the dynamics of a system across multiple scales. We demonstrate that ProbRules models can represent various network motifs of biological systems. As an example of a comprehensive model of signal transduction, we provide a Wnt network that shows remarkable robustness under a range of phenotypical and pathological conditions. Its simulation allows the clarification of controversially discussed molecular mechanisms of Wnt signaling by predicting wet-lab measurements. ProbRules provides an avenue in current computational modeling by enabling systems biologists to integrate vast amounts of available data on different scales.