Гуца Олег Николаевич
доцент кафедры Экономической кибернетики и управления экономической безопасностью Харьковского национального университета радиоэлектроники
кандидат технических наук, доцент.
Написать автору статьи
Аннотация: проведен анализ существующих юридических текстов с описанием процедур на логическую связность и полноту (алгоритмичность) с точки зрения методов разработки процессов. Установлено, что подавляющее большинство юридических текстов с описанием ветвящихся процессов содержат ошибки алгоритмичности, которые можно разделить на три группы. Высокий процент ошибок алгоритмичности в описаниях процедур объясняется сложившейся практикой – в законодательных техниках отсутствует применение визуализации в ходе подобных разработок. Описана информационная технология проверки текстовых процедур, содержащих описания ветвящихся процессов, на основе визуализации с использованием нотации BPMN, что позволяет находить ошибки логической связности и полноты. Показана эффективность предлагаемой информационной технологии на примере проверки текстов законов Австралии, Европейского Союза, Российской Федерации, США и Украины, содержащих описания ветвящихся процессов.
Ключевые слова: визуализация, ветвящиеся процессы, нотация BPMN, логические ошибки в законах, текстовые процедуры