Elena A. Sidorova, Natalia O. Garanina, Irina S. Kononenko, Olesya I. Borovikova

A.P. Ershov Institute of Informatics Systems SB RAS

In the paper, the specifics of the genre of technical documentation are
examined with regard to extracting the content information necessary to analyze the
correctness of the specifications set before the task developers. A distinctive feature of
the proposed approach is the use of ontology as a link between text and formal
verification. The objects and processes described in the text are determined by a set of
ontologies: the ontology of requirements, the ontology of processes and distributed
systems, and the ontology of the control object. The ontology of the control object is
defined within the semantic dictionary and includes concepts describing special objects
and characteristics used in a particular control system

semantic text analysis, information extraction, requirements specification, ontology of requirements, ontology of processes, automated control systems