Обговорюються можливості графічної нотації схем алгоритмів. Розглянуто проблеми опису типів і оголошення змінних (типізація) у разі використання ГСА або UML-діаграми діяльності, а також способи їх верифікації і трансляції. Наведено власний розв'язок даної задачі та його реалізація в системі, що розробляється
Обсуждаются возможности графической нотации схем алгоритмов. Рассмотрены проблемы описания типов и объявления переменных (типизация) в случае использования ГСА или UML-диаграммы деятельности, а также способы их верификации и трансляции. Приведено собственное решение данной задачи и его реализация в разрабатываемой системе
The paper discusses the possibilities of graphical notation schemes algorithms. The problems of describing the types of variable declarations (typing) in the case of GSA or UML-diagrams of activities are reviewed, as well as methods for their verification and translation. The proper solution of this problem and its realization in the system being developed is given
