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

МИНОВРНАУКИ РОССИИ УТВЕРУКДА)О ГБОУ ВО -имени М.Т. Калашниковав 21887фессор (реверапьное госуаарственное б!оажегоож обрааова геаьное тирежаеиис вь с!не! о образовании «Ижевский государственный зехиический уииверскоет имени М.Т. Еасеаиииековав 1Ф1 ВОУ ВО «ИжГтУ васин МУП Канаьини бй«541~Ф"'Р" ! раХОВ В.П, У Сгбаеннссаая 54,..!. 7.

г. Ия;сося. УР. 4260 жп, !341"! 58-53-58, 58-88-52. 77-60.55 !иного«а факс: 13412 ! 50-40.55 с-и!пб: !п1ога йзага Ппрг жан,аььгс ОКНО 02061!668 Гя РН 1021801145794 И1!Н КПП 1831032740'183!01001 ~" ~4 "~~И - ~~' Ф7'-'" о! ОТЗЫВ вел~щей о1».аннзации ФГБОУ ВО «ИжГГУ имени М.Т. Калашникова» на диссертационную работу Грегер Сергея Эдуардовича «Математическое и программное обеспечение для управления базами знаний на основе многоуровневых семантических моделей гетерогенных информационных ресурсовнч представленную на соискание ученой степени кандидата технических наук по специальности 05.13.11 — Математическое и программное обеспечение ВЫЧИСЛИтбд!ЬНЫХ Мащни, КОМПЛс.'КСОВ И компью терн ых сетей.

Иа отзыв представлены диссертация, автореферат диссертации и сканированные копии основных работ соискателя, опубликованных по теме диссертации. Диссертация состоит из введения. трех глав„ заключения, сшсска литературы из 1Об наименований, списка сокращений и условных обозначений, 1 п13и.!оженил. соде13жит 71 рисунок г! 3 таолнцы. Основной составляет 140 страниц„ общий объем 143 страницы. Автореферат диссертации изложен на 20 страницах„содержит 2 рисунка. В результате ознакомления с представленными материалами установлено следующее.

Актуальность исследования Особенностью современных веб-ориентированных информационных систем 1ИС) является широкое использование разнородных, в том числе, 'распределенных, объектов, сервисов и инфраструктур (например, техно юп1и облачных вычислений). В результате современная веб-ИС представляет собой сложную систему, отдельные подсистемы которой (программные модули ИС1 разрабатываются независимо друг от друга и функциониру1от авгоноушо, то есть, по сути, являются независимыми системами. В этой ситуации одной из наиболее важных становится проблема сохранения целостности описания ИС на всех стадиях ее жизненного цикла от постановки требований к разрабатываемой системе до практической реализации.

Анализ известных подходов согласованию описаний разрабатываемой системы показал. что одним из наиболее перспективных является подход. основанный на использовании семантические моделей (СМ) --- декларагивных описаний данных, средств их обрабогки и конфигураций, позволяющий упрощать интеграцию различных информационных ресурсов. Однако для широкого практического использования СМ в практике проектирования, разработки и сопровождения веб- ИС необходима научно обоснованная комплексная технология компонентного проектирования семантически совместимых ИС различного назначения и разработка соответствующих программных инструментов.

Таким образом, проолема раз)таоотки гшучно обоснованной комщлексной технологии проектирования семантически совместимых ИС различного назначения н разработка соответствующих программных инструментов безусловно является актуальной Структура и содержание работы В целом представленные материалы диссертационной работы позволяюг оценить объем, сложность и актуальность проведенного исследования. Во введении обоснована актуальность выполненных в диссертации исследований, сформулированы цель и задачи работы. рассмотрены научная новизна, практическая ценность результатов. приведены сведения об апробации и реализации основных положений диссертации, изложена структура диссертационной работы.

Первая глава содержит анализ современного состояния ооласти проектирования и реализации веб-информационных систем, в том числе методологии проектирования и технологий разработки информационных систем, результаты которого позволили сделать обоснованный вывод о целесообразносги использования в качестве средств обеспечения процесса разработки и сопровождения программных систем специальной интеллектуальной информационной системы проектирования (ИИС11), обеспечивающей средства визуального проектирования и инструменты автоматизации, единую информационную среду коммуникаций и хранения данных, возможности интеграции с сугцествующими программными системами в рамках обшей информационной среды. На основе проведенного обзора литературы определены цель и основные задачи диссертационной работы.

