Revisión de algunos modelos de programación concurrente por restricciones y sus aplicaciones

La programación concurrente por restricciones (CC) es un simple pero poderoso paradigma de programación el cual combina cuatro básicas ideas computacionales: concurrencia (múltiples agentes son activados simultáneamente), comunicación (interacción a través de las variables y los agentes), coordinación (la presencia o ausencia de información son fundamentales en la evolución de los agentes), y localización (cada agente tiene y maneja solo un finito número de variables). Pero estas cuatro ideas computacionales no son suficientes para modelar problemas tanto de sistemas reactivos como sistemas híbridos. Esto originó un robustecimiento del paradigma CC, adicionando nuevos constructores para poder modelar esos tipos de problemas. En particular se realizaron cuatro extensiones al paradigma CC: Timed CC, Default CC, Timed Default CC e Hybrid CC. Los tres primeros paradigmas pueden modelar sistemas reactivos, mientras que el cuarto es capaz de modelar sistemas híbridos gracias a que está definido sobre una noción de tiempo continuo. El objetivo de este artículo es mostrar como el paradigma CC y sus extensiones pueden ser una alternativa para modelar y simular problemas presentes en una nueva área de la biología como es la biología de sistemas, los cuales involucran sistemas híbridos (cambios continuos y discretos).