P2 POP
P2 POP
P2 POP
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>POP</strong> - Amenazas<br />
Para resolver las amenazas,<br />
se añaden restricciones de orden:<br />
Nos aseguramos de que la acción<br />
que amenaza (s3) no interviene<br />
en el vínculo causal (de ( de s1 a s2).<br />
<strong>POP</strong> - Amenazas<br />
Dos os formas de resolver amenazas:<br />
Degradación: :<br />
La acción que amenaza<br />
se realiza antes del vínculo causal.<br />
�� Degradación<br />
Ascenso: :<br />
La acción que amenaza<br />
se realiza después del vínculo causal. causal<br />
�� Ascenso<br />
s1<br />
c<br />
s2<br />
s1<br />
c<br />
s2<br />
s3<br />
¬c<br />
s3<br />
¬c<br />
26<br />
27