【作者】 于庚；

【导师】 王海洋；

【作者基本信息】 山东大学 ， 计算机软件与理论， 2005， 硕士

【摘要】 虚拟企业是建立在现代科学技术水平基础之上的新型竞争性组织,能对激烈的市场竞争做出及时响应,是一种新的企业发展组织形式。从生产经营角度出发,制造企业可视为由多个相互关联的不同层次流程组成的活动流程。使用工作流技术可以对企业的生产经营活动进行有效管理。 工作流技术是当前IT领域的一个研究热点。工作流模型是业务过程的计算机化形式表示,工作流管理建立阶段的功能主要是完成过程建模的任务。对于工作流模型的正确性研究亦是一个重要且须得到很好解决的问题。 本文即论述了将工作流技术应用到虚拟企业的方法及其正确性验证问题。文章首先综述了虚拟企业与工作流管理系统的概念及发展历程,着重介绍了当前工作流模型及其验证方法。然后介绍了Petri网与工作流网(WF-net)的概念及性质。基于Petri网进行的建模与分析,具有严格的过程形式化体系,避免了模糊性、不确定性和矛盾性。工作流网是Petri网的分析方法在工作流系统中的应用。在此基础上,荷兰学者Wil van der Aalst提出了跨组织工作流模型。对于虚拟企业,跨组织工作流具有良好的适应性与必要性。接下来,本文对跨组织工作流进行着色扩充,通过给Petri网中的标记赋值,就好比给它们涂上了不同的颜色,从而使对象特性与对应标记紧密结合,更加真实地反映虚拟企业内各成员间的交互与协作。工作流模型正确性验证是工作流研究领域的一个重要问题,工作流管理系统可能建立错误的模型,导致工作流的执行出现异常。以Aalst的方法为基础,本文最后着重对经过着色扩展的跨组织工作流网进行正确性的验证。 将工作流技术应用到虚拟企业具有广泛意义,它可以实现后者的业务过程自更多还原

【Abstract】 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.更多还原