Proteus: a web-based, context-specific modelling tool for molecular networks

The carboxy-terminus, a key regulator of protein function

All proteins end with a carboxyl terminus that has unique biophysical properties and is often disordered. Although there are examples of important C-termini functions, a more global role for the C-terminus is not yet established. In this review, we summarize research on C-termini, a unique region in proteins that cells exploit. Alternative splicing and proteolysis increase the diversity of proteins and peptides in cells with unique C-termini. The C-termini of proteins contain minimotifs, short peptides with an encoded function generally characterized as binding, posttranslational modifications, and trafficking. Many of these activities are specific to minimotifs on the C-terminus. Approximately 13% of C-termini in the human proteome have a known minimotif, and the majority, if not all of the remaining termini have conserved motifs inferring a function that remains to be discovered. C-termini, their predictions, and their functions are collated in the C-terminome, Proteus, and Terminus Oriented Protein Function INferred Database (TopFIND) database/web systems. Many C-termini are well conserved, and some have a known role in health and disease. We envision that this summary of C-termini will guide future investigation of their biochemical and physiological significance.

Cellular Interrogation: Exploiting Cell-to-Cell Variability to Discriminate Regulatory Mechanisms in Oscillatory Signalling

The molecular complexity within a cell may be seen as an evolutionary response to the external complexity of the cell’s environment. This suggests that the external environment may be harnessed to interrogate the cell’s internal molecular architecture. Cells, however, are not only nonlinear and non-stationary, but also exhibit heterogeneous responses within a clonal, isogenic population. In effect, each cell undertakes its own experiment. Here, we develop a method of cellular interrogation using programmable microfluidic devices which exploits the additional information present in cell-to-cell variation, without requiring model parameters to be fitted to data. We focussed on Ca²⁺ signalling in response to hormone stimulation, which exhibits oscillatory spiking in many cell types and chose eight models of Ca²⁺ signalling networks which exhibit similar behaviour in simulation. We developed a nonlinear frequency analysis for non-stationary responses, which could classify models into groups under parameter variation, but found that this question alone was unable to distinguish critical feedback loops. We further developed a nonlinear amplitude analysis and found that the combination of both questions ruled out six of the models as inconsistent with the experimentally-observed dynamics and heterogeneity. The two models that survived the double interrogation were mathematically different but schematically identical and yielded the same unexpected predictions that we confirmed experimentally. Further analysis showed that subtle mathematical details can markedly influence non-stationary responses under parameter variation, emphasising the difficulty of finding a “correct” model. By developing questions for the pathway being studied, and designing more versatile microfluidics, cellular interrogation holds promise as a systematic strategy that can complement direct intervention by genetics or pharmacology.

We have developed a cellular interrogation methodology that combines programmable microfluidics, fluorescence microscopy and mathematical analysis and have used it to discriminate between models of repetitive Ca²⁺ spiking in HeLa cells. Our approach exploits the natural variability in response of individual cells in a clonal population and the non-steady state behavior of the response in each cell, thereby providing more powerful discrimination. Interrogation consists of steps or pulses of histamine of fixed concentration and width but varying frequency. Eight mathematical models of repetitive Ca²⁺ spiking were chosen from the literature and methods of nonlinear frequency and nonlinear amplitude analysis were developed which ruled out all but two of the models, without having to fit the models to the data. Further analysis of the remaining models yielded predictions that were experimentally confirmed. Cellular interrogation offers a general approach to ruling out competing hypotheses about molecular mechanisms, which is complementary to traditional methods of genetics and biochemistry.

Programming biological models in Python using PySB

PySB is a framework for creating biological models as Python programs using a high-level, action-oriented vocabulary that promotes transparency, extensibility and reusability. PySB interoperates with many existing modeling tools and supports distributed model development.

PySB models are programs and leverage existing programming tools for documentation, testing, and collaborative development.

Reusable functions can encode common low-level biochemical processes as well as high-level modules, making models transparent and concise.

Modeling workflow is accelerated through close integration with Python numerical tools and interoperability with existing modeling software.

We demonstrate the use of PySB to encode 15 alternative hypotheses for the mitochondrial regulation of apoptosis, including a new ‘Embedded Together' model based on recent biochemical findings.

Mathematical equations are fundamental to modeling biological networks, but as networks get large and revisions frequent, it becomes difficult to manage equations directly or to combine previously developed models. Multiple simultaneous efforts to create graphical standards, rule-based languages, and integrated software workbenches aim to simplify biological modeling but none fully meets the need for transparent, extensible, and reusable models. In this paper we describe PySB, an approach in which models are not only created using programs, they are programs. PySB draws on programmatic modeling concepts from little b and ProMot, the rule-based languages BioNetGen and Kappa and the growing library of Python numerical tools. Central to PySB is a library of macros encoding familiar biochemical actions such as binding, catalysis, and polymerization, making it possible to use a high-level, action-oriented vocabulary to construct detailed models. As Python programs, PySB models leverage tools and practices from the open-source software community, substantially advancing our ability to distribute and manage the work of testing biochemical hypotheses. We illustrate these ideas using new and previously published models of apoptosis.