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

УТВКРЖДАЮ иханов отзы ведущей организации федерального ого образовательного учреждения высшего образования «Национальный исследовательский ядерный университет «МИФИ» (НИЯУ МИФИ) на диссертационную работу Кейно Павла Петровича «Методы и инструменты декларативного программирования динамических ЪЧеЬ-узлов и приложений», представленную на соисканиеученой степени кандидата технических наук по специальности об.1з.п — математическое и программное обеспечение вычислительных машин, комплексов компьютерных сетей Диссертационная работа П.П.

Кейно посвящена развитию методов декларативного программирования динамических ЪЧеЬ-узлов и приложений, а также построению предметно-ориентированного языка и разработке программного комплекса интерпретатора. Работа выполнена на кафедре «Системное моделирование и инженерная графика» Московского авиационного института (МАИ). Актуальность темы диссертационной работы Гипертекстовые информационные системы являются одним из наиболее популярных и универсальных способов доступа к информации. С развитием отрасли ЪЧеЬ-приложений гипертекстовые информационные системы становятся более гибкими, а множество прикладного программного обеспечения переносится в облачные сервисы в виде ЪЧеЬ-узлов и ЪЧеЬ-приложений.

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

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

2. Методы: приема пользовательских данных, имеющий четко-выраженную семантическую структуру; — многокритериальный метод разграничения прав доступа; поиска релевантного шаблона на основе анализа формальных языков. З. Унифицированный метод оценки качества программного кода, основанный на метриках Холстеда, который удалось применить также и к декларативным языкам. Достоверность результатов диссертации, полученных автором с использованием современных алгоритмических методов, вычислительных средств и программного обеспечения, а также численных решений, применяемых при анализе языков и основанных на адаптированных метриках Холстеда, подтверждается соответствием с экспериментальными данными.

Полученные результаты обладают практическую значимость для использования в прикладных задачах построения динамических ЪЧеЬ- приложений с помощью разработанной программной системы, включающей интерпретатор разработанного языка и визуальный редактор. Благодаря использованию гибкой методики и визуализации, удалось сократить время на освоение технологии, а также повысить эффективность разработки. В работе показано, что декларативное программирование вкупе с визуальной составляющей, позволяет значительно оптимизировать трудовые затраты на обучение и повысить гибкость разработки. Несмотря на то, что предел повышения гибкости ограничен узкой специализацией предметно-ориентированного языка, инструментарий позволяет реализовать широкий спектр динамических ЮеЬ-приложений.

Диссертация изложена на губ страницах, содержит введение, 4 главы, заключение, а'7 рисунков и аа таблицы. Список использованной литературы содержит 118 источников, список публикаций автора содержит 2З наименования, Во введении диссертационной работы аргументированы актуальность и практическая ценность работы, сформулирована цель работы, раскрыты научная новизна, вопросы авторства, приведены данные о публикациях и апробации результатов работы.

Первая глава содержит классификацию инструментальных средств ХеЬ-разработки серверной стороны по уровням абстракции и степени обучаемости. Представлены особенности предметно-ориентированных языков и языков общего назначения и их роль в предметной области диссертации. Показаны требования к этапам формирования нового проблемноориентированного языка. Вторая глава посвящена разработке методики декларативного программирования В1осМе1 и языку ВМЕ. Показана основная идея методики и ее градация на четыре основных элемента: модель, локация, набор и блок. Основной упор делается на перераспределение уровней абстракции, где блок является конкретизированным элементом, с большим количеством свойств, а набор остается абстрактным, по аналогии с таблицей в СУБД.

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

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

по отношению к РНР. В четвертой главе описана архитектура программного комплекса интерпретатора. Детально продемонстрировано устройство внутренних компонентов и их взаимодействие между собой. Проанализированы накладные расходы с помощью нагрузоч ного тестирования при использовании динамических платформ и сетевых сокетов, организующих межпроцессное взаимодействие. Представлена архитектура шаблона проектирования «абстрактная фабрика», позволившая повысить гибкость при разработке блоков различного типа с помощью полиморфизма. Проведен сравнительный анализ синтаксических анализаторов языка ХМ?.

и шаблонизаторов. Удачным решением можно считать распределение логики перестроения сложных внутренних структур во времени с помощью синхронизатора, выделенного в отдельный программный модуль. Показаны интерфейсы визуального редактора, придающего языку ВМ1. свойства визуального.

По содержательной части текста диссертации можно отнести следующие замечания: 1) Не показана методика тестирования и отладки программного комплекса в аспекте определения потенциальных уязвимостей, способных создать угрозы информационной безопасности, что на данный момент несколько снижает оценку уровня практической значимости разработки. Поскольку в качестве основного средства разработки программного комплекса был выбран язык С++, работающий напрямую с адресным пространством, особенно важно оценить объем работ и разработать комплекс мер по пресечению появлений уязвимостей в виде переполнения буфера.

2) Не указаны методы защиты сетевого соединения при передаче данных от интерпретатора к синхронизатору на прикладном уровне. Передача данных в открьггом виде может повлечь за собой подмену пакетов в локальной сети центра обработки данных, где исполняется программный комплекс. З) К сожалению, приходится констатировать некоторую «неряшливость» в представлении материалов диссертационной работы. Так, совершенно неудачно сформулирована цель диссертационной работы, которой не может быть разработка конкретного инструментария, но который должен иметь существенное значение в соответствии с п.7 «Положения...» ВАК. Не сочетаются различные пункты представления результатов в автореферате диссертации. Так, в п.5 Положений, выносимых на защиту указано «5.