Заключение организации, где выполнялась работа (Методы и инструменты декларативного программирования динамических Web-узлов и приложений)

.у~:,. „"",:УТВя!я ь =- ' пр Йф4й<ф"::рабате, И ,фк н.,: проффсор 'Рфйкощйчф).А. '~фф-,»"афпг.ф-.::Ф17 г. ЗАКЛЮЧжНИж федерального государственного бюджетного образовательного учреждения высшего образования «Московский авиационный институт (национальный исследовательский университет» (МАЙ) Диссертация Кейно Павла Петровича «Методы и инструменты декларативного программирования динамических ЖеЬ-узлов и приложений» выполнена на кафедре «Системное моделирование н инженерная графика» ФГБОУ ВО «Московский авиационный институг (национальный исследовательский университет)» (МАИ). В период подготовки диссертации соискатель Кейно Павел Петрович работал в: сентябрь 2012 г. — октябрь 2015 г.

— ФГБОУ ВПО «МАТИ вЂ” Российский государственный технологический университет имени К.Э. Циолковского» на кафедре «Системное моделирование и инженерная графика» в должности преподавателя. октябрь 2015 г. — н.в. — ФГБОУ ВО «Московский авиационный институт (национальный исследовательский университет)» (МАИ) на кафедре «Системное моделирование и инженерная графика» в должности преподавателя.

В 2009 г. окончил бакалавриат по направлению «Информатика и вычислительная техника», н в 2011 г. магистратуру по направлению «Информатика и вычислительная техника» в ФГБОУ ВПО «МАТИ вЂ” Российский государственный технологический университет имени К.З. Циолковского». Удостоверение о сдаче кандидатских экзаменов выдано Кейно П.П. в 2016 году ФГБОУ ВО «Московский авиационный институт (национальный исследовательский университет)» (МАИ), справка о сдаче кандидатского экзамена по специальности 05.13.11 выдана в 2016 г, ФГБОУ ВО «Московский авиационный институт (национальный исследовательский университет)» (МАИ). Научный руководитель — кандидат технический наук, доцент Силуянов Александр Вячеславович.

По итогам обсуждения на заседании кафедры «Системное моделирование и инженерная графика» принято настоящее заключение: О енка выполненной аботы Диссертационная работа Кейно П.П. «Методы и инструменты декларативного программирования динамических ЖеЬ-узлов и приложений» является законченной научно-квалификационной работой, посвященной разработке методики моделирования динамических ЖеЬ-узлов и разработке инструментальных визуальных средств на основе данной методики. В работе описывается новая методика моделирования динамических ЖеЬ-приложений с помощью декларативного программирования. Декларативному программированию на серверной стороне ЖеЬ-приложения посвящены труды многих ученых. Профессор Илко Виссер предложил язык %еЬРБЬ на базе )а~а.

Профессор Майкл Ханус разработал "ЯР1сеу" — инструмент, являющийся надстройкой над "Сшту"— встраиваемым языком программирования поверх языка Назке11. Декларативное программирование является одной из самых простых практик ведения разработки. Оно описывает не методику создания объекта, а его состояние в зависимости от внешних условий. Декларативный стиль программирования по уровню абстракции находится выше классического императивного, следовательно освоение языка не будет представлять значительных трудностей для начинающего разработчика. Например, язык НТМ1., по своей природе являющийся декларативным, описывает общие свойства документа, а не то, как этот документ должен отображаться на экране. В работе предлагается применить данный подход на серверной стороне, описывая основную логику работы сущности в виде ей свойств, а неабстрактных алгоритмов.

Для решения практической проблемы Кейно П.П. разработал декларативный язык, в котором количество задействованных сущностей сведено к минимуму, однако количество операций над ними многократно возросло. Пользовательское тестирование выявило положительную динамику такого перераспределения. Так, язык состоит из трех базовых сущностей: локация, набор, блок. Локация представляет собой динамическую страницу определенной конфигурации, которая содержит наборы. Набор — объект, созданный на основе таблицы в базе данных, однако не являющийся е6 полным аналогом.

Таблица является ядром, а сама сущность «набор» — его высокоуровневой надстройкой. Таким же образом блок является высокоуровневой надстройкой поля или, если взять более семантичный термин, домена в базе данных. Разработанная методология получила название В1ос1сЯег (от англ. В1ос1с и Яе1 — блок и набор), а декларативный язык программирования, лежащий в основе методологии — ВМ1. (от англ. В1осЫе1 Моде)1пя 1.апяиаяе, моделирующий язык В1осЫе1).

Для оценки качества языка и его применимости в отрасли были разработаны типовые рецепты, оцененные вместе с аналогами на язьпсе РНР с помощью разработанного метода, Л9Няйймя~ у г ~~ "~ В~И~~ ~~ ~с~~ положениях, экспериментальной проверке предложенной математической модели, а также на успешной апробации разработанного инструментария моделирования динамических %еЬ-узлов. На ч ю новиз диссертационной работы составляют следующие полученные автором результаты: предметно-специфичный язык декларативного программирования ВМ1., отличающийся эффективностью и низким порогом вхождения.

Разработана методика декларативного описания конфигурации %еЬ-узла на основе трех базовых сущностей (локация, набор, блок), отличающаяся повышенной гибкостью и «диалоговым» способом разработки за счет эффективного перераспределения уровней абстракции. П актическая значимость работы заключается в применении эффективной, гибкой методики создания ЖеЬ-узлов и приложений с помощью предметно- ориентированного языка декларативным методом без использования классического императивного программирования. Разработан интерпретатор языка ВМ1, методики В1оскБег, позволивший получить исполняемость разработанного языка на практике. Разработан визуальный редактор В1осЫе1, позволивший придать ВМЬ свойства визуального языка. Результаты работы активно используются в учебном процессе на кафедре «Системное моделирование и инженерная графика» на базе университета МАИ при подготовке бакалавров по направлению 090301 «Информатика и вычислительная техника» в следующих дисциплинах: ЖеЬ-технологии, %еЬ-программирование и Информационные системы.

Основные на чные ез льтаты аботы докладывались и обсуждались на следующих конференциях; ° ХХХЧ11, ХХХЧ111, ХХХ1Х, ХЬ, Х1.1, ХЫ1, ХЫ11 Международные молодежные научные конференции «Гагаринские чтения» (Москва, 2011-2017); ° ХХ11, ХЫ11 Всероссийские научно-практические конференции «Проблемы безопасности в системе высшей школы» (Москва, 2015-2016); ° Х Юбилейная международная научно-практическая конференция «Современные информационные технологии и ИТ-образование» (Москва, 2015)„ ° Ч1П Общероссийская молодйжная научно-техническая конференция «Молодежь.

Техника. Космос» (Санкт-Петербург, 2016). » ХЧ Международная конференция «Авиация и космонавтика» (Москва, 2016); Результаты, полученные в ходе выполнения диссертационной работы, опубликованы в 32 печатных изданиях из них 22 являются тезисами докладов и 10 опубликованы в журналах, входящих перечень рецензируемых научных изданий, рекомендованных ВАК. На визуальный редактор, являющийся дополнением интерпретатора ВМЬ, получено свидетельство о государственной регистрации программы для ЭВМ: В е ензи емых иалах нз пе ечня ВАК: 1. Бубнов А. В., Кейно П. П.

Особенности прийма данных по протоколу НТТР в компилируемом ФеЬ-приложении и их унификация в предметно-ориентированном языке // Безопасность информационных технологий. — М., 2016. — № 1. — С. 16 — 19. 2. Кейно П. П. Иерархическая модель прав доступа в декларативном языке моделирования %сЬ-приложений по методологии В?ос?сбе1 // Безопасность информационных технологий.

— М., 2016. — № 1. — С. 53 — 58. 3. Кейно П. П. Разработка архитектуры программного комплекса синхронизатора при интерпретаторе декларативного языка ВМЬ // Прикладная информатика. — М., 2016. — 2(52). — С, 65 — 77. — 18БЬ? 1993-8314. 4.Кейно П.П. Унификация типов прав доступа к информационным ресурсам облачных ЖеЬ-сервисов // Безопасность информационных технологий. — М., 2015. — №1. — С. 87 — 89. 5. Кейно П. П., Силуянов А. В.

Автоматизированная разработка динамических %еЬ-узлов средствами декларативного языка программирования // Прикладная информатика. — М., 2014. — 6 (54). — С. 70 — 78. — ?ББЬ? 1993-8314. б. Кейно П. П., Силуянов А. В. Декларативный подход описания динамических структур серверной стороны при разработке ?ЧеЬ-узлов // Информационные системы и технологии. — Орел, 2015. — 3 (89). — С. 47 — 51. 7. Кейно П.

П., Силуянов А. В. Разработка и внедрение интерпретатора декларативного языка моделирования ЖеЬ-интерфейсов на высоконагруженных системах // Прикладная информатика. — М., 2015. — 1(55). — С. 55 — 70. — ?ББЬ? 1993-8314. 8. Кейно П. П., Ярмухаметов Ф. Ф. Использование паттерна «абстрактная фабрика» в реализации модуля вапидации и преобразования данных интерпретатора В?оскБе1 // Прикладная информатика. — М., 2017. — 1(67).