Diferencia entre revisiones de «Estructura de eventos»

← Ir a diferencia anterior Ir a siguiente diferencia →

Contenido eliminado Contenido añadido

En renglón

Revisión del 02:52 17 may 2017

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

Una estructura de eventos $(E,\leq ,\#)$ consiste en ^[2]

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 $\#$ llamada incompatibilidad (o conflicto)

de tal forma que hay

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

Extensiones

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

Aplicaciones

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

Referencias

↑ «Event Structure Semantics For CCS and Related Languages». Consultado el 8 de marzo de 2017.
↑ «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.
↑ «Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios». Consultado el 8 de marzo de 2017.

[1] «Event Structure Semantics For CCS and Related Languages». Consultado el 8 de marzo de 2017.

[2] «Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios». Consultado el 8 de marzo de 2017.

[3] «Timed Equivalences for Timed Event Structures». Consultado el 8 de marzo de 2017.

[4] «Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios». Consultado el 8 de marzo de 2017.

[1]

[2]

[3]

[4]

@@ Línea 1: / Línea 1: @@
 {{Referencias adicionales|t=20170513182842}}
 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).
+al mismo tiempo que otros y otros no pueden ejecutarse al mismo tiempo que otros (porque existe un ''conflicto'' entre eventos). <ref>{{cita web|título=Event Structure Semantics For CCS and Related
+Languages|url=https://www.cl.cam.ac.uk/~gw104/eventStructures82.pdf|fechaacceso=8 de marzo de 2017}}</ref>
 ==Definición formal==
-Una '''estructura de eventos''' <math>(E,\leq,\#)</math> consiste en
+Una '''estructura de eventos''' <math>(E,\leq,\#)</math> consiste en <ref>{{cita web|título=Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios|url=http://www.tandfonline.com/doi/abs/10.1080/17459737.2013.870610|fechaacceso=8 de marzo de 2017}}</ref>
 * un conjunto <math>E</math> de '''eventos'''
 * una [[Relación matemática]] de [[orden parcial]] sobre <math>E</math> llamada '''dependencia causal''',
@@ Línea 13: / Línea 16: @@
 ==Extensiones==
-Una extensión muy utilizada es la '''estructura de eventos temporizados'''
+Una extensión muy utilizada es la '''estructura de eventos temporizados''' <ref>{{cita web|título=Timed Equivalences for Timed Event Structures|url=http://link.springer.com/chapter/10.1007%2F11535294_2|fechaacceso=8 de marzo de 2017}}</ref>
 ==Aplicaciones==
-[[Mauricio Toro Bermúdez]] ha utilizado las estructuras de eventos temporizados para dar una [[Semántica formal]] a las [[Partituras musicales interactivas estructuradas]]
+[[Mauricio Toro Bermúdez]] ha utilizado las estructuras de eventos temporizados para dar una [[Semántica formal]] a las [[Partituras musicales interactivas estructuradas]] <ref>{{cita web|título=Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios|url=http://www.tandfonline.com/doi/abs/10.1080/17459737.2013.870610|fechaacceso=8 de marzo de 2017}}</ref>
+== Referencias ==
+{{listaref}}
-==Referencias==
-* {{cite news | last = Winskel | first = Glynn | url = http://www.cl.cam.ac.uk/~gw104/EvStr.pdf | title = Event Structures | journal = Advances in Petri Nets | publisher = Springer | series = Lecture Notes in Computer Science | year = 1987}}
 [[Categoría:Informática]]