The method of formal business processes representation for configurable information systems: The metacomputation approach

The possibility of applying the theory metacomputation to represent the business processes is considered. It is proposed to use methods metacomputation for analysis of business processes and their properties. The construction of the Business Process Configuration Tree from IDEF3diagram is described. An example of a convolution of the Business Process Configuration Tree into Configuration Graph is described. The use of one of the metacomputation methods — supercompilation is considered to a business processanalysis.