The automation of business processes performance provides the computerization of management processes in information systems. It is possible to achieve this aim using the strict formal description of the automation object. The main idea of the proposed approach consists in the basic description of business processes on the basis of the formal language that allows to model, to design and to verify the program implementation of the management system and the business process model. The language for the description of the business processes performance is developed for the implementation of the main ideas of the management theory as an option of the logical-mathematical language
Add to ORKG