Modeling mechanistic biological networks: an advanced Boolean approach

Network dynamics investigation of omics-data-driven circadian-hypoxia crosstalk logical model in gallbladder cancer reveals key therapeutic target combinations

Recent findings in cancer research have pointed towards the bidirectional interaction between circadian and hypoxia pathways. However, little is known about their crosstalk mechanism. In this work, we aimed to investigate this crosstalk at a network level utilizing the omics information of gallbladder cancer. Differential gene expression and pathway enrichment analysis were used for selecting the crucial genes from both the pathways, followed by the construction of a logical crosstalk model using GINsim. Functional circuit identification and node perturbations were then performed. Significant node combinations were used to investigate the temporal behavior of the network through MaBoSS. Lastly, the model was validated using published in vitro experimentations. Four new positive circuits and a new axis viz. BMAL1/ HIF1αβ/ NANOG, responsible for stemness were identified. Through triple node perturbations viz.a. BMAL:CLOCK (KO or E1) + P53 (E1) + HIF1α (KO); b. P53 (E1) + HIF1α (KO) + MYC (E1); and c. HIF1α (KO) + MYC (E1) + EGFR (KO), the model was able to inhibit cancer growth and maintain a homeostatic condition. This work provides an architecture for drug simulation analysis to entrainment circadian rhythm and in vitro experiments for chronotherapy-related studies. Insight Box. Circadian rhythm and hypoxia are the key dysregulated processes which fuels-up the cancer growth. In the present work we have developed a gallbladder cancer (GBC) specific Boolean model, utilizing the RNASeq data from GBC dataset and tissue specific interactions. This work adequately models the bidirectional nature of interactions previously illustrated in experimental papers showing the effect of hypoxia on dysregulation of circadian rhythm and the influence of this disruption on progression towards metastasis. Through the dynamical study of the model and its response to different perturbations, we report novel triple node combinations that can be targeted to efficiently reduce GBC growth. This network can be used as a generalized framework to investigate different crosstalk pathways linked with cancer progression.

A scalable method for parameter-free simulation and validation of mechanistic cellular signal transduction network models

The metabolic modelling community has established the gold standard for bottom-up systems biology with reconstruction, validation and simulation of mechanistic genome-scale models. Similar methods have not been established for signal transduction networks, where the representation of complexes and internal states leads to scalability issues in both model formulation and execution. While rule- and agent-based methods allow efficient model definition and execution, respectively, model parametrisation introduces an additional layer of uncertainty due to the sparsity of reliably measured parameters. Here, we present a scalable method for parameter-free simulation of mechanistic signal transduction networks. It is based on rxncon and uses a bipartite Boolean logic with separate update rules for reactions and states. Using two generic update rules, we enable translation of any rxncon model into a unique Boolean model, which can be used for network validation and simulation-allowing the prediction of system-level function directly from molecular mechanistic data. Through scalable model definition and simulation, and the independence of quantitative parameters, it opens up for simulation and validation of mechanistic genome-scale models of signal transduction networks.

Fault detection and therapeutic intervention in gene regulatory networks using SAT solvers

Random somatic mutations disrupt homeostasis of the cell resulting in various undesirable phenotypes including proliferation. One of the most important questions in systems medicine research is the therapeutic intervention design, which requires the knowledge of these mutations. A single or multiple mutations can occur in the diseases like cancer. These mutations have been successfully modeled as stuck-at faults in the Boolean network model of the underlying regulatory system. Identification of these fault types for multiple stuck-at faults is a non-trivial problem and requires some system theoretic introspection. This manuscript addresses the dual problem of the fault identification and the therapeutic intervention. Both the problems are mapped to the Boolean satisfiability (SAT) problem. The underlying problems are solved using a fast SAT solver. The synthetic and biological examples elucidate the effectiveness of the mapping.

COMPUTATIONAL METHODS FOR ASYNCHRONOUS BASINS

For a Boolean network we consider asynchronous updates and define the exclusive asynchronous basin of attraction for any steady state or cyclic attractor. An algorithm based on commutative algebra is presented to compute the exclusive basin. Finally its use for targeting desirable attractors by selective intervention on network nodes is illustrated with two examples, one cell signalling network and one sensor network measuring human mobility.