Во второй главе рассмотрены методы и технологии управления знаниями с точки зрения их применимости к решению задач проектирования и реализации ИС. Обоснована возьюжность рассмотрения процесса разработки и сопровождения ИС как последовательности преобразований модели разрабатываемой (целевой) системы некоторой обеспечивающей системой. Предложено описывать трансформацию ИС на соответствующих этапах ЖЦ с помощью рекурсивной функции преобразуюгцей модели предметной области ПрО в модель ИС и представлять процесс проектирования ИС в виде некоторой системы, состояшей г>з со>ласованных наборов >-рупп описали>Й.

Обоснова>га целесообразность использования для задач разработки и сопровождения программных систем системы управления базами знаний (СУБЗЙ в которой знания и данные представлены в виде объектно-ориентированной сети с формальной ооьектно-ориентированной моделью данных. Предложен набор компонентов хранения баз знаний, обеспечиваюший отображение высказываний, представленных в семантической сети в сеть объектов.

Для формального описания объектно-ориентированной сети и знаний разработан язык моделирования абстра~тноЙ семантической сети. Для формирования многоуровневых моделей пред.южен метод представления многоуровневых моделей в виде мноп>уровневой онтологической системы. Для согласование архитектурных представлений и архитектурные описания, учитываю>цих интересы различных заинтересованнь>х сторон, предложена модель онтологии архитектуры, в которой архитектуры ИС рассматривается как множество архитектурных описаний, разработаны метод ада»гации архитектурных описания и метод их ип>еграции. Для инте~рации задач в рамках модели задач предложен метод аннотаций связей между задачами. Для построения программных единиц, репшющих задачи системы предложена модель агента и метод ее формирования.

В третьей главе рассмотрены вопросы разработки инструментальной среды проектирования ИИС. Представлено описание расширяемой инструментальной оболочки, включающей в себя ряд системных сервисов, редакторов и утилит для создания инструментальных оболочек управления базами знаний и генерации моделей и программных компонентов. Предложено произвол»гь расширение инструментальной среды через построение модели расширения редактора. Модель расширений определяет классы операций. расширяю>цие или адаптирующие базовые операции редактора. Новизна научно-квалификационной работы н полученных результатов Б диссертационной работе соискателем на основе корректного применения принципов системного и логического анализа, дескриптивной логики, методологии объектно-ориентированного анализа и моделирования информационных систем, методов онтологического анализа и системной инженерии бьши получены следующие результаты, соответствующие кри>ерию научной новизны: 1.

Предложен объектно-ориентированный метод предс>авления. хранения и ' управления многоуровневыми СМ, позволяю>ций организовать единообразное управление разнородными информационными ресурсами. 2. Предложен объектно-ориентированный метод построения и интеграции архитектурных моделей ИС, разработанных в рамках различных методологических подходов, основанный на адаптации СМ целевой системы к семапгическим моделям обеспечивающей системы.

3. Разработаны формальные модели и программные приложения для поддержки разработки сложных инструментальных средств и их инте~рации в единую инструментальную среду. 4. Разработана веб-информационная система управления знаниями ОпгоЕйгог и веб информационная система проектирования Р)опеМос)е)ег, 5.1!род'южен способ интеграции разработанных программных средств с существующими ИС, обеспечивающий их адаптацию к изменяющимся в процессе зкснлуатации требованиям.

Значимость дла науки и производства полученных автором диссертации результатов Резульгаты диссертационного исследования используются в ФГЛОУ ВПО «Уральский федеральный университет им. первого 1!рсзидегп а России Гь)1. Ельцина» в учебных курсах «Теория информационш ~х процессов н систем» и «Методы и средства проектирования информационных систем» в качестве виртуальных лабораторий разработки информационных систем.

Степень обоснованности и достоверности полученных в диссертации результатов Достоверность полученных результатов и научных положений и выво юв, изложенных в диссертации, обеспечена использованием системного подхода к решению задач разработки методологии объектно-ориентированного анализа и моделирования информационных систем, включающего применение методов разработки формальных грамматик, методов использования дескриптивных логик и семантического моделирования. Соответствие паспорту научной специальности В диссертации Грегер С.Э. присутствуют следуюгцие признаки соответствия ее содержания формуле специальности 05.13.11 Математическое и программное обеспечение вычислительных машин.