Modeling Biological Pathway Dynamics With Timed Automata

Living cells are constantly subjected to a plethora of environmental stimuli that require integration into an appropriate cellular response. This integration takes place through signal transduction events that form tightly interconnected networks. The understanding of these networks requires to capture their dynamics through computational support and models. ANIMO (Analysis of Networks with Interactive MOdelling) is a tool that enables construction and exploration of executable models of biological networks, helping to derive hypotheses and to plan wet-lab experiments. The tool is based on the formalism of Timed Automata, which can be analysed via the UPPAAL model checker. Thanks to Timed Automata, we can provide a formal semantics for the domain-specific language used to represent signalling networks. This enforces precision and uniformity in the definition of signalling pathways, contributing to the integration of isolated signalling events into complex network models. We propose an approach to discretization of reaction kinetics that allows us to efficiently use UPPAAL as the computational engine to explore the dynamic behaviour of the network of interest. A user-friendly interface hides the use of Timed Automata from the user, while keeping the expressive power intact. Abstraction to single-parameter kinetics speeds up construction of models that remain faithful enough to provide meaningful insight. The resulting dynamic behaviour of the network components is displayed graphically, allowing for an intuitive and interactive modelling experience

Biological networks 101: computational modeling for molecular biologists

Computationalmodeling of biological networks permits the comprehensive analysis of cells and tissues to define molecular phenotypes and novel hypotheses. Although a large number of software tools have been developed, the versatility of these tools is limited by mathematical complexities that prevent their broad adoption and effective use by molecular biologists. This study clarifies the basic aspects ofmolecular modeling, howto convert data into useful input, as well as the number of time points and molecular parameters that should be considered for molecular regulatory models with both explanatory and predictive potential. We illustrate the necessary experimental preconditions for converting data into a computational model of network dynamics. This model requires neither a thorough background in mathematics nor precise data on intracellular concentrations, binding affinities or reaction kinetics. Finally,we showhowan interactivemodel of crosstalk between signal transduction pathways in primary human articular chondrocytes allows insight into processes that regulate gene expression

A phosphorylation‐deficient ribosomal protein eS6 is largely functional in Arabidopsis thaliana, rescuing mutant defects from global translation and gene expression to photosynthesis and growth

Abstract The eukaryote‐specific ribosomal protein of the small subunit eS6 is phosphorylated through the target of rapamycin (TOR) kinase pathway. Although this phosphorylation event responds dynamically to environmental conditions and has been studied for over 50 years, its biochemical and physiological significance remains controversial and poorly understood. Here, we report data from Arabidopsis thaliana, which indicate that plants expressing only a phospho‐deficient isoform of eS6 grow essentially normally under laboratory conditions. The eS6z (RPS6A) paralog of eS6 functionally rescued a double mutant in both rps6a and rps6b genes when expressed at approximately twice the wild‐type dosage. A mutant isoform of eS6z lacking the major six phosphorylatable serine and threonine residues in its carboxyl‐terminal tail also rescued the lethality, rosette growth, and polyribosome loading of the double mutant. This isoform also complemented many mutant phenotypes of rps6 that were newly characterized here, including photosynthetic efficiency, and most of the gene expression defects that were measured by transcriptomics and proteomics. However, compared with plants rescued with a phospho‐enabled version of eS6z, the phospho‐deficient seedlings retained a mild pointed‐leaf phenotype, root growth was reduced, and certain cell cycle‐related mRNAs and ribosome biogenesis proteins were misexpressed. The residual defects of the phospho‐deficient seedlings could be understood as an incomplete rescue of the rps6 mutant defects. There was little or no evidence for gain‐of‐function defects. As previously published, the phospho‐deficient eS6z also rescued the rps6a and rps6b single mutants; however, phosphorylation of the eS6y (RPS6B) paralog remained lower than predicted, further underscoring that plants can tolerate phospho‐deficiency of eS6 well. Our data also yield new insights into how plants cope with mutations in essential, duplicated ribosomal protein isoforms

Modeling Biological Pathway Dynamics With Timed Automata

