Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Материал конференции: "Труды Международной конференции по компьютерной графике и зрению "Графикон""
Авторы: Гордеев Д.С.
Модель визуализации и отладки на графовом представлении Cloud-Sisal программ
Аннотация:
В работе описывается решение задач визуализации графов внутреннего представления Cloud Sisal программ, визуализации процесса вычислений и отладки Cloud Sisal программ. Приведены формальные определения графа с портами и графовой модели с портами и атрибутами. Описана модель визуализации графовой модели с портами и атрибутами с помощью статических изображений в формате векторной графики SVG. Описана модель отображения изменений графовой модели с портами и атрибутами с помощью анимаций, поддерживаемых форматом векторной графики SVG. Соединение графических анимаций, отображающие изменения в визуальных стилях и изменений в атрибутах графовой модели с портами реализовано с помощью безопасных сетей Петри. Описано моделирование вычислений, соответствующих функциям заданной Cloud Sisal программы с помощью иерархических сетей Петри, где переходы соответствуют функциям, а места аргументам и параметрам соответствующих функций. Также описаны модификации иерархических сетей Петри, обеспечивающие реализацию функциональности точек останова и редактирования аргументов или результатов функций при активированных точках останова в целях отладки с помощью добавления дополнительных мест и переходов. Таким образом для полученных сетей Петри рассматривается возможность изменения разметки мест в процессе функционирования.
Ключевые слова:
Cloud Sisal, Sisal, внутреннее представление, визуализация графовых моделей, динамический граф, сети Петри
Язык публикации: русский,  страниц: 9 (с. 54-62)
Полный текст на русском языке:
Экспорт ссылки на публикацию в формате:   RIS    BibTeX
Сведения об авторах:
  • Гордеев Дмитрий Станиславович,  orcid.org/0000-0003-1623-9553,  Федеральное государственное бюджетное учреждение науки Институт систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук