摘要：El sistema inmune de los seres vivientes ha sido una fuente rica de inspiración para científicos en computación contemporáneos. Estrategias de solución de problemas, cuyos orígenes se encuentran en fenómenos inmunológicos, han sido exitosamente aplicadas en problemas desafiantes de la computación moderna. Sin embargo, el trabajo de investigación en sistemas inmunológicos artificiales ha ignorado el establecer un modelo coherente que incorpore comportamientos conocidos y aceptados del sistema inmune. Este artículo reporta un modelo computacional preliminar del sistema inmune, en el cual cada componente del mismo es especificado en términos de su comportamiento observable, usando una álgebra de procesos adecuada. Nuestro modelo no sólo es adecuado para la simulación sino también y aún más importante para el análisis formal del comportamiento de un sistema inmune.
其他摘要：Immune systems of live forms have been an abundant source of inspiration to contemporary computer scientists. Problem solving strategies, stemming from known immune system phenomena, have been successfully applied to challenging problems of modern computing. However, research in artificial immune systems has overlooked establishing a coherent model of known immune system behaviour. This paper aims reports on an preliminary computer model of an immune system, where each immune system component is specified in terms of its observable behaviour using a suitable process algebra. Our model is not only suitable to simulation but also and more importantly to formal analyzes of immune system behaviour.
关键词：Multiagent systems and Distributed AI; Immunology; Immune Based Computer Systems;Sistemas Multiagentes y AI Distribuida; Inmunología; Sistemas de Cómputo basado en Inmunidad
