Логические методы для разработки умных контрактов

Аннотация: Статья содержит описание современного состояния развития формализации бизнес-процессов. Существующие в настоящее время методы автоматизации формализованных контрактов имеют различные функциональные ограничения в применении. Разработан методический подход к созданию инструмента для построения формализованных автоматизированных контрактов, содержащий комплекс иерархически связанных многоуровневых контрактов. Определены требования к инструменту построения формализованных автоматизированных контрактов (FACT), описаны его структурные составляющие и механизмы взаимодействия между ними, определены области применения FACT и его перспективы.

Источник IEEE Xplore