Texto base de la asignatura - UNED

MODELADO DE SISTEMAS MEDIANTE DEVS
}
recibe {tn_d, tl_d} de cada hijo d
ordena la lista de eventos
tl = max{ tl_d | d en D }
tn = min{ tn_d | d en D }
envía {tn,tl} a parent
Como puede verse en el código anterior, la acciones que realiza cuando recibe el
mensaje-i son las siguientes:
1. Reenvía a sus simuladores hijo el mensaje-i.
2. Cada uno de los simuladores hijo procesa el mensaje-i y, una vez hecho esto,
cada uno de ellos devuelve una pareja de valores {tnd, tld} al Devs-coordinator.
Así pues, el Devs-coordinator recibe parejas de valores {tnd, tld} para todo
d ∈ D, donde D es el conjunto de simuladores hijo de este Devs-coordinator.
3. Los instantes en que están planificados los eventos internos de los hijos se
ordenan cronológicamente, de más próximo a más lejano en el tiempo, en una
lista o el calendario de eventos. En caso de coincidencia en el instante de
disparo del evento interno de varios hijos, se usa la función Select del modelo
DEVS acoplado para decidir cómo deben ordenarse.
4. Se escoge el mayor valor de tld y se asigna a tl.
5. Se escoge el menor valor de tnd y se asigna a tn. Así pues, tn contiene el más
reciente de los eventos internos planificados en los simuladores hijo.
6. Finalmente, el Devs-coordinator envía los valores de tn y tl obtenidos anteriormente
a su simulador padre.
Mensaje de evento interno
La siguiente cláusula when realiza las acciones que se ejecutan cuando el Devscoordinator
recibe un mensaje-* de su simulador padre. La cláusula when es la
siguiente:
164
when ( recibe mensaje-* (*,t) en el instante t ) {
if t != tn then error: mala sincronización
d* = primer elemento en la lista de eventos
envia mensaje-* (*,t) a d*