Business Process Model Verification Method Based On Time Pattern Analysis

With the wide application of the business process model, the correctness of the model becomes more and more important. Time constraint determines whether the business process can be executed correctly, any time delay can cause great waste of resources, so the time constraint verification is a very important link to detect the correctness of business process model. If the time constraints can not be satisfied, it is difficult to guarantee the correctness of the model. The paper studies the method of business process model verification based on time pattern analysis, the main work are as follows:First of all, the formal semantics based on time pattern analysis is proposed. Based on the time constraints in the business process model, the time pattern is divided into three categories: the duration time patten, the cycle time pattern and the fixed time pattern. The formal description of business process model, time interval and three time patterns are introduced. Also the satisfiability of the time pattern is defined, and the transformation rule of the cycle time pattern to the duration time patten is given which describes the cycle time pattern is able to be tansformed into the duration time patten, if the business process model satisfied the cycle time pattern, it also can satisfy the duration time patten after the conversion.Secondly, a business process model verification method based on the time pattern analysis is proposed. To slove the consistency problem, a validation framework is proposed. In the validation framework, the transformation rule of Prolog and transformation algorithms of static structure, dynamic behavior and business process model are introduced. Combination with the formal semantics based time pattern analysis method in the second chapter, the conversion algorithm of the time pattern consistency to the Prolog rule is given. The business process model of medical is verified and the errors are fixed.Finally, the business process model verification platform based on business process model analysis and consistency verification method is designed and implemented. The platform is based on GMF, and the modules of business process model, static structure and dynamic behavior verification module and business process verification module are designed which can be used to verify the consistency automaticly. As an example of the high speed rail booking system, the results show that the platform design can meet the needs of the business process model and the verification of the consistency.