RUS  ENG
Полная версия
ЖУРНАЛЫ // Информатика и автоматизация // Архив

Тр. СПИИРАН, 2012, выпуск 23, страницы 296–323 (Mi trspy554)

Некоторые приложения $\lambda$-исчисления с типами к атрибутным вычислениям в системах категорных преобразований графов

С. Н. Барановabc, Б. Буаверd, С. В. Соловьевcd, Л. Фероd

a Санкт-Петербургская государственная академия аэрокосмического приборостроения
b Санкт-Петербургский государственный политехнический университет
c Санкт-Петербургский институт информатики и автоматизации РАН
d Université Paul Sabatier, Toulouse

Аннотация: Рассматриваются преобразования моделей на основе преобразований атрибутных графов. Исследуется подход одинарного универсального квадрата (single pushout) для применения правил преобразования в категории атрибутных графов. Преобразования атрибутов задаются при помощи $\lambda$-термов в $\lambda$-исчислении с индуктивными типами. Предлагаются решения, позволяющие работать с конструкцией одинарного универсального квадрата для преобразования структуры графа и атрибутных вычислительных функций. Использование индуктивных типов повышает выразительность и эффективность атрибутных вычислений по сравнению с известным подходом на основе $\Sigma$-алгебр. Приводится ряд примеров, демонстрирующих особенности предлагаемого подхода.

Ключевые слова: теория категорий, универсальный квадрат, $\lambda$-исчисление, переписывание атрибутных графов.

Поступила в редакцию: 17.11.2012



© МИАН, 2024