abstract: На примере разработанного алгоритма составления описания внутренней логики информационных процессов анализируются возможности и ограничения автоматизированного формирования и верификации этого описания. Анализ базируется на использовании подобных методов реализации, используемых в программноинструментальных средствах верификации и редактирования диаграмм потоков данных.
keywords: миниспецификации, информационные процессы, диаграммы потоков данных