Modelamiento de Sistemas Biológicos usando Cálculos de Procesos Concurrentes
(Modelling Biological Systems using Process Calculi)

Abstract
Process calculi are formalisms that have been proposed to model concurrent systems in a wide variety of areas. Their mathematical foundations allow to define abstractions between the components of real systems and the constructions of a calculus. This is particularly convenient when verifying essential properties of the modelled systems. These features make process calculi an interesting approach to describe and verify biological systems. This article offers a survey of the process calculi proposed in the biological context. A particular class of calculi, those based on the notion of constraint, is thoroughly described. Those calculi provide, among other useful features, the transparent inclusion of quantitative and partial information into formal models.

Resumen
Los cálculos de procesos son formalismos propuestos para modelar sistemas concurrentes en diversos ámbitos. Su fundamentación matemática permite establecer abstracciones entre los elementos reales de los sistemas y los componentes básicos del cálculo, lo que facilita la verificación de propiedades interesantes de los sistemas modelados. Estas características perfilan a los cálculos de procesos como una alternativa interesante para especificar y verificar propiedades esenciales de sistemas biológicos. Este artículo presenta un análisis de los cálculos de procesos más importantes propuestos recientemente en el contexto biológico. Especial atención es dada a los cálculos basados en restricciones, que permiten, entre otras cosas, el manejo transparente de información parcial y cuantitativa.