The Design And Application Of Judicial Management System Based On Workflow Supporting Dynamic Change

With the rapid development of computer and software technology, and the intense information requirement of enterprises, people began to use workflow to organize processes, identify business logic, manage organizations. To a large extent workflow solved problems that appeared in the process of informationization of enterprises. But the truth tells us, business processes are very complex in most of the enterprises and governments. The processes should be changed according to exceptions, changes of external circumstances, progress of technologies and changes of organizations.Thus, the ability of workflow to adjust according to actual situations is required, which is called flexibility.The flexibility of workflow, which can improve the efficiency of processes and make workflow adaptive to actual business needs of enterprises, is a project of theoretical significance and practical value. Flexible workflow has been deeply studied in recent years. The flexible workflow has been an important researching content in the workflow field.How to change workflow dynamically and efficiently is discussed in this article.Firstly,theories and structures of workflow and WFMS are introduced. Then the realizing methods of flexible workflow are studied, and the sorts of current realizing methods are concluded. On the basis of theory,a flexible workflow model based on Petri net is builted. In this model, routing relations between workflow nodes is expressed by relative matrix, and the state of process is expressed by a state vector. Also, in this model, occurrence sequence is used to monitor the trace of tokens in the process instance. When the change occurs, the tragedy of process migration can be determined by the reachability of Petri nets.The sort of dynamic change is studied,and according to different type, different dealing methods are proposed: for the change of instances, users change process definition temporarily by using process model editor; for the change of models, the algorithm of changing is designed based on dynamic workflow model proposed in this article. In this algorithm, the reachability of current state after migration is analyzed, and as a result, the migration tragedy is determined. Therefore, real time migration of process instances is realized, and the execution efficiency of workflow is improved. The dynamic changing sevice is designed supported by the workflow engine. It contains 4 parts: process definition editor, process definition parser,the change dispatcher, the change-execution service. Each part and its fuctions are discussed in detail. Also the data interaction and persistence related to dynamic changes are discussed. In the article, the judicial process management system using in the Hunan courts is described,and the dynamic change needs due to the improvement of working-style are elaborated.Finally, the changing algorithm is applied on a typical litigation process in the judicial process management system, and it is proved that the algorithm is feasible and effective compared to the process instance before change.