Relación entre el sistema operativo y el servidor
Este ejemplo muestra cómo se puede utilizar una restricción para especificar que ciertas relaciones son falsas. La restricción verifica que estas relaciones no se produzcan en la configuración. Si se produce la relación definida como falsa en la configuración, se visualizará un mensaje de inconsistencia.
En primer lugar, se especifica que un servidor no puede funcionar con el sistema operativo OS2.
Red de relaciones: C_Servidor
Relación: No_OS2_como_Servidor
Código fuente:
OBJECTS:
Servidor is_a (300) c_servidor
CONDITION:
servidor.c_sistema_op = ‘OS2’
RESTRICTIONS:
false
En OBJECTS: se define que la restricción hace referencia a un servidor. Se hace referencia al servidor mediante la clase ‘300’ C_Servidor a la que está asignado.
En CONDITION: se define que la restricción sólo es válida si se selecciona el valor OS2 para la característica c_sistema_op.
En RESTRICTIONS: se define que la condición anterior siempre produce una inconsistencia. Esto significa que no se puede seleccionar el sistema operativo OS2 para el servidor.
La red de relaciones que contiene la restricción se asigna tanto a la red de empresa como a la red de departamento. Dado que se puede solicitar la red de departamento sin solicitar la red de empresa, es importante garantizar también la consistencia de la red de departamento.