Relation entre les systèmes d’exploitation serveur - station de travail
Cet exemple montre de quelle façon une contrainte fait référence aux caractéristiques de deux objets différents pour garantir la cohérence des valeurs affectées.
Le système d’exploitation des stations de travail doit être SE1 si le système d’exploitation du serveur est SE1 :
Réseau de liens : RÉS_S
Lien : SE1_poste_trav
Code source :
OBJECTS:
Serveur is_a (300) C_SERVEUR
WHERE se_serveur = C_SYSTEME_EXPL,
Station_trav is_a (300) C_STATION_TRAV
WHERE se_station_trav = C_SYSTEME_EXPL,
Res is_a (300) RES_S
CONDITION:
part_of (serveur, res) and part_of (station_trav, res) and se_serveur =
RESTRICTIONS:
Se_station_trav = se_serveur
INFERENCES:
Se_station_trav
La contrainte fait référence aux objets serveur, station de travail et réseau. Il est fait référence à ces objets via les classes auxquelles ils sont affectés. Les caractéristiques qui doivent être comparées par la contrainte sont également indiquées.
Selon la condition définie pour la contrainte, le serveur et la station de travail doivent faire partie d’un réseau (voir
Contraintes : saisie de conditions). Puisque la classe RÉS_S est supérieure aux classes RÉSEAU_SOC et RÉSEAU_DPT, les instructions de la contrainte affectent à la fois le réseau de société et les réseaux de département. Il n’est donc pas nécessaire de créer deux contraintes différentes pour le réseau de société et les réseaux de département.Sous RESTRICTIONS, vous déterminez que le système d’exploitation de la station de travail doit être identique au système d’exploitation du serveur. Puisque vous avez spécifié dans la section CONDITION que le système d’exploitation du serveur doit être SE1, le système d’exploitation SE1 doit être inféré pour la station de travail.
Sous INFERENCES, vous spécifiez que le système d’exploitation des stations de travail doit être déduit. Cette saisie ne sert qu’à titre d’information, car une équation sous RESTRICTIONS détermine automatiquement les valeurs de la variable placée à gauche du signe égal (voir
Restrictions).Vous reliez le réseau de liens comprenant cette contrainte au réseau de société et au réseau de département. Dès lors, la contrainte prend effet même si vous vendez un réseau de département séparément.