Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics

According to the characteristics of workflow process execution, a kind of reactive activity-centered process meta-model is defined and a kind of graphical notation is provided for it, at the same time, for this meta-model, a kind of dynamic semantics is specified, which represents the runtime behavior of the process and can be expressed as a finite state automata. Finally, an example is given to illustrate how to apply it to analyze the semantic correctness of process models.