Relación entre el sistema operativo del servidor y el sistema operativo de la estación de trabajo
Este ejemplo muestra el modo en que una restricción hace referencia a las características de dos objetos diferentes para garantizar la consistencia de la valoración.
Si el sistema operativo del servidor es OS1, el sistema operativo para estaciones de trabajo debe ser OS1:
Red de relaciones: C_redRelación: OS1_estación_trabajo
Código fuente:
OBJECTS:
Servidor is_a (300) c_servidor
WHERE servidor_so = c_sistema_op,
Workstation is_a (300) c_estación_trabajo
WHERE estación_trabajo_so = c_sistema_operativo,
Red is_a (300) c_red
CONDITION:
part_of (servidor, red) and part_of (estación_trabajo, red) and servidor_so = ‘OS1’
RESTRICTIONS:
Estación_trabajo_so = servidor_so
INFERENCES:
Estación_trabajo_so
La restricción hace referencia al servidor, la estación de trabajo y la red del objeto. Se hace referencia a estos objetos mediante las clases a las que están asignados. La restricción también contiene las características a comparar por la restricción.
La condición definida para la restricción es que el servidor y la estación de trabajo deben formar parte de una red (consulte
Restricciones: Introducción de condiciones). Dado que la clase c_red es una clase superior de las clases red_empresa y red_departamento, las declaraciones en la restricción afectan tanto a la red de empresa como a las redes de departamento. Esto significa que no es necesario crear dos restricciones distintas para la red de empresa y las redes de departamento.En RESTRICTIONS se define que el sistema operativo de la estación de trabajo debe ser el mismo que el sistema operativo del servidor. Ya que en la parte de la CONDITION se ha definido que el sistema operativo del servidor tiene que ser OS1, el sistema operativo OS1 debe deducirse para la estación de trabajo.
En INFERENCES se define que se deducirá el sistema operativo para estaciones de trabajo. Esta entrada únicamente es informativa, dado que una ecuación en RESTRICTIONS ya determina automáticamente los valores para la variable en el lado izquierdo del signo igual (consulte
Limitaciones).También se enlaza la red de relaciones que contiene esta restricción tanto a la red de empresa como a la red de departamento. Esto significa que la restricción tiene efecto incluso si se vende una red de departamento por separado.