Deux formes système pour traiter les énoncés de protocole

Supposons que nous ayons un Protocol Manager qui gère les séquences de protocole entre les consoles et le Network. Les consoles génèrent et acceptent des chaînes de caractères EBCDIC et le Network transmet des chiffres binaires. L'utilisateur de la console dispose d'un langage semblable aux appels système dans lequel il peut créer et stocker des séquences de protocole via le Protocol Manager, et en même temps il peut indiquer quelles commandes sont censées être envoyées et lesquelles doivent être reçues. Sur commande, le Protocol Manager peut exécuter cette séquence avec le Network, en générant les commandes et en validant celles reçues. Supposons aussi que le Protocol Manager affiche le dialogue à l'utilisateur de la console au fur et à mesure de son déroulement.

Afin de traduire entre la console et le Network pour générer, comparer et afficher des commandes, le Protocol Manager peut utiliser la Form Machine. Deux formes système sont nécessaires, voir Fig. 1. L'une est un ensemble de règles console-vers-Network contenant la conversion EBCDIC vers binaire pour toutes les commandes légales ; l'autre est une image miroir pour Network-vers-console.