name: Модели, методы и программные средства трансформации предметно-ориентированных языков для интерфейсов программных систем общего назначения
keyword_list: программные системы общего назначения предметно-ориентированный язык моделирование интерфейсов
abstract: Объект исследования: Процесс поддержки жизненного цикла программных систем общего назначения в части эволюции моделей человеко-машинного интерфейса как примера внешнего ПОЯ в динамических контекстах.
  Цель работы: Повышение эффективности процессов поддержки жизненного цикла программных систем общего назначения путем разработки новых моделей и методов эволюции ПОЯ для моделирования интерфейсов.
  Методы исследования, кроме используемых приборов и аппаратуры: Теория функций, теория графов и графовых грамматик, элементы логики предикатов. В качестве средства моделирования предметной области применяются UML-диаграммы и концептуальные (семантические) модели в виде кодифицированных онтологий и объектно-реляционных моделей.
  В практической части работы применяются методы компиляции, декларативные средства для преобразований на графах, методы объектно-ориентированного и событийно-ориентированного программирования.
  Достигнутые результаты: 
  1. На основе анализа существующих подходов и методов к разработке ПОЯ представлена обобщенная модельно-ориентированная структура ПОЯ, представляющая собой унифицированное представление всех уровней структуры ПОЯ;
  2. Формализованы различные виды (модели) эволюции ПОЯ для моделирования человеко-машинного интерфейса для программных систем общего назначения, что позволяет определить согласованную эволюцию СМПО и всех уровней ПОЯ в соответствии с предлагаемым проекционным подходом;
  3. Построен и реализован набор кроссмодельных преобразований (на основе графовых преобразований) для организации горизонтальной и вертикальной эволюции внешнего ПОЯ моделирования интерфейсов программных систем общего назначения;
  4. На основе выделенной системы кроссмодельных преобразований предложен новый метод (названный проекционным подходом) к разработке внешнего ПОЯ, позволяющий автоматизировать процесс разработки ПОЯ для моделирования интерфейсов программных систем общего назначения и использовать результаты анализа предметной области при проектировании и реализации ПОЯ, а также организовать автоматизированную эволюцию ПОЯ;
  5. В соответствии с предложенным методом выполнена алгоритмизация и программная реализация процедуры трансформации человеко-машинного интерфейса как примера внешнего ПОЯ для двух предметных областей.  
  6. В рамках практической части работы реализованные прототипы информационных сред для двух предметных областей: «Программная система Приемной комиссии ВУЗа» и «Программная система распределения ресурсов ж/д станции». Построенные прототипы основаны на предлагаемом проекционном подходе, предоставляя пользователю не только функционал для решения задач предметной области, но также и для организации согласованной эволюции всех уровней ПОЯ и СМПО.
  Новизна: 
  1. На основе анализа существующих подходов и методов к разработке ПОЯ представлена обобщенная модельно-ориентированная структура ПОЯ, представляющая собой унифицированное представление всех уровней структуры ПОЯ;
  2. Формализованы различные виды (модели) эволюции ПОЯ для моделирования человеко-машинного интерфейса для программных систем общего назначения, что позволяет определить согласованную эволюцию СМПО и всех уровней ПОЯ в соответствии с предлагаемым проекционным подходом;
  3. Построен и реализован набор кроссмодельных преобразований (на основе графовых преобразований) для организации горизонтальной и вертикальной эволюции внешнего ПОЯ моделирования интерфейсов программных систем общего назначения;
  4. На основе выделенного набора кроссмодельных преобразований предложен новый метод (названный проекционным подходом) к разработке внешнего ПОЯ для моделирования человеко-машинных интерфейсов программных систем общего назначения. Предложенный проекционных подход позволяет автоматизировать процесс разработки ПОЯ для моделирования интерфейсов программных систем общего назначения и использовать результаты анализа предметной области (ее представление в виде семантической модели предметной области (СМПО)) при проектировании и реализации ПОЯ, а также организовать автоматизированную эволюцию ПОЯ;
  5. В соответствии с предложенным методом выполнена алгоритмизация и программная реализация процедуры трансформации человеко-машинного интерфейса как примера внешнего ПОЯ для моделирования человеко-машинных интерфейсов программных систем общего назначения для двух предметных областей.
  Внедрение: Разработанный подход, алгоритмы и методы применены при разработке прототипов информационных сред для двух предметных областей: «Программная система Приемной комиссии ВУЗа» и «Программная система распределения ресурсов ж/д станции». Оба прототипа прошли апробацию. "Программная система Приемной комиссии ВУЗа" зарегистрирована - Свидетельство о государственной регистрации программы для ЭВМ №2018616788 «Postgraduate admission office» (v.1.0).
  Эффективность: Эффективность разработанных методов и програмных средств проводилась в соответствии с ГОСТ Р ИСО/МЭК 25010-2015 и подтверждена экспериментально, а именно, использование разработанного проекционного подхода сокращает количество строк кода, вносимого вручную в ходе реализации эволюции ПОЯ, как следствие - временные затраты на разработку и модификацию ПОЯ. Кроме того, обеспечивается возможность модификации ПОЯ в реальном режиме времени без необходимости ручного изменения кода.
  Область применения: Разработанные прогамные средства, методы, алгоритмы и проекционный подход в целом могут применяться для проектирования и реализации адаптивных систем общего назначения, для которых необходимо обеспечение простоты внесения изменений (адаптивности) и сохранения соответствия существующим ограничениям (и положениям) предметной области.
