Invariants Classification Characteristics for Checking the Correctness of Computational Processes