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

Цель нашего исследования заключается в изучении методов верификации моделей бизнес-процессов с целью их преобразования в сеть смарт-контрактов путем выявления логических противоречий в изначальных моделях. Мы также планируем разработать инструментарий для трансформации моделей бизнес-процессов, созданных в формате BPMN, в сеть смарт-контрактов на платформе HyperLedger с автоматической проверкой наличия противоречий при помощи языка Alloy. В практической части данной работы мы стремимся доказать, что от момента создания модели бизнес-процессов TO BE ответственным сотрудником организации, который имеет соответствующие полномочия (бизнес-аналитик), до внедрения и эксплуатации процесса не возникает мест, где мошенники или технически неграмотные работники могут внести несогласованные изменения. Объектом исследования является модель стационаров на дому, разработанная в рамках прошлой курсовой работы и дополненная документооборотом и финансовыми транзакциями.