Предлагаются автоматно-ориентированные методы и средства семантического анализа и контроля
диаграмматических моделей при проектировании сложных автоматизированных систем. В качестве основного графического базиса выбран язык UML. Offered automaton-oriented methods and means of semantic analysis and control of diagrammatical models in the design of complex automated systems. As a basic
graphical basis chosen the UML.