Abstracting Synchronization Process in Workflow Involving Partial Synchronization Pattern

摘要

For the partial synchronization problem in integration of workflow process model with data model, this paper develops an algorithm through synchronization edges to get synchronization processes. Firstly, a workflow model called RTWD net is introduced. Then the concepts of synchronization edge, process, synchronization process, base process, process tree, data type and trace-set of types is given. Finally, an algorithm for abstracting the synchronization process and a case study is presented.