Lors de la vérification du GEE, le système vérifie que les règles suivantes sont respectées :
Pour les Programmes :
Chaque programme doit être renseigné (cas des programmes graphiques sur micro).
Chaque programme appelé dans le GEE d'un programme, et qui est non placé, est signalé. Il sera examiné de la même manière que les objets placés.
Un programme dont le nom dessiné ne correspond plus à son nom réel (stocké en base de données) est signalé.
Un programme placé sur le GEE doit être appelé.
Un programme appelé doit toujours exister en base de données.
Un programme doit être appelé avec le nombre de paramètres correct.
Les entités logiques manipulées par les programmes appelés dans le GEE doivent être attachées au domaine.
Un programme doit avoir un début et une fin.
Pour les Transactions :
Chaque transaction doit être renseignée (cas des transactions graphiques sur micro).
Chaque transaction appartenant au programme dont le GEE est spécifié, et qui est non placée, est signalée. Elle sera examinée de la même manière que les objets placés.
Une transaction doit contenir au moins une zone dans sa maquette.
Une transaction définie pour un programme doit être appelée.