Texto base de la asignatura - UNED

MODELADO DE SISTEMAS MEDIANTE DEVS
xión de sus puertos. La especificación de los modelos DEVS compuestos es la tupla
siguiente:
donde:
N = 〈X, Y, D, {Md | d ∈ D}, EIC, EOC, IC, select〉 (3.24)
– Los conjuntos de entrada y salida, X e Y , definen la interfaz del modelo
compuesto.
– D y Md definen los componentes.
– EIC, EOC, IC definen la conexión entre los componentes y también la conexión
de estos con la interfaz del modelo compuesto.
– La función select establece la prioridad en caso de que varios componentes
tengan planificada una transición interna para el mismo instante.
De forma más rigurosa, esto mismo puede expresarse como sigue:
X = { (p, v) | p ∈ InPorts, v ∈ Xp } Conjunto de entrada del modelo com-
puesto.
Y = { (p, v) | p ∈ OutPorts, v ∈ Yp } Conjunto de salida del modelo com-
puesto.
D Conjunto de nombres de los componen-
Los componentes son modelos DEVS. Para cada d ∈ D se verifica:
Md = 〈Xd, S, Yd, δint, δext, λ, ta〉 Es un modelo DEVS clásico, que en general
tes.
tendrá varios puertos de entrada y salida.
Xd = { (p,v) | p ∈ InPortsd, v ∈ Xp }
Yd = { (p,v) | p ∈ OutPortsd, v ∈ Yp }
Se distinguen tres tipos de conexión entre puertos, que se denominan EIC, EOC
e IC. Como ejemplo ilustrativo de los tres tipos de conexión, en la Figura 3.8 se
muestran dos componentes, D1 y D2, que están conectados entre sí y conectados a
la interfaz del modelo compuesto que los engloba. Cada uno de los componentes, así
146