Logical modeling of the mammalian cell cycle

Proper understanding of the behavior of complex biological regulatory networks requires the integration of heterogeneous data into predictive mathematical models. Logical modeling focuses on qualitative data and offers a flexible framework to delineate the main dynamical properties of such networks. However, formal analysis faces a combinatorial explosion as the number of regulatory components and interactions increases. Here, we show how model-checking techniques can be used to verify sophisticated dynamical properties resulting from model regulatory structure. We demonstrate the power of this approach through the updating of a model of the molecular network controlling mammalian cell cycle. We use model-checking to progressively refine this model in order to fit recent experimental observations. The resulting model accounts for the sequential activation of cyclins, the role of Skp2, and emphasizes a multifunctional role for the cell cycle inhibitor Rb

Model Checking to Assess T-Helper Cell Plasticity

Computational modeling constitutes a crucial step toward the functional understanding of complex cellular networks. In particular, logical modeling has proven suitable for the dynamical analysis of large signaling and transcriptional regulatory networks. In this context, signaling input components are generally meant to convey external stimuli, or environmental cues. In response to such external signals, cells acquire specific gene expression patterns modeled in terms of attractors (e.g., stable states). The capacity for cells to alter or reprogram their differentiated states upon changes in environmental conditions is referred to as cell plasticity. In this article, we present a multivalued logical framework along with computational methods recently developed to efficiently analyze large models. We mainly focus on a symbolic model checking approach to investigate switches between attractors subsequent to changes of input conditions. As a case study, we consider the cellular network regulating the differentiation of T-helper (Th) cells, which orchestrate many physiological and pathological immune responses. To account for novel cellular subtypes, we present an extended version of a published model of Th cell differentiation. We then use symbolic model checking to analyze reachability properties between Th subtypes upon changes of environmental cues. This allows for the construction of a synthetic view of Th cell plasticity in terms of a graph connecting subtypes with arcs labeled by input conditions. Finally, we explore novel strategies enabling specific Th cell polarizing or reprograming events.LabEx MemoLife, Ecole Normale Supérieure, FCT grants: (PEst-OE/EEI/LA0021/2013, IF/01333/2013), Ph.D.program of the Agence National de Recherche sur Le Sida (ANRS), European Research Council consolidator grant

Cooperative development of logical modelling standards and tools with CoLoMoTo

The identification of large regulatory and signalling networks involved in the control of crucial cellular processes calls for proper modelling approaches. Indeed, models can help elucidate properties of these networks, understand their behaviour and provide (testable) predictions by performing in silico experiments. In this context, qualitative, logical frameworks have emerged as relevant approaches, as demonstrated by a growing number of published models, along with new methodologies and software tools. This productive activity now requires a concerted effort to ensure model reusability and interoperability between tools. Following an outline of the logical modelling framework, we present the most important achievements of the Consortium for Logical Models and Tools, along with future objectives. Our aim is to advertise this open community, which welcomes contributions from all researchers interested in logical modelling or in related mathematical and computational developments. Contact: [email protected]

Dynamical modeling of syncytial mitotic cycles in Drosophila embryos

Immediately following fertilization, the fruit fly embryo undergoes 13 rapid, synchronous, syncytial nuclear division cycles driven by maternal genes and proteins. During these mitotic cycles, there are barely detectable oscillations in the total level of B-type cyclins. In this paper, we propose a dynamical model for the molecular events underlying these early nuclear division cycles in Drosophila. The model distinguishes nuclear and cytoplasmic compartments of the embryo and permits exploration of a variety of rules for protein transport between the compartments. Numerical simulations reproduce the main features of wild-type mitotic cycles: patterns of protein accumulation and degradation, lengthening of later cycles, and arrest in interphase 14. The model is consistent with mutations that introduce subtle changes in the number of mitotic cycles before interphase arrest. Bifurcation analysis of the differential equations reveals the dependence of mitotic oscillations on cycle number, and how this dependence is altered by mutations. The model can be used to predict the phenotypes of novel mutations and effective ranges of the unmeasured rate constants and transport coefficients in the proposed mechanism

Logical modelling of cellular decision processes with GINsim

International audienc

Logical Modeling and Analysis of Cellular Regulatory Networks With GINsim 3.0

The logical formalism is well adapted to model large cellular networks, in particular when detailed kinetic data are scarce. This tutorial focuses on this well-established qualitative framework. Relying on GINsim (release 3.0), a software implementing this formalism, we guide the reader step by step toward the definition, the analysis and the simulation of a four-node model of the mammalian p53-Mdm2 network

Analyzing various models of Circadian Clock and Cell Cycle coupling

The daily rhythm can influence the proliferation rate of many cell types. In the mammalian system the transcription of the cell cycle regulatory protein Wee1 is controlled by the circadian clock. Zamborszky et al. (2007) present a computational model coupling the cell cycle and circadian rhythm, showing that this coupling can lead to multimodal cell cycle time distributions. Biological data points to additional couplings, including a link back from the cell cycle to the circadian clock. Proper modelling of this coupling requires a more detailed description of both parts of the model. Hence, we aim at further extending and analysing earlier models using a combination of modelling techniques and computer software, including CoSBI lab, BIOCHAM, and GINsim

Logical Modeling and Dynamical Analysis of Cellular Networks

The logical (or logic) formalism is increasingly used to model regulatory and signaling networks. Complementing these applications, several groups contributed various methods and tools to support the definition and analysis of logical models. After an introduction to the logical modeling framework and to several of its variants, we review here a number of recent methodological advances to ease the analysis of large and intricate networks. In particular, we survey approaches to determine model attractors and their reachability properties, to assess the dynamical impact of variations of external signals, and to consistently reduce large models. To illustrate these developments, we further consider several published logical models for two important biological processes, namely the differentiation of T helper cells and the control of mammalian cell cycle.LabEx MemoLife; Ecole Normale Supérieure; French Plan Cancer (2014–2017) project: (Modeling cell communication networks in breast cancer - CoMET); FCT grants: (UID/CEC/50021/2013, IF/01333/2013); Fundação Calouste Gulbenkian

CoCAS: a ChIP-on-chip analysis suite

Motivation: High-density tiling microarrays are increasingly used in combination with ChIP assays to study transcriptional regulation. To ease the analysis of the large amounts of data generated by this approach, we have developed ChIP-on-chip Analysis Suite (CoCAS), a standalone software suite which implements optimized ChIP-on-chip data normalization, improved peak detection, as well as quality control reports. Our software allows dye swap, replicate correlation and connects easily with genome browsers and other peak detection algorithms. CoCAS can readily be used on the latest generation of Agilent high-density arrays. Also, the implemented peak detection methods are suitable for other datasets, including ChIP-Seq output