Relation entre type de réseau local - processeur du serveur
Cet exemple décrit une contrainte uniquement utilisée pour contrôler la cohérence de la configuration, et non pour déduire des valeurs. Il illustre la relation entre le type de réseau local FDDI et le processeur sélectionné.
Si le type de réseau local est FDDI, la carte mère du serveur doit contenir un processeur Xeon, Motorola 68040 ou Sparc 5.
Lien : Cartes_mères_FDDI
Code source :
OBJECTS:
Reseau is_a (300) RES_S
WHERE Lan = c_lan_type,
Serveur is_a (300) C_SERVEUR
WHERE Carte_mere = C_CARTE_MERE
CONDITION:
Part_of (serveur, réseau) and réseau.Lan =
RESTRICTIONS:
Carte_mère in (
La contrainte fait référence aux objets réseau et serveur. Étant donné que les serveurs des réseaux de département et des réseaux de société sont affectés à des classes subordonnées de la classe RÉS_S, la contrainte utilise la classe RÉS_S pour faire référence aux serveurs des réseaux de département et des réseaux de société.
La condition spécifie que le serveur doit faire partie d’un réseau et que le type de réseau local de ce réseau doit être FDDI. Si cette condition est vérifiée, la carte mère ne peut contenir qu’un processeur Xeon, Motorola 68040 ou Sparc 5.
La contrainte doit être affectée à la fois au réseau de société et au réseau de département.