| Popis: |
One of the challenges of the modern business process management theory is that it lacks a formal method for analyzing the design workflows and algorithms presented based on the graphic languages, which could have linear computational complexity and take into account the concept of "time". The authors present an automated method for interpreting the design workflows in the software development field. The method is based on the temporal automaton RVTI-grammar, which takes into account the "time" and "clock" concepts. It differs from the existing methods in a linear design workflows interpretation time based on the visual language and allows for a finite time to perform step-by-step workflow analysis, represented in the form of algorithm diagrams. An example of such a diagram in the EPC language is given, its step-by-step interpretation is described. |
