Depuración y Evolución de Aplicaciones Distribuidas y Concurrentes

Este trabajo 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.