Research Of Modeling Methodology For Business Process And Its Transaction Attribute

Process management is put into practice through workflow management. Therefore, since workflow management was born, it has been applied in practice in many areas and has been improving business process. Since a kind of business operating platform is provided by the workflow system based on workflow management, the workflow system is also called business operating system.There are so many areas involved in workflow management. There are many kinds of modeling methodology in workflow modeling. But, there are some kinds of fault these kinds of modeling methodology have in common. For example, there is a big gap between semantics of model built by these methods and semantics of representation of the model in computer. Parallel tasks with transaction attribute can not be modeled by these kinds of modeling methodology. In the dissertation, hierarchical colored workflow net (HCWF-net) is proposed and based on hierarchical colored Petri net (HCPN) after the faults of existing modeling methodology is checked up. Business processes can be modeled hierarchically by the hierarchical colored Petri net (HCPN). Since there are accurate semantics in the workflow process model made by hierarchical colored workflow net, rollback strategy of parallel tasks with transaction attribute can also be modeled by the modeling methodology.Soundness of hierarchical colored workflow net and soundness of hierarchical colored workflow net model for parallel tasks with transaction attribute is verified in experiments. The advantages of hierarchical colored workflow net for business processes are illustrated in a modeling example.Since resources are needed in the execution of business process, the modeling methodology for human and computer application resources is briefly discussed in the end of dissertation.