ABSTRACT

is a necessary criterion for the semantic computational process flow correctness (e.g., the data processing in the data networks).