Living cells are constantly subjected to a plethora of environmental stimuli that require integration into an appropriate cellular response. This integration takes place through signal transduction events that form tightly interconnected networks. The understanding of these networks requires to capture their dynamics through computational support and models. ANIMO (Analysis of Networks with Interactive MOdelling) is a tool that enables construction and exploration of executable models of biological networks, helping to derive hypotheses and to plan wet-lab experiments. The tool is based on the formalism of Timed Automata, which can be analysed via the UPPAAL model checker. Thanks to Timed Automata, we can provide a formal semantics for the domain-specific language used to represent signalling networks. This enforces precision and uniformity in the definition of signalling pathways, contributing to the integration of isolated signalling events into complex network models. We propose an approach to discretization of reaction kinetics that allows us to efficiently use UPPAAL as the computational engine to explore the dynamic behaviour of the network of interest. A user-friendly interface hides the use of Timed Automata from the user, while keeping the expressive power intact. Abstraction to single-parameter kinetics speeds up construction of models that remain faithful enough to provide meaningful insight. The resulting dynamic behaviour of the network components is displayed graphically, allowing for an intuitive and interactive modelling experience

Phosphorylation of Ribosomal Protein RPS6 Integrates Light Signals and Circadian Clock Signals

The translation of mRNA into protein is tightly regulated by the light environment as well as by the circadian clock. Although changes in translational efficiency have been well documented at the level of mRNA-ribosome loading, the underlying mechanisms are unclear. The reversible phosphorylation of RIBOSOMAL PROTEIN OF THE SMALL SUBUNIT 6 (RPS6) has been known for 40 years, but the biochemical significance of this event remains unclear to this day. Here, we confirm using a clock-deficient strain of Arabidopsis thaliana that RPS6 phosphorylation (RPS6-P) is controlled by the diel light-dark cycle with a peak during the day. Strikingly, when wild-type, clock-enabled, seedlings that have been entrained to a light-dark cycle are placed under free-running conditions, the circadian clock drives a cycle of RPS6-P with an opposite phase, peaking during the subjective night. We show that in wild-type seedlings under a light-dark cycle, the incoherent light and clock signals are integrated by the plant to cause an oscillation in RPS6-P with a reduced amplitude with a peak during the day. Sucrose can stimulate RPS6-P, as seen when sucrose in the medium masks the light response of etiolated seedlings. However, the diel cycles of RPS6-P are observed in the presence of 1% sucrose and in its absence. Sucrose at a high concentration of 3% appears to interfere with the robust integration of light and clock signals at the level of RPS6-P. Finally, we addressed whether RPS6-P occurs uniformly in polysomes, non-polysomal ribosomes and their subunits, and non-ribosomal protein. It is the polysomal RPS6 whose phosphorylation is most highly stimulated by light and repressed by darkness. These data exemplify a striking case of contrasting biochemical regulation between clock signals and light signals. Although the physiological significance of RPS6-P remains unknown, our data provide a mechanistic basis for the future understanding of this enigmatic event

Phosphorylation of Ribosomal Protein RPS6 Integrates Light Signals and Circadian Clock Signals

The translation of mRNA into protein is tightly regulated by the light environment as well as by the circadian clock. Although changes in translational efficiency have been well documented at the level of mRNA-ribosome loading, the underlying mechanisms are unclear. The reversible phosphorylation of RIBOSOMAL PROTEIN OF THE SMALL SUBUNIT 6 (RPS6) has been known for 40 years, but the biochemical significance of this event remains unclear to this day. Here, we confirm using a clock-deficient strain of Arabidopsis thaliana that RPS6 phosphorylation (RPS6-P) is controlled by the diel light-dark cycle with a peak during the day. Strikingly, when wild-type, clock-enabled, seedlings that have been entrained to a light-dark cycle are placed under free-running conditions, the circadian clock drives a cycle of RPS6-P with an opposite phase, peaking during the subjective night. We show that in wild-type seedlings under a light-dark cycle, the incoherent light and clock signals are integrated by the plant to cause an oscillation in RPS6-P with a reduced amplitude with a peak during the day. Sucrose can stimulate RPS6-P, as seen when sucrose in the medium masks the light response of etiolated seedlings. However, the diel cycles of RPS6-P are observed in the presence of 1% sucrose and in its absence. Sucrose at a high concentration of 3% appears to interfere with the robust integration of light and clock signals at the level of RPS6-P. Finally, we addressed whether RPS6-P occurs uniformly in polysomes, non-polysomal ribosomes and their subunits, and non-ribosomal protein. It is the polysomal RPS6 whose phosphorylation is most highly stimulated by light and repressed by darkness. These data exemplify a striking case of contrasting biochemical regulation between clock signals and light signals. Although the physiological significance of RPS6-P remains unknown, our data provide a mechanistic basis for the future understanding of this enigmatic event