Почему большие BPMN-процессы терпят неудачу — и как Теория остаточности показывает, что мы можем сделать лучше

[itGuevara]

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

Пример VAD-онтологии. В той же папке ее технологическая часть и толковый словарь. А BPMN будет посложнее VAD и соответственно указанные файлы куда объемнее. В спецификации BPMN подобного строгого формализма не видел.