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

1аттестационное дело № ___________29.06.2017 протокол № 56Заключение диссертационного совета Д 212.131.05, созданного на базефедерального государственного бюджетного образовательного учреждениявысшего образования «Московский технологический университет»(МИРЭА), Министерства образования и науки Российской Федерации,находящейся по адресу 119454, Москва, проспект Вернадского, д.78, номерприказа № 2651-687 от 19 ноября 2010 г., по диссертации Кейно ПавлаПетровича по диссертации на соискание ученой степени кандидататехнических наукДиссертация«Методыиинструментыдекларативногопрограммирования динамических Web-узлов и приложений» в виде рукописипо специальности 05.13.11 – «Математическое и программное обеспечениевычислительных машин, комплексов и компьютерных сетей» выполнена вфедеральном государственном бюджетном образовательном учреждениивысшего образования «Московский авиационный институт (национальныйисследовательский университет)».

Диссертация принята к защите 26 апреля2017 г. протокол №6-17/П. Соискатель Кейно Павел Петрович, 1988 г. рожд.,гражданин РФ, основное место работы на момент защиты диссертациифедеральное государственное бюджетное образовательное учреждениевысшего образования «Московский авиационный институт (национальныйисследовательский университет)» в должности преподавателя.

В 2009 гКейно П.П. закончил бакалавриат по направлению «Информатика ивычислительная техника», а в 2011 г. магистратуру по тому же направлениюв федеральном государственном автономном образовательном учреждениивысшегопрофессиональногообразования«МАТИ–Российскийгосударственный технологический университет имени К.Э. Циолковского».Учился в аспирантуре ФГБОУ ВПО «МАТИ - Российский ГосударственныйТехнологический Университет имени К. Э. Циолковского» (МАТИ)» с 2011по 2014 г.г. Удостоверение о сдаче кандидатских экзаменов выдано в 2016годувфедеральномгосударственномбюджетномобразовательномучреждении высшего образования «Московский авиационный институт(национальный исследовательский университет)».2Научный руководитель – Силуянов Александр Вячеславович, кандидаттехнических наук, доцент, доцент кафедры системного моделирования иинженернойграфикиобразовательногофедеральногоучреждениягосударственноговысшегообразованиябюджетного«Московскийавиационный институт (национальный исследовательский университет)».Официальные оппоненты: Терехов Андрей Николаевич, гражданин РФ,доктор физико-математических наук, профессор, заведующий кафедройсистемного программирования федерального государственного бюджетногообразовательного учреждения высшего образования «Санкт-Петербургскийгосударственный университет», Лукьянчиков Олег Игоревич, гражданин РФ,кандидат технических наук, научный сотрудник отдела системного анализаЗАО «Инженерный центр «ГЕОМИР» дали положительные отзывы одиссертации.

Ведущая организация федеральное государственное автономноеобразовательноеучреждениевысшегообразования«Национальныйисследовательский ядерный университет «МИФИ» дала положительноезаключение о диссертации (заключение составлено кандидатом техническихнаук, доцентом Горбатовым В.С., заместителем директора аттестационноиспытательного центра информационной безопасности и систем защитыинформации (АТИЦ ИБСЗИ), утверждено директором АТИЦ ИБСЗИ, к.т.н.,доцентом Дураковским А.П. и председателем Совета по аттестации и подготовкенаучно-педагогических кадров, д.ф.-м.н., профессором Кудряшовым Н.А.).Выбор официальных оппонентов и ведущей организации обосновываетсяих компетентностью в рассматриваемой отрасли, наличием публикаций испособностью определить научную и практическую ценность диссертации.На диссертацию и автореферат поступило 7 положительных отзывов:1.

От к.т.н., доцента, доцента кафедры компьютерных систем и сетейКалужскогофилиалауниверситетаимениМосковскогоН.Э. БауманагосударственногоЛавренковаЮ.Н.,техническогозамечания:неприведены сведения об архитектуре генераторов случайных чисел и наличияв их основе источников случайности; не рассмотрены различные видыпланирования взаимодействия элементов данных, применяемых во время3тестового испытания при генерации содержимого страницы.2. От к.т.н., доцента, зав. кафедрой математического обеспечения иприменения ЭВМ Института компьютерных технологий и информационнойбезопасностиЮжногофедеральногоуниверситетаХусаиноваН.Ш.,замечания: неясно, могло ли изменение методики адаптации метрикиХолстеда к декларативному языку повлиять на результаты сравненияразработанной методики и языка BML с языком PHP; нет сравненияразработаннойметодикииязыкаBMLсподобнымисредствами,используемыми для back-end разработки (Ruby, Java, Python) не проводится.Также не рассмотрена технология ASP .NET, которая хотя и относится ккатегории проприетарного программного обеспечения, но изначальноориентирована на часто упоминаемую в автореферате модель MVC и широкоиспользуется для веб-приложений b2b-сегмента.

