Cet exemple indique comment utiliser une contrainte pour déterminer que certaines relations sont fausses. La contrainte vérifie que ces relations n’apparaissent pas dans la configuration. Si une relation définie comme fausse apparaît dans la configuration, un message d’incohérence est affiché.

Vous souhaitez tout d’abord spécifier qu’un serveur ne peut pas fonctionner avec le système d’exploitation SE2.

Réseau de liens : C_SERVEUR

Lien : Pas_SE2_pour_Serveur

Code source :

Sous OBJECTS, vous spécifiez que la contrainte fait référence à un serveur. Il est fait référence au serveur via la classe « 300 » C_SERVEUR, à laquelle le serveur est affecté.

Sous CONDITION, vous déterminez que la contrainte n’est valable que si la valeur SE2 est sélectionnée pour la caractéristique C_SYSTÈME_EXPL.

Sous RESTRICTIONS, vous déterminez que la condition ci-dessus entraîne toujours une incohérence. Ceci implique que le système d’exploitation SE2 ne peut pas être sélectionné pour le serveur.

Vous affectez le réseau de liens contenant la contrainte à la fois au réseau de société (WAN) et au réseau de département (LAN). Comme il est également possible de commander le réseau de département indépendamment du réseau de société, il est important de veiller aussi à la cohérence du réseau de département.