Syncytial apoptosis signaling network induced by the HIV-1 envelope glycoprotein complex: an overview.

Infection by human immunodeficiency virus-1 (HIV-1) is associated with a progressive decrease in CD4 T-cell numbers and the consequent collapse of host immune defenses. The major pathogenic mechanism of AIDS is the massive apoptotic destruction of the immunocompetent cells, including uninfected cells. The latter process, also known as by-stander killing, operates by various mechanisms one of which involves the formation of syncytia which undergo cell death by following a complex pathway. We present here a detailed and curated map of the syncytial apoptosis signaling network, aimed at simplifying the whole mechanism that we have characterized at the molecular level in the last 15 years. The map was created using Systems Biology Graphical Notation language with the help of CellDesigner software and encompasses 36 components (proteins/genes) and 54 interactions. The simplification of this complex network paves the way for the development of novel therapeutic strategies to eradicate HIV-1 infection. Agents that induce the selective death of HIV-1-elicited syncytia might lead to the elimination of viral reservoirs and hence constitute an important complement to current antiretroviral therapies.

Dynamical modeling and analysis of large cellular regulatory networks.

The dynamical analysis of large biological regulatory networks requires the development of scalable methods for mathematical modeling. Following the approach initially introduced by Thomas, we formalize the interactions between the components of a network in terms of discrete variables, functions, and parameters. Model simulations result in directed graphs, called state transition graphs. We are particularly interested in reachability properties and asymptotic behaviors, which correspond to terminal strongly connected components (or "attractors") in the state transition graph. A well-known problem is the exponential increase of the size of state transition graphs with the number of network components, in particular when using the biologically realistic asynchronous updating assumption. To address this problem, we have developed several complementary methods enabling the analysis of the behavior of large and complex logical models: (i) the definition of transition priority classes to simplify the dynamics; (ii) a model reduction method preserving essential dynamical properties, (iii) a novel algorithm to compact state transition graphs and directly generate compressed representations, emphasizing relevant transient and asymptotic dynamical properties. The power of an approach combining these different methods is demonstrated by applying them to a recent multilevel logical model for the network controlling CD4+ T helper cell response to antigen presentation and to a dozen cytokines. This model accounts for the differentiation of canonical Th1 and Th2 lymphocytes, as well as of inflammatory Th17 and regulatory T cells, along with many hybrid subtypes. All these methods have been implemented into the software GINsim, which enables the definition, the analysis, and the simulation of logical regulatory graphs.

Logical modelling of regulatory networks with GINsim 2.3.

