TESIS-MAG-0201.pdf

Un nodo intermedio defme un bloque de asociaciones en el lenguaje,
mientras que un nodo final define la operación de cambio de estado. La especificación
gráfica corresponde a defmir un grafo de nodos iniciales, intermedios y final que
satisfaga las propiedades 4.1 a 4.3 y que calcule una asociación de la andad de la
movida.
Defmición 4.8: Grafo de vecindad.
Sea N5 = { n t ,..., n } el conjunto de nodos iniciales, N' un conjunto de nodos
intermedios y i/un nodo final. Sean pos(u, y) la posición que ocupa la operación defmida
por el nodo u como argumento de la operación y y path(u,v) un predicado que devuelve
verdadero si es que existe un camino entre el nodo u y el nodo y. Sea N=NuNu(n) y
A{(u,v)} un conjunto de arcos con u e (N3uM), y e Y y arg(v) una función que
retorna el número de arcos que inciden en un nodo y. Entonces se defme como grafo de
la vecindad al grafo acíclico y dirigido G=(N,A) que satisface que:
• ze(JVuN t) 1
(z,/) e A A _,we(NS uN 1)
: (w,d)eA.
Vn eN1 3u E NV E IV path(u,v)Apath(v,z)
• Vm=(L,2,k,V,j(v)j)eNarg(m)=kU.
Los nodos representan la aplicación de los operadores de vecindad. Cada
arco incidente representa un argumento para el operador, por lo que dependiendo de su
tipo, se puede chequear si el número de argumentos es correcto o no. Por ejemplo, un
nodo que represente una operación diff sólo tendrá dos arcos incidentes. Los arcos que
salen de este tipo de nodos representan el resultado de la operación.
En la representación gráfica, cada uno de los nodos tendrá asociado un icono
al cual el diseñador especificará los atributos que señalan las tuplas de las definiciones
4.5 a 4.7. En el caso de los nodos iniciales eso no es necesario porque son los elementos
básicos sobre los cuales construir y por lo tanto se suponen preexistentes. El arco
76