Logic of constructions on graphs within application to business process execution

This article introduces the approach to the execution of business processes based on the logic synthesis of programs for business process models. The approach uses logic of constructions on graphs GL5. (In Russian).