Estructura de eventos

Plantilla:Referencias adicionales En Informática, una estructura de eventos representa un Conjunto de eventos, de los cuales unos pueden ser ejecutados solamente después de otros (existe una dependencia entre ellos), otros pueden ser ejecutados al mismo tiempo que otros y otros no pueden ejecutarse al mismo tiempo que otros (porque existe un conflicto entre eventos).

Definición formal

Una estructura de eventos $(E,\le ,\mathrm{\#})$ consiste en

• un conjunto $E$ de eventos
• una Relación matemática de orden parcial sobre $E$ llamada dependencia causal,
• una Relación simétrica e irreflexiva $\mathrm{\#}$ llamada incompatibilidad (o conflicto)

de tal forma que hay

• causas finitas: para cada evento $e\in E$, el conjunto $[e]=\{f\in E|f\le e\}$ de predecesores de $e$ in $E$ es finito
• conflictos hereditarios: para cada evento $d,e,f\in E$, si $d\le e$ y $d\mathrm{\#}f$ entonces $e\mathrm{\#}f$.

Extensiones

Una extensión muy utilizada es la estructura de eventos temporizados

Aplicaciones

Mauricio Toro Bermúdez ha utilizado las estructuras de eventos temporizados para dar una Semántica formal a las Partituras musicales interactivas estructuradas

Referencias

Plantilla:Control de autoridades