Применение табличного алгоритма для верификации моделей бизнес-процессов

14 сентября 2018
230
Предметная область
Выходные данные
Ключевые слова
Вид публикации Статья
Контактные данные автора публикации
Ссылка на публикацию в интернете elibrary.ru/item.asp?id=20348537

Аннотация

Целью работы является разработка метода верификации моделей бизнес-процессов с применением аппарата дескрипционных логик. Задача верификации заключается в определении наличия в моделях ошибок, которые могут привести к недостижимости тех или иных действий. В статье рассмотрены 5 основных типов ошибок, возникающих при моделировании в результате неправильного отображения бизнес-процесса, модифицирован метод формализации диаграмм бизнес-процессов в нотациях BPMN и UMLActivity как наиболее популярных среди используемых. Отмечены недостатки существующих подходов для верификации, в частности, инструмента сетей Петри. Предложен новый метод верификации моделей с помощью только лишь формализма дескрипционных логик. Для тестирования метода разработано программное обеспечение, формирующее базу знаний на языке OWL. Для осуществления логического вывода и поиска ошибок в моделях использовался табличный алгоритм. Представлены примеры тестовых моделей разных классов в зависимости от их размерности, а также результаты тестирования метода.
Подробнее
Для того чтобы оставить комментарий необходимо авторизоваться.