Relación entre el servidor de la red de empresa y el servidor de la red de departamento
Esta restricción se basa en el mismo principio que la restricción anterior. Sin embargo, esta restricción se utiliza para asignar valores a dos niveles. Ésta muestra que el sistema operativo del servidor del departamento depende del sistema operativo del servidor de la empresa.
Si el servidor de la red de empresa funciona con OS1, el servidor de la red de departamento debe funcionar con OS1.
Red de relaciones: c_red_empresa
Relación: OS1_servidor
Código fuente:
OBJECTS:
Servidor1 is_a (300) c_servidor
WHERE servidor1_so = c_sistema_op,
Servidor2 is_a (300) c_servidor
WHERE servidor2_so = c_sistema_op,
empresa is_a (300) c_red_empresa,
departamento is_a (300) c_red_departamento.
CONDITION:
part_of (servidor1, empresa) and
part_of (departamento, empresa) and
part_of (servidor2, departamento) and
servidor1_so = ‘OS1’.
RESTRICTIONS:
Servidor2_so = servidor1_so.
En primer lugar, se especifican las variables para los objetos relevantes. Dado que en este caso se trata de dos servidores, se deben definir dos variables para servidores. Sin embargo, los dos servidores son el mismo material. Las variables también se definen para una red de empresa y una red de departamento. Se hace referencia a estas redes mediante las clases a las que están asignadas.
Se define que el servidor 1 pertenece a la red de empresa y una red de departamento pertenece a la red de empresa. El servidor 2 pertenece a la red de departamento. El sistema operativo del servidor de empresa es OS1.
En la sección RESTRICTIONS, se define que el sistema operativo del servidor de empresa debe ser el mismo que el sistema operativo del servidor de departamento. Ya que esta condición deduce que el sistema operativo del servidor de empresa es OS1, el sistema operativo del servidor de departamento también debe ser OS1.
En este ejemplo, no es necesario realizar ninguna entrada en la sección INFERENCES ya que la ecuación en la sección RESTRICTIONS deduce automáticamente los valores para la variable en el lado izquierdo (véase
Restricciones: Limitaciones).