• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Анализ непротиворечивости бизнес-процессов с использованием формальных методов верификации моделей

ФИО студента: Пономарев Никита Олегович

Руководитель: Бабкин Эдуард Александрович

Кампус/факультет: Факультет информатики, математики и компьютерных наук (Нижний Новгород)

Программа: Бизнес-информатика (Магистратура)

Оценка: 9

Год защиты: 2017

Одной из серьезных проблем существующих подходов, используемых для описания архитектуры предприятия является отсутствие практической возможности выполнять проверку модели по заранее сформулированным требованиям. Подобная проверка носит название верификация. В данной работе используется метод формальной верификации model checking (проверка моделей), примененный к области бизнес-моделирования. Проверка моделей – это метод проверки того, что на заданной формальной модели системы заданная логическая формула выполняется, то есть принимает истинное значение. Для верификации этим методом, требуемые свойства поведения реальной модели выражаются точно и недвусмысленно формулами темпоральной логики. Автоматизация данного метода должна быть тесно интегрирована с программной средой для моделирования архитектуры предприятия. В качестве основных критериев при выборе платформы выступают: открытый исходный код, расширяемость функционала и поддержка сообщества. Таким критериям удовлетворяет Archi - бесплатный, кроссплатформенный инструмент с открытым исходным кодом для визуального моделирования и дизайна моделей ArchiMate, разработанный на платформе Eclipse EMF и расширяемый с помощью пользовательских плагинов. Предполагается, что разработанный плагин позволит автоматизировать процесс формализации модели архитектуры и её верификации. Для этого необходимо так же спроектировать мета-модель спецификации ArchiMate, на основе которой будет строиться формальная модель архитектуры. Внедрение формального описания архитектуры предприятия, её бизнес-процессов, и требований позволит построить системы управления качеством компании, решить проблему построения эффективной структуры управления, оптимизировать деятельность на основе ключевых показателей.

Текст работы (работа добавлена 22 мая 2017 г.)

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