Modeling And Verification Of Workflow In Virtual Enterprises

Virtual enterprises are new type rivalrous organizations based on the modern technology and can respond to severe market compete quickly. From the point of production and management, enterprises can be regarded as active processes making up of several processes associated each other with different levels. The activities of production and management in enterprises can be managed more efficiently with the workflow technology.Workflow has been becoming a hot topic in IT research field. And many workflow systems and prototypes have been developed currently. Workflow model is the process represented by computer. One of the tasks of WfMS is to create the workflow models. The research on the soundness of workflow model is an important and should be well solved.This thesis is right discussing the topic of the method and its soundness when workflow technology is used in virtual enterprises. In this thesis, firstly, we summarize the concept and development of virtual enterprises and workflow management systems, emphasizing on the nowadays workflow models and the verification methods; then we talk about the concept and attribute of Petri-Net and WF-net. Based on Petri-Net, modeling and analysis have strict system of formalization, then can avoid the illegibility, uncertainty and illogicality. WF-net is the application of Petri-Net analysismethod in workflow area. Based on WF-net, Netherlandish scholar Wil van der Aalst proposed the Interorganizational Workflows Model. For virtual enterprises, the interorganizaional workflows have good adaptability and necessary. In this thesis, we add color attribute to Interorganizational Workflows so that we can describe more complex interact objects among several organizations. Various colors can differentiate and reflect business processes livelily. Verification of workflow soundness is an important problem in the current workflow research area. Many WfMSs probably create wrong workflow models, so the running of workflow will be abnormal. Some researchers introduce the theorem of event balance. A necessary condition to verify workflow logical soundness is proposed by analyzing the soundness of local workflow. But how to verify the soundness of a whole workflow is not introduced. Based on the method of Aslst, we emphasize on the soundness of Colored-Interorganizational Workflows in the rest of thesis.Using workflow technology to virtual enterprises have significant meaning. This using can help some demands of the latter to come true, such as automatization of business process, dynamic business adjustment and control, watching and warning etc. The formalized modeling and validity method make this implement more precise. In the last of this thesis, we give an example to simulate the practical use of this modeling and validity method.