The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts

  • Authors:

  • Na'aman Kam;Irun R. Cohen;David Harel

  • Affiliations:

  • -;-;-

  • Venue:
  • HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

The construction of reliable reactive systems isconsidered to be one of the most challenging goals in thefields of software and system engineering.The definitionof a reactive system suits biological systems at differentlevels, ranging from gene networks, developing embryosand the immune system.We report here the application ofa tool developed for constructing computerized systems tothe modeling and analysis of a biological system, theimmune system.We use the language of statecharts withinthe framework of object-oriented modeling.The resultsdescribed here indicate that this modeling strategy cancontribute to the transition of biology from the phase ofanalysis to the phase of synthesis.