TY - JOUR AU - Сергей Николаевич Баранов AU - Бертран Буавер AU - Сергей Владимирович Соловьев AU - Луи Феро PY - 2012/12/01 Y2 - 2024/03/28 TI - Некоторые приложения лямбда-исчислений с типами к атрибутным вычислениям в системах категорных преобразований графов JF - Труды СПИИРАН JA - ТС VL - 4 IS - 23 SE - Статьи DO - 10.15622/sp.23.15 UR - http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1640 AB - Рассматриваются преобразования моделей на основе преобразований атрибутных графов. Исследуется подход одинарного универсального квадрата (single pushout) для применения правил преобразования в категории атрибутных графов. Преобразование атрибутов задается при помощи лямбда-исчисления с индуктивными типами. Предлагаются решения, позволяющие работать с конструкцией одинарного универсального квадрата для преобразования структуры графа и атрибутных вычислительных функций. Использование индуктивных типов повышает выразительность и эффективность атрибутных вычислений по сравнению с известным подходом на основе сигма-алгебр. Приводится ряд примеров, демонстрирующих особенности предлагаемого подхода. ER -