The Five Elements of Th1-Th2 System

TL;DR

This paper models the Th1-Th2 immune system differentiation process using a Wu-Hsing framework and software engineering methods, enabling comparison with experimental data.

Contribution

It introduces a novel Wu-Hsing model of the Th1-Th2 system and applies B method for analyzing cytokine network dynamics.

Findings

Model accurately reflects experimental cytokine data

Verification with B-toolkit confirms model validity

Provides insights into T-cell differentiation mechanisms

Abstract

The T helper (Th) phenotypes, Th1/Th2, are acquired upon interaction of a naive T helper cell and an antigen presenting cell (APC). Naive T helper cells may differentiate into either phenotype, and the actual outcome is determined by the density and avidity of the antigenic determinants presented by the APC, and the APCs inherent costimulatory properties. Until recently it was thought that differentiation is further affected by cytokines. In our work, We have specified aspects of T-cell cytokine networks using B method of software engineering. With this model, we are able to run verification 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. Here we present a Wu-Hsing model of Th1-Th2 system.