FoPA: identifying perturbed signaling pathways in clinical conditions using formal methods.

ABSTRACT:

Background

Accurate identification of perturbed signaling pathways based on differentially expressed genes between sample groups is one of the key factors in the understanding of diseases and druggable targets. Most pathway analysis methods prioritize impacted signaling pathways by incorporating pathway topology using simple graph-based models. Despite their relative success, these models are limited in describing all types of dependencies and interactions that exist in biological pathways.

Results

In this work, we propose a new approach based on the formal modeling of signaling pathways. Signaling pathways are formally modeled, and then model checking tools are applied to find the likelihood of perturbation for each pathway in a given condition. By adopting formal methods,

SUBMITTER: Mansoori F 

PROVIDER: S-EPMC6390332 | biostudies-literature | 2019 Feb

REPOSITORIES: biostudies-literature