В работе описывается решение задач визуализации графов внутреннего представления Cloud Sisal программ, визуализации процесса вычислений и отладки Cloud Sisal программ. Приведены формальные определения графа с портами и графовой модели с портами и атрибутами. Описана модель визуализации графовой модели с портами и атрибутами с помощью статических изображений в формате векторной графики SVG. Описана модель отображения изменений графовой модели с портами и атрибутами с помощью анимаций, поддерживаемых форматом векторной графики SVG. Соединение графических анимаций, отображающие изменения в визуальных стилях и изменений в атрибутах графовой модели с портами реализовано с помощью безопасных сетей Петри. Описано моделирование вычислений, соответствующих функциям заданной Cloud Sisal программы с помощью иерархических сетей Петри, где переходы соответствуют функциям, а места аргументам и параметрам соответствующих функций. Также описаны модификации иерархических сетей Петри, обеспечивающие реализацию функциональности точек останова и редактирования аргументов или результатов функций при активированных точках останова в целях отладки с помощью добавления дополнительных мест и переходов. Таким образом для полученных сетей Петри рассматривается возможность изменения разметки мест в процессе функционирования.

Cloud Sisal, Sisal, внутреннее представление, визуализация графовых моделей, динамический граф, сети Петри

Гордеев Дмитрий Станиславович,  ,  orcid.org/0000-0003-1623-9553,  Федеральное государственное бюджетное учреждение науки Институт систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук