Depuración y evolución de aplicaciones distribuidas y concurrentes usando un modelo de eventos basado en autómatas causales síncronos y asíncronos

Este documento presenta una propuesta de un lenguaje que será la base para un framework de eventos que soporta la detección de patrones complejos en sistemas distribuidos, utilizando autómatas para modelar los patrones complejos de interacción entre los nodos que participan en el sistema distribuido. Por medio de la presentación de diferentes errores concurrentes comunes que ocurren o han ocurrido en aplicaciones industriales de esta índole, como el deadlock o los dataraces, se proponen soluciones a este tipo de inconvenientes utilizando el lenguaje propuesto, demostrando su utilidad y aplicabilidad. En concreto, se presentan las siguientes contribuciones: i) el diseño de un lenguaje de programación orientado a eventos con soporte para declaración, ejecución, detección y coordinación de patrones de eventos complejos en sistemas distribuidos, ii) propuestas de definición de autómatas utilizando el lenguaje propuesto para detectar los errores concurrentes comunes identificados en aplicaciones distribuidas industriales y iii) la implementación de un kernel para soportar las abstracciones del lenguaje por medio de una extensión a la librería KETAL, la cual define mecanismos de sincronización de eventos.