Section outline

  • Applications of Rewriting Logic in Biology
    Temur Kutsia

    Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally modeled. It is also a flexible logical framework in which many different logical formalisms can be both represented and executed. The Maude system is an implementation of rewriting logic. Pathway Logic is an approach to modeling biological entities and processes based on rewriting logic. It is an example of how formal modeling techniques can be used to develop a new science of symbolic systems biology. This computational science will provide researchers with powerful tools to facilitate the understanding of complex biological systems and accelerate the design of experiments to test hypotheses about their functions in vivo.

    In these lectures we will give a brief introduction to rewriting logic and Maude, and show how pathway logic can be used to model biological processes.