Font Size: a A A

Research On Theory And Several Key Technologies Of Business Process Management

Posted on:2008-03-11Degree:DoctorType:Dissertation
Country:ChinaCandidate:X N LiFull Text:PDF
GTID:1119360215464800Subject:Computer software and theory
Abstract/Summary:PDF Full Text Request
As a prospective technology for dispatching, coordinating and managing complex business processes, Business process management has gained more and more attentions from enterprise managers, customers and researchers. At present the business process management domain still hampered by many problems such as the lag of process model theory research, the lack of standardized reference model, the deficiency of modeling methodology and the model evaluation criteria, and the deficiency of resources modeling theory and technology. By researching on these problems, a theory system including the process modeling theory, the process model formal description technique, the methods for process model verification and the theory for resources modeling have been established, which can be used for the design and development of the business process management system.A new kind of high-level Petri net named L-net is proposed, which distinguish itself from the traditional Petri net by offering undetermined transition enabling and firing rules. The enabling and firing rule and the Corresponding firing consequence of the L-net is discussed, with its firing Conditions matrix, firing modes matrix and firing rules matrix defined. The semantics definition of the XOR, OR and AND structures in the L-net are given. The Expressions of complex control semantics in the L-net is studied. For describing business process model a special L-net named Business Process net is proposed, which expresses complex process control logic easily whereas remain its graph simple and intuitional. Comparison of BP-net with Workflow net indicates that the former shows many advantages over the later.BPMN is the beginning of process modeling. Many errors may eliminated at the BPMN conceptial modeling stage if the model can be described formally and verified in this stage. In this disseration the graph element in the BPMN spec which do effect in the performance of the process is discribed in pi-calculus formally, thus rigorous semantics is given to those element. The conversion scheme from BPMN graph element to pi expression is established. The pi calculus description of Web service combination process model is raised, with an interaction process example given.As for the soundness verification of process model, an algebra system named Q-algebra is proposed, with its mathematics character studied and theorems proposed then proved. The theory and methodology on study of the reachability of the BP-net is established. The reachability-degree, a parameter indicating the reachability of the nodes in the BP-net is defined. The transformation formulae from BP-net to Q-algebra are given. The steps calculating reachability-degree based on the firing rules matrix is presented, with different kinds of examples analyzed.On research of the resource modeling, 4 questions about the meaning of business process management are discussed. Based on the discussion, a new viewpoint of separating the control logic further into routing logic and managing logic is proposed. Besides, for describing the managing logic, an enterprise resource model is proposed with its formal description and completeness rules presented. The enterprise resource model treats processes, activities and other resources indifferently. The correctness of the resource references is guaranteed by maintenance of the completeness of the enterprise resource model.At the end of this dissertation, a business process management system reference model is proposed. The components of the reference model and the communications between them are given. To verify new theory and new techniques, a business process management system named SynchroBPM4RM is developed, which based on the SyncoroFLOW workflow system and realized the main functions of the reference model.
Keywords/Search Tags:Business process management, process model, workflow, model checking, Petri net
PDF Full Text Request
Related items