EN
The aim of this article is present new approach to modeling business process using combined epistemic and deontic logics. Combined deontic-epistemic logic is used during modeling time and combined epistemic-deontic logic during execution time. The sketch of algorithm of detecting inconsistencies in business process model and execution is presented.