Reverse Engineering of Genome-wide Gene Regulatory Networks from Gene Expression Data

Transcriptional regulation plays vital roles in many fundamental biological processes. Reverse engineering of genome-wide regulatory networks from high-throughput transcriptomic data provides a promising way to characterize the global scenario of regulatory relationships between regulators and their targets. In this review, we summarize and categorize the main frameworks and methods currently available for inferring transcriptional regulatory networks from microarray gene expression profiling data. We overview each of strategies and introduce representative methods respectively. Their assumptions, advantages, shortcomings, and possible improvements and extensions are also clarified and commented.

A Boolean gene regulatory model of heterosis and speciation

BACKGROUND

Modelling genetic phenomena affecting biological traits is important for the development of agriculture as it allows breeders to predict the potential of breeding for certain traits. One such phenomenon is heterosis or hybrid vigor: crossing individuals from genetically distinct populations often results in improvements in quantitative traits, such as growth rate, biomass production and stress resistance. Heterosis has become a very useful tool in global agriculture, but its genetic basis remains controversial and its effects hard to predict. We have taken a computational approach to studying heterosis, developing a simulation of evolution, independent reassortment of alleles and hybridization of Gene Regulatory Networks (GRNs) in a Boolean framework. These artificial regulatory networks exhibit topological properties that reflect those observed in biology, and fitness is measured as the ability of a network to respond to external inputs in a pre-defined way.

RESULTS

Our model reproduced common experimental observations on heterosis using only biologically justified parameters, such as mutation rates. Hybrid vigor was observed and its extent was seen to increase as parental populations diverged, up until a point of sudden collapse of hybrid fitness. Thus, the model also describes a process akin to speciation due to genetic incompatibility of the separated populations. We also reproduce, for the first time in a model, the fact that hybrid vigor cannot easily be fixed by within a breeding line, currently an important limitation of the use of hybrid crops. The simulation allowed us to study the effects of three standard models for the genetic basis of heterosis: dominance, over-dominance, and epistasis.

CONCLUSION

This study describes the most detailed simulation of heterosis using gene regulatory networks to date and reproduces several phenomena associated with heterosis for the first time in a model. The level of detail in our model allows us to suggest possible warning signs of the impending collapse of hybrid vigor in breeding. In addition, the simulation provides a framework that can be extended to study other aspects of heterosis and alternative evolutionary scenarios.

MONOMIALS AND BASIN CYLINDERS FOR NETWORK DYNAMICS

We describe methods to identify cylinder sets inside a basin of attraction for Boolean dynamics of biological networks. Such sets are used for designing regulatory interventions that make the system evolve towards a chosen attractor, for example initiating apoptosis in a cancer cell. We describe two algebraic methods for identifying cylinders inside a basin of attraction, one based on the Groebner fan that finds monomials that define cylinders and the other on primary decomposition. Both methods are applied to current examples of gene networks.

An integrative modeling framework reveals plasticity of TGF-β signaling

Background

The TGF-β transforming growth factor is the most pleiotropic cytokine controlling a broad range of cellular responses that include proliferation, differentiation and apoptosis. The context-dependent multifunctional nature of TGF-β is associated with complex signaling pathways. Differential models describe the dynamics of the TGF-β canonical pathway, but modeling the non-canonical networks constitutes a major challenge. Here, we propose a qualitative approach to explore all TGF-β-dependent signaling pathways.

Results

Using a new formalism, CADBIOM, which is based on guarded transitions and includes temporal parameters, we have built the first discrete model of TGF-β signaling networks by automatically integrating the 137 human signaling maps from the Pathway Interaction Database into a single unified dynamic model. Temporal property-checking analyses of 15934 trajectories that regulate 145 TGF-β target genes reveal the association of specific pathways with distinct biological processes. We identify 31 different combinations of TGF-β with other extracellular stimuli involved in non-canonical TGF-β pathways that regulate specific gene networks. Extensive analysis of gene expression data further demonstrates that genes sharing CADBIOM trajectories tend to be co-regulated.

