Identification of crosstalk in Insulin pathway using Pathway Logic

Signaling Pathways regulate several processes in cells. Analysis of these signaling pathways is difficult because the number of proteins/chemicals involved in signal transduction is enormous. Moreover presence of crosstalk makes these pathways so complex that analysis without some computational framework is very difficult. Knocking out/mutation of crosstalk may affect the regulation of some particular pathways. Pathway Logic (PL) provides a platform where biologist can model and query the signaling pathway using formal methods. First the known interactions in Insulin pathway are modeled using PL and then several crosstalk are identified.