The algorithm of formalization the requirements for the execution of documents for the automation norm rule checking service

Kobets Elizaveta A., Nasyrov Nail F., Komarov Michael S., Gorlushkina Natalia N.

The scientific paper the problem is considered the automation norm rule checking the execution of text documents. The authors investigated the process of increasing the functionality opportunities of the automated error search tool. The main stages are identified and the tasks are considered for the formalization of the requirements of various standards. The task of translating requirements from a verbal description in the algorithmic language has been solved. As a result, the algorithm was developed for checking the sequence of actions to formalize the requirements of standards that regulate and govern the execution of documentation. The results allow to expand the functionality opportunities of the automation documents norm rule checking service.

Keywords:algorithm, automation, norm rule checking, formalization errors, execution of text documents, standards, unification.