Хабр Курсы для всех
РЕКЛАМА
Большая витрина: от крупнейших школ до частных авторов. Сравнивайте по цене, длительности, формату и выбирайте самый подходящий курс!

Какие-то "теории остаточности". Для начала нужно формализовать (через строгий формализм) BPMN: метаМодель, онтология: все классы объектов, предикаты, допустимые утверждения и т.п.
Пример VAD-онтологии. В той же папке ее технологическая часть и толковый словарь. А BPMN будет посложнее VAD и соответственно указанные файлы куда объемнее. В спецификации BPMN подобного строгого формализма не видел.
Почему большие BPMN-процессы терпят неудачу — и как Теория остаточности показывает, что мы можем сделать лучше