Texto base de la asignatura - UNED

Solución al Ejercicio 6.4
DEVSJAVA
Sólo sería necesario modificar la función de transición externa, que sería la
siguiente:
⎧
⎪⎨ (“disparo”, tiempoDeDisparo) si fase = “receptivo”
δext((fase, σ), e, x) = (“refractario”, ∞) si fase = “disparo”
⎪⎩
(“refractario”, ∞) si fase = “refractario”
Esta función de transición externa podría codificarse de la forma siguiente:
public void deltext(double e,message x) {
if ( phaseIs("receptive") && somethingOnPort(x,"in") )
holdIn("fire",fireDelay);
else
passivateIn("refract");
}
Solución al Ejercicio 6.5
Sería necesario modificar únicamente la función de transición externa, que sería
la siguiente:
⎧
⎪⎨ (“disparo”, tiempoDeDisparo) si fase = “receptivo”
δext((fase, σ), e, x) = (“disparo”, tiempoDeDisparo) si fase = “disparo”
⎪⎩
(“refractario”, ∞) si fase = “refractario”
Esta función de transición externa podría codificarse de la forma siguiente:
public void deltext(double e,message x) {
if ( ( phaseIs("receptive") || phaseIs("fire") ) && somethingOnPort(x,"in") )
holdIn("fire",fireDelay);
else
passivateIn("refract");
}
321