Estructura de eventos

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda

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).[1]


Definición formal[editar]

Una estructura de eventos consiste en[2]

de tal forma que hay

  • causas finitas: para cada evento , el conjunto de predecesores de in es finito
  • conflictos hereditarios: para cada evento , si y entonces .

Extensiones[editar]

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

Aplicaciones[editar]

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

Referencias[editar]