chairman_dissertation_council.name: Николай
chairman_dissertation_council.surname: Верещагин
chairman_dissertation_council.patronymic: Константинович
chairman_dissertation_council.position: Профессор
chairman_dissertation_council.degree: Доктор физико-математических наук
chairman_dissertation_council.rank: Профессор
chairman_dissertation_council.wos_research_id: L-9806-2016
chairman_dissertation_council.scopus_author_id: 7005187259
chairman_dissertation_council.rinc_id: 54
chairman_dissertation_council.url: https://www.hse.ru/staff/vereshchagin
chairman_dissertation_council.orcid: 0000-0002-7386-979X
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Вадим
organization_supervisor.surname: Радаев
organization_supervisor.patronymic: Валерьевич
organization_supervisor.position: Первый проректор
organization_supervisor.territory: РОССИЯ
rubrics.code: 28.17.19
rubrics.name: Математическое моделирование
oecds.code: 01.02.ET
oecds.name: COMPUTER SCIENCE, INFORMATION SYSTEMS
speciality_codes.name: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
speciality_codes.code: 05.13.11
supervisors.fio: Бабкин Э.А.
supervisors.scientific_degree: Кандидат технических наук
supervisors.speciality_code: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
supervisors.responsible_type: Научный руководитель
protection_organization.short_name: НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ", НИУ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ", ВЫСШАЯ ШКОЛА ЭКОНОМИКИ, НИУ ВШЭ, ВШЭ
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ"
protection_organization.ogrn: 1027739630401
protection_organization.supervisor_name: НИКИТА
protection_organization.supervisor_surname: АНИСИМОВ
protection_organization.supervisor_patronymic: ЮРЬЕВИЧ
protection_organization.organization_type: Организация
protection_organization.okogu: Правительство Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения
author_organization.short_name: НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ", НИУ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ", ВЫСШАЯ ШКОЛА ЭКОНОМИКИ, НИУ ВШЭ, ВШЭ
author_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ"
author_organization.ogrn: 1027739630401
author_organization.supervisor_name: НИКИТА
author_organization.supervisor_surname: АНИСИМОВ
author_organization.supervisor_patronymic: ЮРЬЕВИЧ
author_organization.organization_type: Организация
author_organization.okogu: Правительство Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения