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

ОТЗЫВ ОФИЦИАЛЬНОГО ОППОНЕНТА на диссертацию Кейно Павла Петровича «Методы и инструменты декларативного программирования динамических %еЬ-узлов и приложений», представленную в диссертационный совет Д 212.131.05 на базе федерального государственного бюджетного образовательного учреждения высшего образования «Московский технологический университет» ~МИРЗА) на соискание ученой степени кандидата технических наук по специальности 05.13.1! — «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» Актуальность избранной темы В современной индустрии %еЬ-технологий тратится существенное количество времени на разработку ФеЬ-приложений со стороны сервера.

Целью подобных разработок является создание гипертекстовой динамической системы для решения различного рода задач. Задачи разнятся в зависимости от величины проекта: от приема данных на базе простейшей формы до организации облачной корпоративной информационной системы. С увеличением масштаба проекта, многократно возрастает сложность его реализации и сопровождения, что ведет к увеличению сроков выполняемых работ. В связи с этим, актуальной задачей является разработка эффективных инструментальных средств и платформы для создания динамических %еЬ-узлов и приложений. Автор рассматривает задачу серверной разработки на основе декларативного программирования и предметно-ориентированных конструкций. В работе описываются предметно-ориентированные языки программирования и сравниваются с технологиями классической разработки. Автор исходит из тезиса, что предметно-ориентированные языки отличаются тем, что решают задачи своей предметной области лучше, чем языки программирования общего назначения, поскольку оперируют с ограниченным набором жестка-заданных семантических сущностей.

Декларативный подход позволяет дополнительно облегчить понимание новой технологии и значительно сократить время на обучение. Помимо прочего, декларативная парадигма позволяет языку придать свойства визуального, что также способствует повышению описанных выше характеристик. При этом сохраняется приемлемый уровень гибкости. Как отметил автор, инструментальные средства серверной стороны ЖеЬ-разработки либо требуют специализированных навыков, либо не обладают достаточной степенью гибкости для реализации сложных проектов. Декларативные языки являются, как правило, и предметно- ориентированными.

Их применение в %еЬ-разработке ограничивается ре1пением в высшей степени узкоспециализированных задач: верстка гипертекста (язык НТМ1.), выборка из баз данных (Я~1.-подобные языки), преобразование ХМ1.-документов (ХЯ1.Т, хратЬ). Для генерации серверной логики были разработаны языки %еЫЭЯ и Яр1сеу, каждый из которых поддерживается своим научным сообществом разработчиков на базе университетов. Отмеченные автором диссертационной работы недостатки рассмотренных языков делают актуальным разработку новой методики и основанного на ней инструментария декларативного программирования динамических %еЬ-узлов и приложений, который позволит повысить на достаточный уровень гибкость разработки и сопровождения, обеспечив при этом минимальное время обучения.

Степень обоснованности и достоверности научных положений, выводов и рекомендаций Научные положения, представленные в работе, являются обоснованными и достоверными. Приведенные положения подтверждены корректностью представленных тезисов, опираются на результаты экспериментов, полученных в ходе выполнения диссертационной работы, и согласуются с результатами других исследователей. В процессе исследования изучены и проанализированы современные отечественные и зарубежные работы по данной тематике. Достоверность представленных результатов подтверждается их апробацией на конференциях, семинарах и в опубликованных работах.

Научная новизна К основным результатам, достигнутым автором рецензируемой работы лично и обладающим научной новизной, следует отнести: 1. Методику декларативного программирования динамических %еЬ- узлов и приложений, формализованную на основе четырех базовых сущностей (модель, локация, набор, блок), отличающуюся повышенной гибкостью, низким порогом вхождения и высокой эффективностью разработки за счет эффективного перераспределения уровней абстракции.

2. Методы манипулирования данными: метод разграничения прав доступа в представленной методике; метод выборки и изменения данных на основе адаптивной структуры каждой сущности; методы интеллектуального выбора неоднозначных динамических 13Ю за счет вычисления мощности множеств каждого шаблона; метод отложенной во времени синхронизации больших объемов данных между синхронизатором и интерпретатором. 3.

Методику анализа декларативных и императивных языков на основе метрик Холстеда, отличающейся независимостью между декларативной и императивной парадигмой. Предлагаемая методика и реализующий ее предметно- ориентированный язык представлены в главе 2. Архитектура программного комплекса интерпретатора разработанного языка представлена в главе 4. По сравнению с существующими решениями предложенная методика позволяет наглядно моделировать как структуру %еЬ-приложения, так и логику его работы.

Идея методики состоит в перераспределении уровней абстракции и выделении четырех базовых компонентов, имеющих множество свойств, описываемых декларативным способом. Методы разграничения прав доступа, выборки и изменения данных„ интеллектуального выбора шаблона являются частью разработанной методики. Новизна метода разграничения прав доступа заключается в гибкости применения на основе многокритериальной модели, подразделяемой на область действия, тип действия и адреса'га. Новизна метода приема данных с целью выборки и их изменения основаны на семантическом использовании методов протокола НТТР и свойств разработанного предметно-ориентированного языка с четким разделением модифиццруемых и выбираемых данных.

Метод выбора неоднозначных шаблонов предназначен для сохранения свойств декларативности в разработанном языке. Поскольку декларативный язык не обладает потоком исполнения, необходимо расставить приоритет обьектам, отвечающим за логику отдельной страницы (локациям), без учета их порядка. Новизна метода отложенной во времени синхронизации больших объемов данных заключается в асинхронном алгоритме перестроения внутренних структур проекта на основе измененной логики. Личный вклад автора в методику анализа декларативных и императивных языков заключается в адаптации метрик Холстеда для использования в декларативных языках.

Адаптация заключается в выражении свойств и их значений в терминах операторов и операндов. Значимость для науки и практики Основным практическим результатом диссертационной работы является методика декларативного программирования динамических %еЬ-приложений "В1осЕКе1", включающая предметно-ориентированный язык ВМ1, на основе которого был создан инструментарий. В состав инструментария входят программные комплексы интерпретатора разработанного языка и визуального редактора.

Построенная методика является эффективным средством моделирования и программирования, а созданный на ее основе язык декларативного программирования — грамотно построенной практической реализацией полученной методики. Практическая и научная значимость основных положений диссертации подтверждается двумя актами о внедрении (в МАИ и в АО «Инженерный Центр «Луч») при разработке корпоративных информационных ресурсов предприятий, а также свидетельством на программу для ЭВМ, выданным на программный комплекс визуального редактора.

Замечания но диссертационной работе 1. В работе нечетко сформулированы компетенции, которыми должен обладать разработчик на языке ВМ1.. Автор позиционирует разработанный инструментарий как средство построения %еЬ-приложений, не требующее навыков классического программирования. При этом автор не указывает требований к другим навыкам и умениям. 2. Автором не приведено четкое разделение понятий «моделирующий язык» и «язык программирования». Язык ВМ1, автор позиционирует как моделирующий (В1ос1Яет Мойейпп 1.аппиаае), однако тема диссертации рассматривает именно языки программирования.