Conclusions

As applied here to TGF-β signaling, CADBIOM allows, for the first time, a full integration of highly complex signaling pathways into dynamic models that permit to explore cell responses to complex microenvironment stimuli.

Integrative modelling of the influence of MAPK network on cancer cell fate decision

The Mitogen-Activated Protein Kinase (MAPK) network consists of tightly interconnected signalling pathways involved in diverse cellular processes, such as cell cycle, survival, apoptosis and differentiation. Although several studies reported the involvement of these signalling cascades in cancer deregulations, the precise mechanisms underlying their influence on the balance between cell proliferation and cell death (cell fate decision) in pathological circumstances remain elusive. Based on an extensive analysis of published data, we have built a comprehensive and generic reaction map for the MAPK signalling network, using CellDesigner software. In order to explore the MAPK responses to different stimuli and better understand their contributions to cell fate decision, we have considered the most crucial components and interactions and encoded them into a logical model, using the software GINsim. Our logical model analysis particularly focuses on urinary bladder cancer, where MAPK network deregulations have often been associated with specific phenotypes. To cope with the combinatorial explosion of the number of states, we have applied novel algorithms for model reduction and for the compression of state transition graphs, both implemented into the software GINsim. The results of systematic simulations for different signal combinations and network perturbations were found globally coherent with published data. In silico experiments further enabled us to delineate the roles of specific components, cross-talks and regulatory feedbacks in cell fate decision. Finally, tentative proliferative or anti-proliferative mechanisms can be connected with established bladder cancer deregulations, namely Epidermal Growth Factor Receptor (EGFR) over-expression and Fibroblast Growth Factor Receptor 3 (FGFR3) activating mutations.

Depending on environmental conditions, strongly intertwined cellular signalling pathways are activated, involving activation/inactivation of proteins and genes in response to external and/or internal stimuli. Alterations of some components of these pathways can lead to wrong cell behaviours. For instance, cancer-related deregulations lead to high proliferation of malignant cells enabling sustained tumour growth. Understanding the precise mechanisms underlying these pathways is necessary to delineate efficient therapeutical approaches for each specific tumour type. We particularly focused on the Mitogen-Activated Protein Kinase (MAPK) signalling network, whose involvement in cancer is well established, although the precise conditions leading to its positive or negative influence on cell proliferation are still poorly understood. We tackled this problem by first collecting sparse published biological information into a comprehensive map describing the MAPK network in terms of stylised chemical reactions. This information source was then used to build a dynamical Boolean model recapitulating network responses to characteristic stimuli observed in selected bladder cancers. Systematic model simulations further allowed us to link specific network components and interactions with proliferative/anti-proliferative cell responses.

A conceptual review on systems biology in health and diseases: from biological networks to modern therapeutics

Human physiology is an ensemble of various biological processes spanning from intracellular molecular interactions to the whole body phenotypic response. Systems biology endures to decipher these multi-scale biological networks and bridge the link between genotype to phenotype. The structure and dynamic properties of these networks are responsible for controlling and deciding the phenotypic state of a cell. Several cells and various tissues coordinate together to generate an organ level response which further regulates the ultimate physiological state. The overall network embeds a hierarchical regulatory structure, which when unusually perturbed can lead to undesirable physiological state termed as disease. Here, we treat a disease diagnosis problem analogous to a fault diagnosis problem in engineering systems. Accordingly we review the application of engineering methodologies to address human diseases from systems biological perspective. The review highlights potential networks and modeling approaches used for analyzing human diseases. The application of such analysis is illustrated in the case of cancer and diabetes. We put forth a concept of cell-to-human framework comprising of five modules (data mining, networking, modeling, experimental and validation) for addressing human physiology and diseases based on a paradigm of system level analysis. The review overtly emphasizes on the importance of multi-scale biological networks and subsequent modeling and analysis for drug target identification and designing efficient therapies.

Reaction-contingency based bipartite Boolean modelling

Background

Intracellular signalling systems are highly complex, rendering mathematical modelling of large signalling networks infeasible or impractical. Boolean modelling provides one feasible approach to whole-network modelling, but at the cost of dequantification and decontextualisation of activation. That is, these models cannot distinguish between different downstream roles played by the same component activated in different contexts.