Many important problems in cell biology require the consideration of dense nonlinear interactions between functional modules. The requirement of computer simulation for the understanding of cellular processes is now widely accepted, and a variety of modelling frameworks have been designed to meet this need. Here, we present a novel public release of the Gene Interaction Network simulation suite (GINsim), a software designed for the qualitative modelling and analysis of regulatory networks. The main functionalities of GINsim are illustrated through the analysis of a logical model for the core network controlling the fission yeast cell cycle. The last public release of GINsim (version 2.3), as well as development versions, can be downloaded from the dedicated website (http://gin.univ-mrs.fr/GINsim/), which further includes a model library, along with detailed tutorial and user manual.

GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks.

This paper presents GINsim, a Java software suite devoted to the qualitative modelling, analysis and simulation of genetic regulatory networks. Formally, our approach leans on discrete mathematical and graph-theoretical concepts. GINsim encompasses an intuitive graph editor, enabling the definition and the parameterisation of a regulatory graph, as well as a simulation engine to compute the corresponding qualitative dynamical behaviour. Our computational approach is illustrated by a preliminary model analysis of the inter-cellular regulatory network activating Notch at the dorsal-ventral boundary in the wing imaginal disc of Drosophila. We focus on the cross-regulations between five genes (within and between two cells), which implements the dorsal-ventral border in the developing imaginal disc. Our simulations qualitatively reproduce the wild-type developmental pathway, as well as the outcome of various types of experimental perturbations, such as loss-of-function mutations or ectopically induced gene expression.

Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E.coli.

MOTIVATION: The integrated dynamical modelling of mixed metabolic/genetic networks constitutes one of the challenges of systems biology. Furthermore, as most of available data about genetic and metabolic regulations are qualitative, there is a pressing need for rigorous qualitative mathematical approaches. RESULTS: On the basis of two established formalisms, the logical modelling of genetic regulatory networks and the Petri net modelling of metabolic networks, we propose a systematic approach for the modelling of regulated metabolic networks. This approach leans on previous work defining a systematic procedure to translate logical regulatory graphs into standard (discrete) Petri nets (PNs). This approach is illustrated by the qualitative modelling of the biosynthesis of tryptophan (Trp) in Escherichia coli, taking into account two types of regulatory feedbacks: the direct inhibition of the first enzyme of the pathway by the final product of the pathway, and the transcriptional inhibition of the Trp operon by the Trp-repressor complex. On the basis of this integrated PN model, we further indicate how available dynamical analysis tools can be applied to obtain significant insights in the behaviour of the system. AVAILABILITY: The software GINsim for the logical modelling of genetic regulatory networks together with the PN model of the regulated Trp biosynthesis pathway are available at: http://gin.univ-mrs.fr/GINsim.

A description of dynamical graphs associated to elementary regulatory circuits.

The biological and dynamical importance of feedback circuits in regulatory graphs has often been emphasized. The work presented here aims at completely describing the dynamics of isolated elementary regulatory circuits. Our analytical approach is based on a discrete formal framework, built upon the logical approach of R. Thomas. Given a regulatory circuit, we show that the structure of synchronous and asynchronous dynamical graphs depends only on the length of the circuit (number of genes) and on its sign (which depends on the parity of the number of negative interactions). This work constitutes a first step towards the analytical characterisation of discrete dynamical graphs for more complex regulatory networks in terms of contributions corresponding to their embedded elementary circuits.

A logical analysis of the Drosophila gap-gene system.

This manuscript focuses on the formal analysis of the gap-gene network involved in Drosophila segmentation. The gap genes are expressed in defined domains along the anterior-posterior axis of the embryo, as a response to asymmetric maternal information in the oocyte. Though many of the individual interactions among maternal and gap genes are reasonably well understood, we still lack a thorough understanding of the dynamic behavior of the system as a whole. Based on a generalized logical formalization, the present analysis leads to the delineation of: (1) the minimal number of distinct, qualitative, functional levels associated with each of the key regulatory factors (the three maternal Bcd, Hb and Cad products, and the four gap Gt, Hb, Kr and Kni products); (2) the most crucial interactions and regulatory circuits of the earliest stages of the segmentation process; (3) the ordering of different regulatory interactions governed by each of these products according to corresponding concentration scales; and (4) the role of gap-gene cross-interactions in the transformation of graded maternal information into discrete gap-gene expression domains. The proposed model allows not only the qualitative reproduction of the patterns of gene expression characterized experimentally, but also the simulation and prediction of single and multiple mutant phenotypes.

Rationalizing early embryogenesis in the 1930s: Albert Dalcq on gradients and fields.

The present account aims to contribute to a better characterization of the state and the dynamics of embryological knowledge at the dawn of the molecular revolution in biology. In this study, Albert Dalcq (1893-1973) was chosen as a representative of a generation of embryologists who found themselves at the junction of two very different approaches to the study of life: the first, focusing on global properties of organisms; the first, focusing on the characterization of basic molecular constituents. Though clearly belonging to the organismic tradition, Dalcq was already blending his experimental and explanatory practices with biochemical aspects by the 1930s. Principally based on published sources, the present analysis focuses on the conceptual definitions, modifications and interrelations on which Dalcq's explanation of development rested. Among these are variant process concepts such as gradients and fields, which are often thought to have strongly holistic implications. I will argue that Dalcq's version of these concepts was compatible with a more reductionist treatment of embryos than was accepted by most embryologists as late as the 1950s, pointing to some extent toward the recent molecular characterization of gradients by molecular geneticists such as Christiane Nüsslien-Volhard. Moreover, I will show the embryological research program of Dalcq and his pupil Jean Brachet has been largely instrumental in the development of molecular biology in Belgium.

From global expression data to gene networks.

Allowing the parallel monitoring of the transcription of thousands of genes, microarrays constitute a powerful technique for functional genomics. In a recent paper, a clustering method and a local alignment software were combined to identify DNA motifs in sets of yeast genes endowed with similar transcription profiles throughout mitosis (1). Identifying various known transcriptional binding sites together with new putative ones, the authors made a significant step towards a systematic characterization of the regulatory structure of genomic networks. BioEssays 1999;21:895-899.

Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis.

MOTIVATION: A large number of molecular mechanisms at the basis of gene regulation have been described during the last few decades. It is now becoming possible to address questions dealing with both the structure and the dynamics of genetic regulatory networks, at least in the case of some of the best-characterized organisms. Most recent attempts to address these questions deal with microbial or animal model systems. In contrast, we analyze here a gene network involved in the control of the morphogenesis of flowers in a model plant, Arabidopsis thaliana. RESULTS: The genetic control of flower morphogenesis in Arabidopsis involves a large number of genes, of which 10 are considered here. The network topology has been derived from published genetic and molecular data, mainly relying on mRNA expression patterns under wild-type and mutant backgrounds. Using a 'generalized logical formalism', we provide a qualitative model and derive the parameter constraints accounting for the different patterns of gene expression found in the four floral organs of Arabidopsis (sepals, petals, stamens and carpels), plus a 'non-floral' state. This model also allows the simulation or the prediction of various mutant phenotypes. On the basis of our model analysis, we predict the existence of a sixth stable pattern of gene expression, yet to be characterized experimentally. Moreover, our dynamical analysis leads to the prediction of at least one more regulator of the gene LFY, likely to be involved in the transition from the non-flowering state to the flowering pathways. Finally, this work, together with other theoretical and experimental considerations, leads us to propose some general conclusions about the structure of gene networks controlling development.

The modularity of biological regulatory networks.

A useful approach to complex regulatory networks consists of modeling their elements and interactions by Boolean equations. In this context, feedback circuits (i.e. circular sequences of interactions) have been shown to play key dynamical roles: whereas positive circuits are able to generate multistationarity, negative circuits may generate oscillatory behavior. In this paper, we principally focus on the case of gene networks. These are represented by fully connected Boolean networks where each element interacts with all elements including itself. Flexibility in network design is introduced by the use of Boolean parameters, one associated with each interaction or group of interactions affecting a given element. Within this formalism, a feedback circuit will generate its typical dynamical behavior (i.e. multistationarity or oscillations) only for appropriate values of some of the logical parameters. Whenever it does, we say that the circuit is 'functional'. More interestingly, this formalism allows the computation of the constraints on the logical parameters to have any feedback circuit functional in a network. Using this methodology, we found that the fraction of the total number of consistent combinations of parameter values that make a circuit functional decreases geometrically with the circuit length. From a biological point of view, this suggests that regulatory networks could be decomposed into small and relatively independent feedback circuits or 'regulatory modules'.

Qualitative analysis of gene networks.

In this paper, we review the qualitative tools developed by our group for the analysis of regulatory networks. Focusing on the dynamical and biological roles of feedback circuits, this method can be applied in the context of both logical and differential formalisms. This approach already led to several interesting results about the relation between the network structure and the corresponding dynamical properties. In particular, it could be shown that at least one positive regulatory circuit is necessary to generate multistationarity (i.e., alternative states of gene expression), whereas at least one negative circuit is necessary to generate a stable oscillatory behavior. Applications to the analysis of complex gene networks, as well as to the synthesis of regulatory models to account for global expression data are discussed.

Prediction of transcriptional regulatory sites in the complete genome sequence of Escherichia coli K-12.

MOTIVATION: As one of the best-characterized free-living organisms, Escherichia coli and its recently completed genomic sequence offer a special opportunity to exploit systematically the variety of regulatory data available in the literature in order to make a comprehensive set of regulatory predictions in the whole genome. RESULTS: The complete genome sequence of E.coli was analyzed for the binding of transcriptional regulators upstream of coding sequences. The biological information contained in RegulonDB (Huerta, A.M. et al., Nucleic Acids Res.,26,55-60, 1998) for 56 different transcriptional proteins was the support to implement a stringent strategy combining string search and weight matrices. We estimate that our search included representatives of 15-25% of the total number of regulatory binding proteins in E.coli. This search was performed on the set of 4288 putative regulatory regions, each 450 bp long. Within the regions with predicted sites, 89% are regulated by one protein and 81% involve only one site. These numbers are reasonably consistent with the distribution of experimental regulatory sites. Regulatory sites are found in 603 regions corresponding to 16% of operon regions and 10% of intra-operonic regions. Additional evidence gives stronger support to some of these predictions, including the position of the site, biological consistency with the function of the downstream gene, as well as genetic evidence for the regulatory interaction. The predictions described here were incorporated into the map presented in the paper describing the complete E.coli genome (Blattner,F.R. et al., Science, 277, 1453-1461, 1997). AVAILABILITY: The complete set of predictions in GenBank format is available at the url: http://www. cifn.unam.mx/Computational_Biology/E.coli-predictions CONTACT: ecoli-reg@cifn.unam.mx, collado@cifn.unam.mx

From specific gene regulation to genomic networks: a global analysis of transcriptional regulation in Escherichia coli.

Because a large number of molecular mechanisms involved in gene regulation have been described during the last decades, it is now becoming possible to address questions about the global structure of gene regulatory networks, at least in the case of some of the best-characterized organisms. This paper presents a global characterization of the transcriptional regulation in Escherichia coli on the basis of the current data. The connectivity of the corresponding network was evaluated by analyzing the distribution of the number of genes regulated by a given regulatory protein, and the distribution of the number of regulatory genes regulating a given regulated gene. The mean connectivity found (between 2 and 3) shows a rather loosely interconnected structure. Special emphasis is given to circular sequences of interactions ("circuits") because of their critical dynamical properties. Only one-element circuits were found, in which negative autoregulation is the dominant architecture. These global properties are discussed in light of several pertinent theoretical approaches, as well as in terms of physiological and evolutionary considerations.

RegulonDB: a database on transcriptional regulation in Escherichia coli.

RegulonDB is a DataBase that integrates biological knowledge of the mechanisms that regulate the transcription initiation in Escherichia coli , as well as knowledge on the organization of the genes and regulatory signals into operons in the chromosome. The operon is the basic structure used in RegulonDB to describe the elements and properties of transcriptional regulation. The current version contains information around some 500 regulation mechanisms, essentially for sigma 70 promoters.