Skip to main content
SpringerLink
Log in

Towards a Model for an Immune System

  • Conference paper
  • First Online:
MICAI 2002: Advances in Artificial Intelligence (MICAI 2002)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2313))

Included in the following conference series:

Abstract

Immune systems of life forms have been a rich source of inspiration to computer scientists. Problem solving strategies, borrowing ideas from the immune system analogy, have been successfully applied to challenging problems of modern computing. However, no formal model of a typical immune system has so far been proposed. This paper reports on an experiment towards modelling an immune system using process algebra. Our model of the immune system separates individual components. Each element is specified in terms of its observable behaviour. This paper also provides a formal specifiation of some properties of an immune system, including robustness and self-stabilisation. It outlines the sort of mechanisms that are required to formally verify the resulting model.

research was supported by two CONACYT grants: i) REDII and ii) 33337-A.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Belew and S. Forrest. Learning classifier systems, from foundations to applications. In P. L. Lanzi, W. Stolzmann, and W. Wilson S, editors, IWLCS’99, volume 1813 of Lecture Notes in Computer Science. Springer, 2000.

    Google Scholar 

  2. D. Dasgupta. Artificial Immune System and Their Applications. Springer, U.S.A., 1998.

    Google Scholar 

  3. P. DeHaeseleer, S. Forrest, and P. Helman. A immunological approach to change detection: Algorithms analisis and implications. In Proceedings of the 1996 IEEE Symposium on Research in Security and Privacy, pages 110–119. IEEE Computer Society Press, 1996.

    Google Scholar 

  4. M. Ferencík. Handbook of Immunochemistry. Chapman & Hall, 1st edition, 1993.

    Google Scholar 

  5. S. Gilmore, J. Hillston, and M. Ribaudo. An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering, 27(5):449–464, May 2001.

    Article  Google Scholar 

  6. M. Hennessy and H. Lin. Proof systems for message passing process algebras. Formal Aspects of Computing, 8(4):379–407, 1996. Also available from Sussex as Computing Science Technical Report 3/93.

    Article  MATH  Google Scholar 

  7. S. Hofmeyr and S. Forrest. Architecture for an artificial immune system. Evolutionary Computation Journal, 8(4):443–473, 2000.

    Article  Google Scholar 

  8. R. López, F. Díaz, and S. Arias. Biología Celular. Editorial Iberoamérica, México, 1991.

    Google Scholar 

  9. R. Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, England, 1999.

    Google Scholar 

  10. L. A. Segel and I. R. Cohen. Design Principles for the Immune System and Other Distributed Autonomous Systems. Oxford University Press, New York, U.S.A., 2000.

    Google Scholar 

  11. D. Stites and T. Abba. Medical Immunology. McGraw-Hill, 1997.

    Google Scholar 

  12. C. Tofts. Processes with probablities, priority and time. Formal Aspects of Computing, 6(5):536–564, 1994.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Tecnológico de Monterrey, Campus Estado de México, Carretera al Lago de Guadalupe Km. 3.5, 52926, Atizapán, Mexico

    Rosa Saab & Raúl Monroy

  2. Tecnológico de Monterrey, Campus Monterrey, Av. Eugenio Garza Sada 2501 Sur, 64849, Monterrey, Mexico

    Fernando Godínez

Authors
  1. Rosa Saab
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Raúl Monroy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fernando Godínez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Section, Electrical Engineering Department, CINVESTAV-IPN, Av. IPN 2508, Col. San Pedro Zacatenco, D.F. 07300, Mexico, Mexico

    Carlos A. Coello Coello

  2. Computer Science Department, ITESM-Mexico City, Calle del Puente 222, Tlalpan, D.F. 14380, Mexico, Mexico

    Alvaro de Albornoz

  3. Computer Science Department, ITESM-Cuernavaca, Reforma 182-A, Lomas de Cuernavaca, Temixco, 62589, Morelos, Mexico

    Luis Enrique Sucar

  4. Department of Computer Science, ITAM, Rio Hondo 1, Progreso Tizapan, D.F. 01000, Mexico, Mexico

    Osvaldo Cairó Battistutti

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Saab, R., Monroy, R., Godínez, F. (2002). Towards a Model for an Immune System. In: Coello Coello, C.A., de Albornoz, A., Sucar, L.E., Battistutti, O.C. (eds) MICAI 2002: Advances in Artificial Intelligence. MICAI 2002. Lecture Notes in Computer Science(), vol 2313. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46016-0_42

Download citation

  • DOI: https://doi.org/10.1007/3-540-46016-0_42

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43475-7

  • Online ISBN: 978-3-540-46016-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation