Abstract
In our work, We have specified aspects of T-cell cytokine networks using B method. 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. 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Jordan, J.D., Landac, E.M., Iyengar, R.: Signaling Networks: The Origins of Cellular Multasking. Cell 103, 193–200 (2000)
Callard, R., George, A.J., Stark, J.: Cytokines, Chaos, and Complexity. Immunity 11, 11507–11513 (1999)
Lano, K.: The B Language and Method. Springer, New York (1996)
Walden, M., Sere, K.: Refining Action Systems within B-tool. In: Gaudel, M.-C., Woodcock, J.C.P. (eds.) FME 1996. LNCS, vol. 1051, pp. 85–104. Springer, Heidelberg (1996)
Satpathy, M., Snook, C., Harrison, R., Butler, M., Krause, P.A.: Comparative Study of Formal and Informal Specification through an Industrial Case Study. In: Proc. IEEE/IFIP Workshop on Formal Specification of Computer Based Systems (2001)
Morpurgo, D.: Modelling Thymus Functions in a Cellular Automation. Int’l Immunology 7, 505–516 (1995)
Steven, H., Kleinstein, Philip, E., Seiden: Simulating The Immune System. Computing in Science & Engineering. (2000)69-77
Shengrong, Z.: Modeling T cell Cytokine Network with B method. In: Proc The Second International Forum on Post-Genome Technologies (2’IFPT), pp. 136–139 (2004)
Karp, P.D.: Pathway Databases: A Case Study in Computational Symbolic Theories. Science 293, 2040–2044 (2001)
Endy, D., Brent, R.: Modeling Cellular Behavior. Nature 409, 391–395 (2001)
Kam, N., Harel, D., Irun, R.C.: Model Biological Reactivity: Statecharts vs. Boolean logic. In: Proc. Working Conf. on Advanced Visual Interfaces (AVI 2002), Trento, Italy, pp. 345–353 (2002)
Shengrong, Z.: Modeling Distributed Algorithm using B. In: Li, M., Sun, X.-H., Deng, Q.-n., Ni, J. (eds.) GCC 2003. LNCS, vol. 3033, pp. 683–689. Springer, Heidelberg (2004)
Abrial, J.R., Mussat, L.: Introducing Dynamic Constraints. In: Bert, B.D. (ed.) Proceedings of the Second International B Conference B1998: Recent Advances in the Development and Use of the B Method, vol. 4. Springer, Heidelberg (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zou, S. (2004). Formally Specifying T Cell Cytokine Networks with B Method. In: Zhang, J., He, JH., Fu, Y. (eds) Computational and Information Science. CIS 2004. Lecture Notes in Computer Science, vol 3314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30497-5_60
Download citation
DOI: https://doi.org/10.1007/978-3-540-30497-5_60
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24127-0
Online ISBN: 978-3-540-30497-5
eBook Packages: Computer ScienceComputer Science (R0)