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

James Jerson Ortiz Vega, Jesus Aranda, Pedro Moreno

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

10 Téléchargements (Pure)

Résumé

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).
langue originaleEspagnol
titreThe 2nd International Seminar on Genomics, Proteomics, Bioinformatics and Systems Biology" 2006
Nombre de pages14
ISBN (Electronique)978-958-9451-21-2
étatPublié - 2006

Contient cette citation

Ortiz Vega, J. J., Aranda, J., & Moreno, P. (2006). Revisión de algunos modelos de programación concurrente por restricciones y sus aplicaciones. Dans The 2nd International Seminar on Genomics, Proteomics, Bioinformatics and Systems Biology" 2006