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

Area of Science:

• Bioinformatics
• Systems Biology
• Computational Biology

Background:

• Accurate identification of perturbed signaling pathways is crucial for understanding diseases and identifying drug targets.
• Current pathway analysis methods often use graph-based models that limit the description of complex biological interactions.
• Existing models may struggle to capture the full spectrum of dependencies within biological pathways, potentially leading to higher false-positive rates.

Purpose of the Study:

• To introduce a novel approach for pathway analysis using formal modeling and model checking.
• To develop a tool, Formal model checking based pathway analysis (FoPA), for more accurate pathway perturbation identification.
• To compare FoPA's performance against established methods using benchmark datasets and a target pathway technique.

Main Methods:

• Signaling pathways are formally modeled using mathematical formalisms.
• Model checking tools are employed to assess the likelihood of pathway perturbation under specific conditions.
• FoPA is validated against PADOG, CePa, and SPIA using 36 GEO datasets and simulated negative controls to evaluate accuracy and false-positive rates.

Main Results:

• FoPA demonstrates comparable or superior performance in prioritizing target pathways against PADOG, CePa, and SPIA.
• The proposed method exhibits a lower false-positive rate in identifying significant pathways.
• FoPA successfully identified more consistent relevant pathways across various disease datasets.

Conclusions:

• FoPA provides a more accurate and reliable method for signaling pathway analysis.
• The tool effectively reduces false positives and enhances the detection of biologically relevant pathways.
• Application to autism-related genes suggests a potential role for the Renin-angiotensin system pathway in autism development, warranting further investigation.