Отзыв ведущей организации (1090641)
Текст из файла
УТВКРЖДАЮ иханов отзы ведущей организации федерального ого образовательного учреждения высшего образования «Национальный исследовательский ядерный университет «МИФИ» (НИЯУ МИФИ) на диссертационную работу Кейно Павла Петровича «Методы и инструменты декларативного программирования динамических ЪЧеЬ-узлов и приложений», представленную на соисканиеученой степени кандидата технических наук по специальности об.1з.п — математическое и программное обеспечение вычислительных машин, комплексов компьютерных сетей Диссертационная работа П.П.
Кейно посвящена развитию методов декларативного программирования динамических ЪЧеЬ-узлов и приложений, а также построению предметно-ориентированного языка и разработке программного комплекса интерпретатора. Работа выполнена на кафедре «Системное моделирование и инженерная графика» Московского авиационного института (МАИ). Актуальность темы диссертационной работы Гипертекстовые информационные системы являются одним из наиболее популярных и универсальных способов доступа к информации. С развитием отрасли ЪЧеЬ-приложений гипертекстовые информационные системы становятся более гибкими, а множество прикладного программного обеспечения переносится в облачные сервисы в виде ЪЧеЬ-узлов и ЪЧеЬ-приложений.
В связи с этим, актуализируется проблема разработки эффективного инструментального средства построения динамических приложений подобного рода. Современный рынок ЮеЬ-приложений предоставляет большое количество различных решений, каждое из которых имеет свои особенности, достоинства и недостатки. На уровне серверной стороны разработки используются языки программирования, фреймворки и системы управления контентом.
Каждый инструментарий имеет различные уровни абстракции: низкий и средний (языки и фреймворки) уровни требуют специализированных знаний в области алгоритмизации и синтаксиса, самый высокий — обладает пониженной гибкостью. Разрешить проблему быстрого освоения и при этом повысить гибкость разработки помогают предметно- ориентированные языки, нацеленные строго на решение задач своей предметной области. Декларативный метод обеспечивает дополнительную упорядоченносп языка и дает возможность его визуального представления. В связи с этим, разработка эффективного инструментария создания динамических ХеЬ-приложений на основе декларативного предметно-ориентированного языка с визуальными свойствами становится актуальной задачей. В диссертационной работе признаками научной новизны обладают следующие основные результаты: ь Методика построения динамических ЪЧеЬ-приложений В1осйБе1, основанная на нескольких базовых элементах, формализованная в виде декларативного предметно-ориентированного языка ВМБ.
2. Методы: приема пользовательских данных, имеющий четко-выраженную семантическую структуру; — многокритериальный метод разграничения прав доступа; поиска релевантного шаблона на основе анализа формальных языков. З. Унифицированный метод оценки качества программного кода, основанный на метриках Холстеда, который удалось применить также и к декларативным языкам. Достоверность результатов диссертации, полученных автором с использованием современных алгоритмических методов, вычислительных средств и программного обеспечения, а также численных решений, применяемых при анализе языков и основанных на адаптированных метриках Холстеда, подтверждается соответствием с экспериментальными данными.
Полученные результаты обладают практическую значимость для использования в прикладных задачах построения динамических ЪЧеЬ- приложений с помощью разработанной программной системы, включающей интерпретатор разработанного языка и визуальный редактор. Благодаря использованию гибкой методики и визуализации, удалось сократить время на освоение технологии, а также повысить эффективность разработки. В работе показано, что декларативное программирование вкупе с визуальной составляющей, позволяет значительно оптимизировать трудовые затраты на обучение и повысить гибкость разработки. Несмотря на то, что предел повышения гибкости ограничен узкой специализацией предметно-ориентированного языка, инструментарий позволяет реализовать широкий спектр динамических ЮеЬ-приложений.
Диссертация изложена на губ страницах, содержит введение, 4 главы, заключение, а'7 рисунков и аа таблицы. Список использованной литературы содержит 118 источников, список публикаций автора содержит 2З наименования, Во введении диссертационной работы аргументированы актуальность и практическая ценность работы, сформулирована цель работы, раскрыты научная новизна, вопросы авторства, приведены данные о публикациях и апробации результатов работы.
Первая глава содержит классификацию инструментальных средств ХеЬ-разработки серверной стороны по уровням абстракции и степени обучаемости. Представлены особенности предметно-ориентированных языков и языков общего назначения и их роль в предметной области диссертации. Показаны требования к этапам формирования нового проблемноориентированного языка. Вторая глава посвящена разработке методики декларативного программирования В1осМе1 и языку ВМЕ. Показана основная идея методики и ее градация на четыре основных элемента: модель, локация, набор и блок. Основной упор делается на перераспределение уровней абстракции, где блок является конкретизированным элементом, с большим количеством свойств, а набор остается абстрактным, по аналогии с таблицей в СУБД.
Реализованы прикладные методы, относящиеся к основной методике. Поскольку язык ВМ1. декларативный, он не имеет потока исполнения, а значит порядок следования локаций (динамических страниц) не имеет значения. В связи с этим, автором предложен метод, содержащий критерий оптимальности на основе мощности множества регулярного выражения. Разработан метод гибкого разграничения прав доступа, имеющие свойства наследования и распространения внутрь по иерархии. Показан впервые созданный семантический метод приема пользовательских данных.
Третья глава посвящена апробации разработанного языка. Разработана оценочная модель языка. Метрики Холстеда доработаны с целью применения их к декларативным языкам, что стало основой нового метода оценки программного кода. Предложено свойства и атрибуты языка считать операторами, а отдельные значения — операндами. При этом предлагается дополнительное разбиение сложных значений на операторы и операнды. Доказана эффективность языка ВМ1.
по отношению к РНР. В четвертой главе описана архитектура программного комплекса интерпретатора. Детально продемонстрировано устройство внутренних компонентов и их взаимодействие между собой. Проанализированы накладные расходы с помощью нагрузоч ного тестирования при использовании динамических платформ и сетевых сокетов, организующих межпроцессное взаимодействие. Представлена архитектура шаблона проектирования «абстрактная фабрика», позволившая повысить гибкость при разработке блоков различного типа с помощью полиморфизма. Проведен сравнительный анализ синтаксических анализаторов языка ХМ?.
и шаблонизаторов. Удачным решением можно считать распределение логики перестроения сложных внутренних структур во времени с помощью синхронизатора, выделенного в отдельный программный модуль. Показаны интерфейсы визуального редактора, придающего языку ВМ1. свойства визуального.
По содержательной части текста диссертации можно отнести следующие замечания: 1) Не показана методика тестирования и отладки программного комплекса в аспекте определения потенциальных уязвимостей, способных создать угрозы информационной безопасности, что на данный момент несколько снижает оценку уровня практической значимости разработки. Поскольку в качестве основного средства разработки программного комплекса был выбран язык С++, работающий напрямую с адресным пространством, особенно важно оценить объем работ и разработать комплекс мер по пресечению появлений уязвимостей в виде переполнения буфера.
2) Не указаны методы защиты сетевого соединения при передаче данных от интерпретатора к синхронизатору на прикладном уровне. Передача данных в открьггом виде может повлечь за собой подмену пакетов в локальной сети центра обработки данных, где исполняется программный комплекс. З) К сожалению, приходится констатировать некоторую «неряшливость» в представлении материалов диссертационной работы. Так, совершенно неудачно сформулирована цель диссертационной работы, которой не может быть разработка конкретного инструментария, но который должен иметь существенное значение в соответствии с п.7 «Положения...» ВАК. Не сочетаются различные пункты представления результатов в автореферате диссертации. Так, в п.5 Положений, выносимых на защиту указано «5.
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.