The simulation system of cytokine network based IMMUNE-B

Authors:
Xianbao Cheng;Bao Chen
Affiliations:
Department of Computer, Guang zhou Technology & Business Collage, China;Department of Computer, Guang zhou Technology & Business Collage, China
Venue:
ICICA'11 Proceedings of the Second international conference on Information Computing and Applications
Year:
2011

Citing 2
Cited 0

The B Language and Method: A Guide to Practical Formal Development

The B Language and Method: A Guide to Practical Formal Development
Formally specifying t cell cytokine networks with b method

CIS'04 Proceedings of the First international conference on Computational and Information Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Introduces two kinds of cytokine network model that already exist, and describes some of problems in the two models. This paper presents a new model system: IMMUNE-B, This model is created using B method. B method is one of the most popular international practical formal method currently, people use it to write software system specification, system design and description, It has many advantages. And the model uses computer program to simulate the process of cytokine network of the immune system. The simulation results are basically consistent with the prediction, it illustrate the model have it's real research value. It provides a new way for research of the cytokine network.