The Research And Implementation Of Transactional Workflow And Workflow Verification Based On XPDL

Workflow technology is in rapid development nowadays, it originated from production organization and office automation. It aims to decompose everyday job into well-defined tasks and roles, carry out these tasks according to the rules and supervise them. The goal is to improve the efficiency, achieve a better control process and enhance the operation flow. Its basic feature is that it can combine human and machine behavior to complete business process automatically.Validating the workflow model can detect various process errors before putting it into practice. This can reduce the cost of shutdown, inspection and repair at run-time. Transactional workflow can supply good operational exception control at run-time. This can enhance the stability and robustness of workflow system.Firstly, the paper introduces the history and researches of workflow techniques, it emphasizes on the workflow management system and XPDL process definition. It introduces then basic concept of operational exception and classification of exceptions. In combination with actual application, this paper gives the workflow exception model. In the following part, this paper describes the method of workflow exceptions via describing various types of transactional models. This paper describes how to design and implement the transactional workflow explicitly, proposing the basic framework of transaction-processor and give the design ideas and methods of the core function of transaction-processor. This paper describes the designing and implementation of workflow validator and gives the basic framework of it, the verifying process also explained in this paper. Emphasizes are put on the Verification algorithms and mapping algorithm from XPDL process model to verifying model. Finally, the paper gives some test cases to explain how to use transactional workflow and workflow validator.