Formal Models of Biological Systems

Recent biomedical research studies are focused in the mechanisms by which misfolded proteins lead to the generation of oxidative stress in the form of reactive oxygen species (ROS), often implicated in neurodegenerative diseases and aging. Moreover, biological experiments are designed to investigate how proteostasis depends on the balance between the folding capacity of chaperone networks and the continuous flux of potentially nonnative proteins. Nevertheless, biological experimental methods can examine the protein folding quality control mechanisms only in individual cells, but not in a multicellular level. Formal models offer a dynamic form of modelling, which allows to explore various parameter values in an integrated time-dependent system. This paper aims to present a formal approach of a mathematical descriptive model using as example a representation of a known molecular chaperone system and its relation to diseases associated to protein misfolding and neurodegeneration.