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

отзыв на автореферат диссертационной работы Кейно Павла Петровича "Методы и инструменты декларативного программирования динамических %сЬ-узлов и приложений". представленной на соискание ученой степени кандидата технических наук по специ шьности 05.13.11 — "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей" Диссертационная работа посвящена инструментам декларативного про!раммирования и проблемно-ориентированным языкам, применяемым в области вебразработки. Возможности и перспективы использования проблемно-ориентированных языков для Ьас)!-еп!) разработки изучены слабо. число декларативных языков. используемых в серверных компонентах интернет-систем, крайне ограничено (если не считать узкоспециализированный язык Я)1,-запросов).

по !тому тема исследования является актуальной. В диссертации фактически решается задача разработки методики декларативного программирования веб-узлов и проектирования г!редъ|епю-ориентированного языка ВМ!., а также создания программного инструментария для работы с цим. Лвтор рассматривает различные типы веб-технологий. отличающиеся уровнями абстракции и гибкостью разработки, определяет базовые суппп>сти предлагаемой методики В1осЮе! и языка ВМ1, идентифицирует место указ!ппп !х разработок, в иерархии ипструмеп гальных средств веб-разработки.

Предложенная автором оригинальная методика зшюлняет промежуточную пишу между системами управления контентом и языками программирования. находясь на одной параллели с фрсймворкал!и, являясь при этом самостоятельной технологией. Г1рактнческим рсзульгатоы методики является предметно- ориентированный декларативный язык. В работе выполнена сравнительная опенка сложности кодирования с использованием традиционного императивного подхода (!оз примере языка 1'НР) и пред:юженной методики. Для анализа эффективности разработанного языка автором предлагается метод, представляющий собой адаптацию метрик Холстеда к декларативному языку программирования, Полученные результаты сравнения показали, что эффективность разработки типовых веб-г!ридо)кений (их серверной части) с использованием предла! асмо!о подхода существенно выше в сравнении с языком РНР.

Лвтором отдельно приводится архитектура разрабатываемого программного ком!шекса, В частности, показана архитектура интерпрс!атора. исполняемая в паре с синхронизатором. что наиболее оптимально для обработки исходного кода языков такого уровня абстракции. поскольку синхронизатор позволяет распределить во времени перестроение сложных программных структур при нзмспсш!и исходного кода.

Наличие визуа;!Ьпо!0 )хдактора приз!ас!. Получен!юму языку свойст!га !изуа!!ы!о!о. Замечания по авторсфера гу 1. Методика адаптации метрики Холстсда к декларативному языку программирования основана на замене отдельных сущностей илзперативного языка (операторов.

операндов) некоторыми сущностями декларативного языка программирования. Из текста автореферата неясно, почему бьщо принято именно такое репгенис и могло ли изменение методики адаптации метрики Холстеда к декларативному языку повлиять на результаты сравнения разработанной методики н языка ВМ1. с языком РНР. 2. В начале авторефсрата автор упоминает более современные по сравнению с!'НР языки, используемые для Ьас)с-епг) разработки (ЕцЬу..1ама, РутЬоп и др.).

Однако никакого сравнения разработишой методики н языка ВМ1. с упомянутыми средствами пс проводится. Кроме того, совершенно вне поля зрения автора 1во всяком случае судя по автореферату) осталась технология АЯР .Ь)ЕТ, которая хотя и относится к категории проприетарного программного обеспечения, но изначально ориентирована на часто упоминаемую в авторефератс модель М'ЧС и широко используется для веб-приложений Ь2Ь-сегмента, 3. В работе выполнена разработка программного комплекса интерпретатора предложенного языка ВМ1.. В то же время в автореферате не упоминается о каких-либо процедурах тестирования и верификации разработанного программного продукта, возможностях оптимизации по каким-либо критериям при работе интерпретатора.

Кандидат технических паук. доцент, заведуюший кафедрой математического обеспечения н применения ЭВМ Института компыо серных технологий и информационной безопасности 1Ожного фецерального университета Хусаинов Наиль 1Навкятович Дата: Подпись к.т,н. Н,Ш. Хусаинова заверяю; 347928, г.'1'аганрог, пер. 11екрасовскнй 44, ГСП-17А Телефон: 8(8634)393-545 е-пза11: Ышьа1поч!лж! ей~.гц зхвегйкв '!.; .."~' е: ее ~р ') гпе~а~~ п1 ' 'РЫ~'"'" ~'"*х'""' Ф рр "/ с~'~'6~ Заключение Указаш|ые замечания не снижают обшей ценности диссертациошюй работы, носят рекомендательный характер и не влияют на главные теоретические и практические результаты диссертации. Работа является законченной и вьпюлнена автором самостоятельно на достаточном научном уровне.

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