2020 | OriginalPaper | Buchkapitel
What is a Cell Cycle Checkpoint? The TotemBioNet
Answer
verfasst von : Déborah Boyenval, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet
Erschienen in: Computational Methods in Systems Biology
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
TotemBioNet
is a new software platform to assist the design of qualitative regulatory network models by combining “genetically modified Hoare logic”, temporal logic model checking and optimized enumeration techniques. TotemBioNet
is particularly efficient to manage parameter identification, the most critical step of formal modelling. It is also remarkably flexible and efficient to check properties in order to explore biological assumptions. To illustrate this efficacy, we address the classical example of the cell cycle, where the passage from one phase to the next one, called checkpoint, is crucial but is usually a rather fuzzy informal concept. The cyclic behaviour of the cell cycle is specified by temporal logic and the order of individual events inside each phase is explored thanks to quantifiers introduced in Hoare logic. This way, TotemBioNet
rapidly suggests a sensible formalization of the notion of checkpoint.