The Validator is to check created logic against inconsistencies (e.g. incompleteness). It should report any inconsistence and suggest a solution.
A reporting process should be clear to the user. Any possible inconsistence could be passed through the Controller to the Editor to visualize the problem that occurs. Ability to detect and show to the user what is wrong with the logical structure being developed is essential to this module.
The module doesn't require direct user interface. Thanks to an internal communication protocol it should be able to force the Editor module to show what kind of error occurs. Any additional information could be reported using the Controller interface.
The Validator should be able to exist without any other support from the Osiris system, to allow user to run it separately as needed.