The current state of the theory of business processes is analyzed, a brief historical background, sources and fundamentals of the theory are given, its main directions are classified. The direction associated with the verification of business processes is considered in detail, its basic models and methods-testing, static and dynamic analysis are analyzed in detail.