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

ОТЗЫВ официального оппонента по диссертационной работе Кейно Павла Петровича «Методы и инструменты декларативного программирования динамических ЖеЬ-узлов и приложений», представленной на соискание ученой степени кандидата технических наук по специальности 05.13.11 — «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» Оценка актуальности темы диссертации. Масштабы современных информационных систем постоянно растут, и как следствие, увеличивается объем программного кода для их реализации.

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

Соискатель в диссертационной работе разработал новый предметно-ориентированный язык, который ориентирован на ЖеЬ-разработку, и инструментальные средства для него. Но только при доказательстве удобства и эффективности такого языка по сравнению с существующими решениями под %еЬ, разработка предметно-ориентированного языка является актуальным, потому что он позволит автоматизировать сам процесс разработки. Оценка научной новизны диссертационного исследования. Основная новизна и теоретическая значимость диссертационной работы состоит разработанном декларативном предметно-ориентированным языке программирования %еЬ-узлов и приложений, который позволяет автоматизировать процесс разработки. Для разработки данного языка были разработана сама методика декларативного программирования динамических ФеЬ-узлов и приложений, а также методы манипулирования данными этим языком.

Для апробации полученного языка была разработана методика анализа декларативных и императивных языков на основе метрик Холстеда, отличающихся мультипарадигменностью. Обоснованность и достоверность полученных результатов Диссертационная работа отличается четкой аргументацией, обоснованностью положений и выводов, логичностью изложения материала.

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

Достоверность и обоснованность подтверждается апробацией и обсуждением результатов работы на научных конференциях, рецензированием и предварительной экспертизой научных статей. Но на данный момент у соискателя по данной теме диссертационной работы отсутствуют публикации в зарубежных журналах. Практическое значение диссертационного исследования Теоретические исследования в диссертации доведены до уровня интерпретатора языка ВМЬ и инструментальных средств, позволяющих автоматизировать процесс разработки. Результаты диссертационной работы внедрены в проектах ЗАО ИЦ «Луч», что подтверждается приложенным в диссертационную работу актом о внедрении.

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

В диссертационной работе не описывается жизненный цикл разработки программного обеспечения с учетом разработанных инструментариев, не описывается взаимосвязь с другими САЯЕ-средствами, нет рекомендаций и практик на организацию процесса разработки. 3. Сравнительный анализ осуществляется только с одним языком программирования РНР. При этом не указывалось использование каких- нибудь других библиотек и технологий с РНР и не проводилось сравнения с языками совместно с другими технологиями, ориентированные на такие же задачи, что и разработанный язык ВМЬ. 4.

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

Предложенные методы и алгоритмы в диссертационной работе способствуют автоматизации разработки приложений. Основные выводы и предложения диссертационного исследования доведены до конкретных разработок. Основные положения, полученные выводы и результаты диссертационной работы в достаточной мере получили отражение в опубликованных научных работах, в том числе в 10-ти работах, опубликованных в ведущих рецензируемых изданиях, рекомендованных ВАК, а также апробированы на научно-технических конференциях.

На визуальный редактор, являющийся дополнением интерпретатора ВМЬ, имеется свидетельство о государственной регистрации программы для ЭВМ. Диссертация в полном объеме описывает предлагаемый автором язык ВМЬ и методы декларативного программирования динамических ЖеЬ-узлов и методы манипулирования данными этим языком. Она логически структурирована, введение, содержание глав и заключение дают полное описание проделанной работы.

Автореферат соответствует основному содержанию диссертации. По содержанию, глубине разработки основных проблем исследования, научной аргументации выводов, практической разработки диссертационная работа соответствует требованиям, предъявляемым к диссертационным работам на соискание ученой степени кандидата технических наук. В диссертационной работе изложены новые научно обоснованные решения и разработки по повышению эффективности вычислительных компьютерных систем, которые имеют важное значение для современных информационных технологий, в силу чего работа отвечает требованиям п. 9 «Положения о порядке присуждения ученых степеней». На основании вышеизложенного Кейно Павел Петрович заслуживает присуждения ученой степени кандидата технических наук по специальности 05.13.11 — «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».

Официальный оппонент к.т.н. Олег Игоревич Лукьянчиков 141006, РФ, Московская область, город Мытищи, Олимпийский проспект, дом 50, Тел.: +7-910-412-57-18, е-та11: 1пй1б®уапс1ех.ги, ЗАО «Инженерный центр «ГЕОМИР», научный сотрудник Заверяюэа'" дК~~ЙЮ '~~~~ Дзнил~ .