Case study of modeling immune system with B method

An illustrative example for the current situation in immunological research is the case of cytokine networks. Cytokines are small protein or glycoprotein messenger molecules that convey information from one cell to another. Various aspects of the immune response are regulated by cytokine networks. Although many details of particular cytokine interactions have been elucidated, practically nothing is known about the behavior of the network as a whole. In our work, we have modeled aspects of T-cell cytokine networks using B method. With this model, we are able to run simulation with B-toolkit and allow us to compare the dynamic behavior of the model to actual experimental data from College of Animal Science and Veterinary Medicine. Our results show that the use of B method can help confront open questions in immunology and probably in other fields of biology, which, because of their complexity, cannot be addressed by standard laboratory techniques alone.