Не рассмотрены процедурытестирования и верификации разработанного программного продукта,возможности оптимизации при работе интерпретатора.3. Отк.т.н.,технологийидоцента,директораавтоматикидепартаментаУральскогоинформационныхфедеральногоуниверситетаАксёнова К.А., замечания: при наличии большого количества готовыхфреймворков в web-программировании не будут ли они более простойальтернативой предлагаемому языку BML? Из автореферата не ясно,проводилась ли оценка «тяжести» кода нового языка, и какое влияние оноказывает на трафик обмена сервера с клиентом.4. Отк.т.н.,доцента,заместителяпредседателяУчёногоСовета,заместителя декана факультета информатики и систем управления, доцентакафедры систем обработки информации и управления МГТУ имени Н.Э.Баумана Ревункова Г.И., замечание: не ясно, почему, линейное выполнениеинтерпретируемой логики и перестроение структур повлекут за собойсерьёзные задержки в выполнении пользовательского запроса.5.

От д.т.н., доцента, профессора кафедры безопасных информационныхтехнологийуниверситетаСанкт-Петербургскогоинформационныхнациональноготехнологий,исследовательскогомеханикииоптики4Лебедева И.С., замечания: не понятно, производился ли сравнительныйанализ конкурирующих технологий декларативного программирования; невыделены конкретные критерии оценки языков WebDSL и Spicey; необходимдополнительныйанализугрозинформационнойбезопасностиразрабатываемого ресурса.6. От к.т.н., разработчика интерфейсов ООО «Яндекс» Душкина Д.Н.,замечание: нет сравнения работы с существующими отраслевыми решениямипо оркестровке веб-сервисов, имеющих схожие цели, средства описания ипостроения сложных информационных систем.7.

От д.т.н., профессора кафедрыинформационныхтехнологийикомпьютерных систем Севастопольского государственного университетаАпраксина Ю.К. и к.т.н., доцента кафедры информационных технологий икомпьютерных систем Севастопольского государственного университетаЛелекова С.Г., замечания: 1) Использование метрик Холстеда нельзя назватькорректным, так как они разрабатывались в 70-х годах прошлого века,ориентируясь на императивные языки программирования. Автор отмечаеттрудность соотнесения определений сущностей предметно-ориентированныхи императивных языков программирования, однако, пытается их сравнивать.Это не совсем убедительно.

Тем более отводить целую страницуавтореферата на известные всем формулы слишком расточительно. 2) Нарис. 1 показано, что представленная разработка находится на одном уровне сизвестнымифреймворкамииCMS.Возможнонадосравниватьразработанные методы и средства с известными системами (Django, Ruby onRails, ASP.NET MVC Framework). 3) Нет информации о том, какие проектыреализованы с использованием данной методики, языка и среды.Соискателем по теме диссертации опубликованы 22 работы, 10 - вжурналах, входящих в Перечень российских рецензируемых научныхжурналов, в которых должны быть опубликованы основные научныерезультаты диссертаций на соискание ученых степеней доктора и кандидатанаук.

Наиболее значимые научные работы по теме диссертации:1. Бубнов А.В., Кейно П.П. Особенности приёма данных по протоколу5HTTP в компилируемом Web-приложении и их унификация в предметноориентированном языке // Безопасность информационных технологий. — М.,2016. - № 1. - С. 16-19. Соискатель описал унифицированный метод приёмапользовательских данных с учётом их характерных особенностей иалгоритмы внедрения в структуру интерпретатора.2.

Кейно П.П. Иерархическая модель прав доступа в декларативном языкемоделирования Web-приложений по методологии BlockSet // Безопасностьинформационных технологий. - М., 2016. № 1. - С. 53-58. Соискатель описалдополненный унифицированный метод разграничения прав доступа к данным.3. Кейно П.П.синхронизатораРазработкаприархитектурыинтерпретаторепрограммногодекларативногокомплексаязыкаBML//Прикладная информатика. - М., 2016.