Pathway logic modeling of protein functional domains in signal transduction

We describe the application of an approach called pathway logic to the symbolic modeling of protein functional domains (PFDs). We show how signal transduction processes can be modeled at different levels of abstraction involving either an overall state of a protein or its PFDs and their interactions, and how the resulting signalling network can be queried using formal methods tools.