During the verification of the SSG, the system verifies whether the following rules are complied with:
For Programs:
Each program must be informed (case of PC graphical programs).
Each program called in the SSG of a program, and which has not been placed, is mentioned. It will be verified in the same way as the objects placed.
A program which designed name does not correspond anymore to its actual name (stored in the database) is mentioned.
A program placed on the SSG must be called.
A program called must always exist in the database.
A program must be called with the valid number of parameters.
The logical entities handled by the programs called in the SSG must be attached to the application area.
A program must have a beginning and an end.
For Transactions:
Each transaction must be informed (case of PC graphical transactions).
Each transaction belonging to a program whose SSG has been specified, and which has not been placed, is mentioned. It will be verified in the same way as the placed objects.
A transaction must contain at least one field in its layout.
A transaction defined for a program must be called.