RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2017, том 24, номер 4, страницы 459–480 (Mi mais577)  

Использование журналов событий для локальной корректировки моделей процессов

А. А. Мицюкa, И. А. Ломазоваa, В. М. ван дер Аалстb

a Национальный исследовательский университет «Высшая школа экономики», лаборатория ПОИС, ул. Мясницкая, 20, г. Москва, 101000 Россия
b Технический университет Эйндховена (TU/e), группа «Архитектура информационных систем», P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands

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

Ключевые слова: извлечение и анализ процессов, исправление моделей процессов, сети Петри, декомпозиция моделей процессов, разделяй и властвуй.

Финансовая поддержка Номер гранта
Программа фундаментальных исследований НИУ ВШЭ
Исследование выполнено в рамках Программы фундаментальных исследований Национального исследовательского университета «Высшая школа экономики» (НИУ ВШЭ).


DOI: https://doi.org/10.18255/1818-1015-2017-4-459-480

Полный текст: PDF файл (2870 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 519.682.6+004.021
Поступила в редакцию: 17.07.2017

Образец цитирования: А. А. Мицюк, И. А. Ломазова, В. М. ван дер Аалст, “Использование журналов событий для локальной корректировки моделей процессов”, Модел. и анализ информ. систем, 24:4 (2017), 459–480

Цитирование в формате AMSBIB
\RBibitem{MitLomVan17}
\by А.~А.~Мицюк, И.~А.~Ломазова, В.~М.~ван дер Аалст
\paper Использование журналов событий для локальной корректировки моделей процессов
\jour Модел. и анализ информ. систем
\yr 2017
\vol 24
\issue 4
\pages 459--480
\mathnet{http://mi.mathnet.ru/mais577}
\crossref{https://doi.org/10.18255/1818-1015-2017-4-459-480}
\elib{http://elibrary.ru/item.asp?id=29864498}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais577
  • http://mi.mathnet.ru/rus/mais/v24/i4/p459

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:137
    Полный текст:28
    Литература:23
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019