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

Данное исследование развивает результаты решения проблемы переноса артфактов языка моделирования ArchiMate на блокчейн-платформу HyperLedger Composer, полученные в курсовой работе прошлого года и представленные на международной конференции EEWC 2019 (Enterprise Engineering Working Conference) в Лиссабоне, Португалия. Целью данного исследования является изучение способов верификации моделей бизнес-процессов для их трансформации в сеть умных контрактов за счет поиска логических противоречий в исходных моделях, а также реализация инструментария трансформации моделей бизнес-процессов Archimate в сеть умных контрактов HyperLedger с автоматической проверкой непротиворечивости при помощи языка Alloy. Для достижения поставленной цели, в данной работе были поставлен ряд задач, включающих как изучение теоретических аспектов вопроса, так и разработку новой мета-модели артефактов HyperLedger, алгоритма верификации моделей и соответствующей программной реализации. Результаты, полученные в результате работы, позволяют верифицировать перенос бизнес-процессов организации на платформы блокчейн. В частности, был разработан программный инструмент, выполняющий трансформацию модели Hyperledger Composer на язык Alloy, а также инструмент, верифицирующий получившуюся модель.