Formalization of a Biological Domain with Beta Binders

摘要

In this paper the problem of formal specification of biological phenomena was considered. The presented formalization of metabolic pathways domain is the first step toward specification and formal analysis of multi-domain biological models.rnThe proposed method of formalization of biological domains does not depend essentially on the original language of a biological specification. It can be easily adapted to a format of one of existing databases. So the proposed approach gives Wide possibilities for automatic analysis of already collected biological knowledge.rnSince our approach support a compositional property of specifications, complex models consisting of arbitrary amount of metabolic pathways can be analyzed using formal methods techniques.