Research On Task-oriented Business Process Modeling And Validation Method

As the business process became more and more complex, higher and higher requirements of modeling and verification technology were proposed, and as the key-elements in business processes, the task-oriented method desctipted the business requirement from the aspects of tasks and their decomposition and allocation. This paper studied the task-oriented modeling and verification method, and the main works of this paper were listed as follows:First, task-oriented business process modeling method was proposed.Based on the task-oriented method and BPMN(Business Process Modeling Notation), the corresponding modeling methods were presented. In order to meet the requirements of task-oriented modeling, properties of time, resources, and constraints of time were expanded, and then the steps of the task-oriented modeling method were presented. The tasks were decomposed into executable ones according to the logical relationships, and then tasks could be combined into business-flow diagrams. At last, taking the combat operations of the submarine as example, the time and resources of the operations were designed and a task-oriented process model was constructed.Secondly, in order to validate the correctness of process models, the quality consistency validation method based on model checking idea was introduced in detail. Different from traditional research, the description and validation as process properties and time-resources quality of the business flow were proposed. According to the structure of the business-flow, the transformation rules of the model with time and resources to the state transition model were prosposed. And based on CTL, the formal decription of termination, reachability, succession, and time-resource qualities were given. The method was used to check the operations of the submarine model, and corrected problems.Then, based on STN, the constraint verification and digestion method was proposed.Traditional studies of STN verification were mainly effected in single path of the process. Based on branch verification problem, the paper first proposed the conversion method of the business process to the STN, and proved its correctness.Then path consistency and strong consistency definitions and the satisfy conditions were given, examineation and validation algorithm were designed and the method properties was proved, and then gave an example to prove it corretness.Finally, based on task-oriented business process modeling and verification methods, a platform of modeling and verification was designed and implemented.The two graphical platforms, the task decomposition modeling platform and the business-flow modeling platform were constructed and it could use the validation module to verify the model and return resolutions.An example was introduced as the modeling and validation case, the results showed that the method and platform design could meet the requirement of modeling based on task-oriented, the time and resouces qualities checking and constraint verification with branchs.