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

摘要

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

目录

摘要

ABSTRACT

第1章 引言

1.1 课题的背景及意义

1.2 本文的工作与创新

1.2.1 本文的研究工作

1.2.2 本文的创新之处

1.3 本文的组织与结构

1.4 小结

第2章 相关的研究工作

2.1 移动Agent技术

2.2 基本Petri网

2.3 工作流技术

2.3.1 工作流定义

2.3.2 工作流相关概念及其联系

2.3.3 工作流系统的分类

2.4 工作流建模

2.4.1 业务流程建模

2.4.2 工作流模型研究现状

2.4.3 基于Petri网的工作流模型

2.4.4 工作流建模技术的不足与研究方向

2.5 小结

第3章 迁移工作流管理系统

3.1 迁移工作流系统简介

3.2 迁移工作流的概念模型

3.3 迁移工作流管理系统框架

3.3.1 迁移工作流管理引擎体系结构

3.3.2 工作位置体系结构

3.3.3 迁移实例

3.4 小结

第4章 迁移工作流系统建模各要素分析

4.1 迁移工作流模型中的变迁

4.2 迁移工作流模型变迁的外延

4.3 迁移工作流模型中的变迁点火规则

4.4 小结

第5章 迁移工作流系统层次Petri网模型

5.1 任务模型

5.2 迁移实例网模型

5.3 停靠站服务器模型

5.4 迁移引擎控制网

5.5 小结

第6章 迁移工作流系统建模过程

6.1 迁移工作流流程描述

6.2 迁移工作流系统模型

6.3 迁移工作流网正确性分析

6.4 小结

第7章 实例研究

7.1 网上比价采购书籍系统工作流程

7.2 实例建模

7.3 小结

第8章 结束语

参考文献

致谢

攻读硕士学位期间发表的学术论文

学位论文评阅及答辩情况表