В статье рассматривается задача формальной проверки корректности шаблонов бизнес-процессов. Поскольку задача формальной верификации бизнес-процессов в общем случае неразрешима, возникает необходимость построения формально верифицируемых подклассов бизнес-процессов, представляющих практический интерес.