Results

Here, we address this with a bipartite Boolean modelling approach. Briefly, we use a state oriented approach with separate update rules based on reactions and contingencies. This approach retains contextual activation information and distinguishes distinct signals passing through a single component. Furthermore, we integrate this approach in the rxncon framework to support automatic model generation and iterative model definition and validation. We benchmark this method with the previously mapped MAP kinase network in yeast, showing that minor adjustments suffice to produce a functional network description.

Conclusions

Taken together, we (i) present a bipartite Boolean modelling approach that retains contextual activation information, (ii) provide software support for automatic model generation, visualisation and simulation, and (iii) demonstrate its use for iterative model generation and validation.

Information content and scalability in signal transduction network reconstruction formats

One of the first steps towards holistic understanding of cellular networks is the integration of the available information in a human and machine readable format. This network reconstruction process is well established for metabolic networks, and numerous genome wide metabolic reconstructions are already available. Extending these strategies to signalling networks has proven difficult, primarily due to the combinatorial nature of regulatory modifications. The combinatorial nature of possible protein-protein interactions and post translational modifications affects both network size and the correspondence between the reconstructed network and the underlying empirical data. Here, we discuss different approaches to reconstruction of signal transduction networks. We divide the current approaches into topological, specific state based and reaction-contingency based, and discuss their different information content and scalability. The discussion focusses on graphical formats but the points are in general applicable also to mathematical models and databases. While the formats have complementary strengths especially for small networks, reaction-contingency based formats have a number of advantages in the light of global network reconstruction. In particular, they minimise the need for assumptions, maximise the congruence with empirical data, and scale efficiently with network size.

Boolean model of yeast apoptosis as a tool to study yeast and human apoptotic regulations

Programmed cell death (PCD) is an essential cellular mechanism that is evolutionary conserved, mediated through various pathways and acts by integrating different stimuli. Many diseases such as neurodegenerative diseases and cancers are found to be caused by, or associated with, regulations in the cell death pathways. Yeast Saccharomyces cerevisiae, is a unicellular eukaryotic organism that shares with human cells components and pathways of the PCD and is therefore used as a model organism. Boolean modeling is becoming promising approach to capture qualitative behavior and describe essential properties of such complex networks. Here we present large literature-based and to our knowledge first Boolean model that combines pathways leading to apoptosis (a type of PCD) in yeast. Analysis of the yeast model confirmed experimental findings of anti-apoptotic role of Bir1p and pro-apoptotic role of Stm1p and revealed activation of the stress protein kinase Hog proposing the maximal level of activation upon heat stress. In addition we extended the yeast model and created an in silico humanized yeast in which human pro- and anti-apoptotic regulators Bcl-2 family and Valosin-contain protein (VCP) are included in the model. We showed that accumulation of Bax in silico humanized yeast shows apoptotic markers and that VCP is essential target of Akt Signaling. The presented Boolean model provides comprehensive description of yeast apoptosis network behavior. Extended model of humanized yeast gives new insights of how complex human disease like neurodegeneration can initially be tested.

PATHLOGIC-S: a scalable Boolean framework for modelling cellular signalling

Curated databases of signal transduction have grown to describe several thousand reactions, and efficient use of these data requires the development of modelling tools to elucidate and explore system properties. We present PATHLOGIC-S, a Boolean specification for a signalling model, with its associated GPL-licensed implementation using integer programming techniques. The PATHLOGIC-S specification has been designed to function on current desktop workstations, and is capable of providing analyses on some of the largest currently available datasets through use of Boolean modelling techniques to generate predictions of stable and semi-stable network states from data in community file formats. PATHLOGIC-S also addresses major problems associated with the presence and modelling of inhibition in Boolean systems, and reduces logical incoherence due to common inhibitory mechanisms in signalling systems. We apply this approach to signal transduction networks including Reactome and two pathways from the Panther Pathways database, and present the results of computations on each along with a discussion of execution time. A software implementation of the framework and model is freely available under a GPL license.