Research On Use Case Driven Judicial Workflow Modeling And Analysis

In the judicial reform all over the world,information systems have become a key technology for judicial departments to organize and manage judicial business processes,so as to improve the sharing of information resources and the efficiency of judicial services.When the execution process of the judicial information system,that is,the judicial workflow does not meet or even violate the requirements of the judicial system,it will reduce the quality and efficiency of the judicial service,and then make judicial departments into a credibility crisis.Therefore,when using the judicial information system to coordinate and manage judicial processes,it is necessary to ensure the correctness and trustworthiness of the judicial workflow.For example,the judicial workflow needs to comply with the laws,regulations and rules of practice,as well as to guarantee the integrity and security of the relevant data of the judicial workflow.The workflow of the judicial information system is inherently complex,involving interactions between different actors(humans,digital systems,and physical systems).Judicial workflow has high requirements for security and privacy,and needs to cope with changes of requirements and environments.The complexity makes it a challenge to define,understand,and analyze judicial workflows to obtain a correct and credible workflow.This thesis studies and construct a method for modeling and analysis judicial workflows.The method focuses on how to ensure the correctness and trustworthiness of judicial workflow through the development of models of workflows at different levels of abstraction and in different degrees of formality.to define,understand and analyze judicial workflow.Focusing on the modeling and analysis of judicial workflow,the main contents are as follows:This thesis studies and constructs a method for modeling and analyzing judicial workflow.The method starts with informal use case modeling,and gradually transforms the formal Communicating Sequential Process(CSP)modeling.In order to convert the use case into a CSP model,this method first converts the use case into a more formal sequence diagram,and then combines the sequence diagrams into a structure diagram.Each sequence diagram in the structure diagram is defined as a CSP process,and the entire structure diagram is also defined as a CSP process.Using the combined semantics of CSP to integrate sequence diagrams and structure diagrams,a complete formal workflow model is obtained.Based on the CSP workflow model,the PAT tool is used to verify the nature of the workflow defined by the model.This thesis illustrates the method with the workflow of the civil litigation in China as a case study.The use case-driven modeling method can decompose a complex workflow into a number of use cases.Use cases can be independently modeled,analyzed,and understood.After refinement and combination techniques,a formal workflow model can be obtained.This decomposition and composition modeling method can not only deal with complex workflow modeling,but also adapt to changes in workflow models brought about by business changes.This thesis studies the use of UML class diagrams and contracts to describe the details of the operation behavior in the workflow.First,this thesis identifies and captures the data involved in the use cases and defines them as UML class diagrams.Secondly,this thesis constructs a non-formal contract to define and describe the data requirements of operations of a workflow.The contract defines the input data,output data,preconditions,and post-conditions required for operations,which can specify and standardize the requirements for operations of a workflow.A web-based visual modeling tool is designed and developed to support the workflow model theory of this thesis.This tool provides four functions,respectively Visual Modeling,Model Management,Model Transformation and Model Information Validate,which helps to improve the efficiency of modeling.