Cette contrainte se fonde sur le même principe que la contrainte précédente. Elle doit toutefois servir à affecter des valeurs sur deux niveaux. Elle indique que le système d’exploitation du serveur de département dépend du système d’exploitation du serveur de société.

Le serveur du réseau de département doit tourner sous SE1 si le serveur du réseau de société tourne sous SE1.

Réseau de liens : C_RÉSEAU_SOC

Lien : SE1_serveur

Code source :

Dans un premier temps, des variables sont définies pour les objets significatifs. Puisqu’il existe deux serveurs, deux variables de serveurs doivent être définies. Les deux serveurs représentent toutefois le même article. Par ailleurs, des variables sont aussi définies pour un réseau de société et un réseau de département. Il est fait référence à ces réseaux via la classe à laquelle ils sont affectés.

Vous déterminez que Serveur1 appartient au réseau de société et qu’un réseau de département appartient aussi à ce réseau. Serveur2 appartient au réseau de département. Le système d’exploitation du serveur de société est SE1.

Dans la section RESTRICTIONS, vous spécifiez que le système d’exploitation du serveur de société doit être identique au système d’exploitation du serveur de département. Étant donné que la condition déduit que le système d’exploitation du serveur de société est SE1, le système d’exploitation du serveur de département doit aussi être SE1.