基于Petri网的层次迁移工作流系统模型研究

【作者】 孙志东；

【导师】 曾广周；

【作者基本信息】 山东大学 ， 计算机应用技术， 2006， 硕士

【摘要】 迁移工作流系统是近年来工作流管理研究的热点。由于迁移工作流模型的建立和完善贯穿在整个工作流系统从设计到运行结束的全过程，具有动态过程定义和复杂的框架结构，致使其至今缺乏明确的模型定义。而当前的工作流模型都不具备动态可变和灵活的工作流运行模式，因此，迁移工作流管理系统建模成为当前工作流研究工作的难点之一。 本文基于停靠站服务器的迁移工作流管理系统框架下，对迁移工作流系统建模各要素进行分析，明确迁移工作流模型中的变迁及其外延，对迁移工作流中的变迁进行了定义；在同步器的基础上，对原有工作流模型的外延扩充了位置概念和资源与服务能力，将迁移域的位置集在迁移引擎控制网中充分体现，以便能够较好地描述迁移工作流系统中发生的各项活动；将变迁点火分为任务变迁点火和迁移变迁点火，对变迁点火规则进行了定义。 针对迁移工作流系统模型复杂的体系结构，本文提出任务模型、迁移实例模型、停靠站服务器模型和迁移工作流引擎控制模型的概念，构建了一个基于Petri网的层次迁移工作流系统模型。在任务网模型中，提出任务片的概念，动态地将迁移工作流系统中的任务集在迁移环境中体现。迁移引擎控制网是整个系统的核心，直接管理并运行位置、资源服务网和迁移实例网，迁移实例迁入到工作位置后在停靠站服务器服务引擎提供的资源服务和工作流服务支持下执行工作流任务。在建模过程中，业务过程中的任务被映射成为携带任务说明书和工作位置列表的迁移实例变迁，停靠站服务器模型与迁移引擎控制模型中的任务和迁移实例作为有色令牌来看待，这样就把迁移引擎控制模型看做连接任务网模型、迁移实例模型和停靠站服务器模型的外部接口，同时停靠站服务器模型分别与迁移实例模型和迁移控制引擎模型相连，从而使迁移工作流网中的原紧耦合的流关系进行了转化。与传统的工作流模型相比，该模型具有适应迁移工作流动态建模所需的较大柔性，能够充分体现迁移计算理论的迁移方式。 最后，本文对迁移工作流系统运行进行了形式化定义，分析模拟了整个建模过程，并利用该模型对电子商务中常见的网上寻价购书系统实例建模进行了验证。更多还原

【Abstract】 The migrating workflow system is in great demand within the workflow management area. As establishment of migrating workflow model is being went through the whole process of workflow designing and running, and having dynamic process definition and complicated frame structure, it lacks explicit model definition .However, all of current workflow model don’t have the variable and dynamic state to workflow the movement mode, therefore, migrating workflow modeling is one of most difficulty work in current workflow research work.This paper analysis the main factors in modeling of migrating workflow management system based on a frame about migrating workflow management system with anchorage severs, and define clearly the transition element and its extension in migrating workflow model. Then, the extension of workflow model inhere are extended by the position concept and resources& server ability on Synchronization, and this fully materialized the position set of migrating area in migrating engine controlling net to describe well-off various activity which take place in migrating workflow system. Later, the transition is divided into task transition and migrating transition and the rules of transition enabled are defined.Owing to complicated system structure of migrating workflow model, concepts about task model, migrating instance model, anchorage sever model and migrating workflow engine controlling model are put forward, and a hiberarchy model of migrating workflow system is constructed. In task net model , a new concept named task slice is brought forward to open out task set of migrating workflow system dynamicly in migrating environment. The migrating engine controlling net is the core of the whole system, manage directly and run anchorage sever net and migrating instance net. A migrating instance performs the workflow’s task by the support of resource and workflow service that the anchorage server’s serving engine after it migrate in.During the modeling process, tasks of process are mapped to migrating instances更多还原