Применение табличного алгоритма для верификации моделей бизнес-процессов
14 сентября 2018
346
Предметная область | — |
Выходные данные | — |
Ключевые слова | — |
Вид публикации | Статья |
Контактные данные автора публикации | — |
Ссылка на публикацию в интернете | elibrary.ru/item.asp?id=20348537 |
Аннотация
Целью работы является разработка метода верификации моделей бизнес-процессов с применением аппарата дескрипционных логик. Задача верификации заключается в определении наличия в моделях ошибок, которые могут привести к недостижимости тех или иных действий. В статье рассмотрены 5 основных типов ошибок, возникающих при моделировании в результате неправильного отображения бизнес-процесса, модифицирован метод формализации диаграмм бизнес-процессов в нотациях BPMN и UMLActivity как наиболее популярных среди используемых. Отмечены недостатки существующих подходов для верификации, в частности, инструмента сетей Петри. Предложен новый метод верификации моделей с помощью только лишь формализма дескрипционных логик. Для тестирования метода разработано программное обеспечение, формирующее базу знаний на языке OWL. Для осуществления логического вывода и поиска ошибок в моделях использовался табличный алгоритм. Представлены примеры тестовых моделей разных классов в зависимости от их размерности, а также результаты тестирования метода.
ПодробнееДля того чтобы оставить комментарий необходимо авторизоваться.