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