TESIS-MAG-0201.pdf

4.2 Cómo Construir un Lenguaje Gráfico a Partir de LS-1.
Como se mostró en la figura 4.2, la lista de candidatos que especificada por
una lista de bloques de asociaciones. Sin embargo para que dicha definición tenga
sentido tienen que cumplirse tres propiedades.
Propiedad 4. 1 : La especificación no debe contener deadlocks.
En un bloque que esté en la posición ¡ de la lista la asociación sólo puede
recibir como argumentos a aquellas que hayan sido definidas en los bloques] con] < i.
.
De no ser así, será imposible calcular la lista de candidatos porque existirá
un ciclo entre dos asociaciones puesto que una es argumento de la otra y viceversa.
Propiedad 4.2 : La especificación no contiene bloques irrelevantes.
Una asociación definida en un bloque i debe ser invocada como argumento
por alguna asociación defmida en un bloque], conj> iU
Si esta propiedad no se cumpliera significa que la asociación defmida en
dicho bloque es irrelevante y por lo tanto puede ser eliminada.
Propiedad 4.3:
cambio de estado.
La asociación defmida en el último bloque es el argumento al operador de
Si existen n bloques y un bloque i (i < n) es el argumento del operador de
cambio de estado todos los demás bloques] (con]t> n) son irrelevantes por la propiedad
4.1.
74