Estructura de eventos
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
editarUna estructura de eventos consiste en[2]
- un conjunto de eventos
- una Relación matemática de orden parcial sobre llamada dependencia causal,
- una Relación simétrica e irreflexiva llamada incompatibilidad (o conflicto)
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 .
![{\displaystyle [e]=\{f\in E|f\leq e\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76ebcd813af31fdea8496207125630c2e8321c2a)
Extensiones
editarUna extensión muy utilizada es la estructura de eventos temporizados[3]
Aplicaciones
editarMauricio 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- ↑ «Event Structure Semantics For CCS and Related Languages». Consultado el 8 de marzo de 2017.
- ↑ a b «Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios». Consultado el 8 de marzo de 2017.
- ↑ «Timed Equivalences for Timed Event Structures». Consultado el 8 de marzo de 2017.
Datos: Q30904597
