Le présent amendement à la Rec. X.722 du CCITT | ISO/CEI 10165-4 contient un exemple qui illustre le meilleur usage actuel du langage de description formelle Z pour spécifier le comportement des objets gérés. Il vise à établir une base et une compréhension communes de cette méthode formelle particulière, qui favoriseront la cohérence des réalisations analogues. Il devrait fournir un utile point de départ aux utilisateurs de GDMO qui souhaitent utiliser le langage Z pour améliorer leurs spécifications de comportement.
La valeur des spécifications de comportements d'objets gérés tient à ce qu'elles soient claires et sans ambiguïté. Elaborer une spécification formelle force à analyser de près les détails du comportement. Cela peut donc servir aussi d'outil pour identifier et corriger les imprécisions d'une spécification qui demeurera en langage naturel.
Le présent amendement contient un guide technique d'application du langage Z dans la définition du comportement des objets gérés utilisés pour l'interfonctionnement de la gestion OSI. De nature descriptive, il n'est pas normatif. Il ne requiert pas de techniques de définition formelle (FDT) pour spécifier le comportement des objets gérés. Si les techniques FDT doivent être employées, il n'est pas nécessaire d'utiliser le langage Z; d'autres langages, tels que le SDL, conviennent également.