Texto base de la asignatura - UNED

MODELADO DE SISTEMAS MEDIANTE DEVS
tad : × Qi → R
i∈Id
+ 0,∞
Función de avance en el tiempo. Los ar-
gumentos de entrada a la función son
el estado total de todos los componentes
que influyen en d. Devuelve un valor real
positivo, incluyendo el cero y el infinito.
El funcionamiento de un modelo DEVS multicomponente, también llamado multiDEVS,
es el siguiente.
– Los eventos internos de cada componente son planificados individualmente por
cada componente d ∈ D, empleando para ello su función de avance en el tiempo
tad.
– Cuando se dispara un evento interno en uno de los componentes d ∈ D, el
evento es ejecutado, resultando en:
◦ Cambios en el estado, que vienen dados por la función de transición
interna δint,d. A partir del estado total de todos los componentes que
influyen sobre d, la función de transición interna calcula el nuevo estado
total de todos los componentes que son influidos por d.
◦ La generación de eventos de salida en el multiDEVS, que viene dada por
la función de salida λd, pasando como argumentos a la función el estado
total de todos los componentes que influyen en d.
– Cuando están planificados para un mismo instante eventos internos en diferentes
componentes, se emplea la función Select para decidir cuál de ellos es
ejecutado.
– Cuando se produce un evento externo en la interfaz de entrada del multiDEVS,
entonces reaccionan ante él los componentes d que tienen definida una función
de transición externa δext,d. No reaccionan ante los eventos externos aquellos
componentes que no tienen definida la función de transición externa.
3.6.2. MultiDEVS definido como DEVS
Tal como se describe a continuación, un modelo multiDEVS puede interpretarse
como un modelo DEVS. Sea el modelo DEVS:
172
DEVS = 〈X, Y, S, δext, δint, λ, ta〉 (3.34)