开放网格服务环境下动态工作流的研究与实现

摘要

本论文以动态工作流为研究对象，在以下几个方面进行了系统的研究，取得了一定的研究成果：(1)深入分析了产生式系统和Petri网技术的基础上，对动态工作流进行了形式化描述。利用产生式系统形式化描述动态工作流的逻辑性质，利用Petri网技术形式化描述动态工作流的动态性质，并针对工作流在动态变换过程中可能出现冲突的问题，提出了解决方法;(2)动态工作流中的每一个工作流节点的功能通常需要经由一个服务调用链来实现。服务调用链所涉及的服务分布在网格环境中，并且服务调用链只能在工作流运行过程中动态地加以构造。针对服务调用链中可能存在的调用冲突问题，提出了服务调用冲突发现算法，并对该算法进行了优化；(3)在GT3环境下，设计和实现了简单的动态工作流和服务调用冲突发现算法，阐述了在网格环境下的动态工作流的具体实现方法。

目录

东南大学学位论文独创性声明及东南大学学位论文使用授权声明

摘要

表图一栏表

第一章绪论

1.1工作流研究工作和发展现状

1.1.1工作流的定义

1.1.2工作流管理联盟的工作流的参考模型

1.1.3实现工作流的主要技术

1.2 Web服务的业务流程执行语言规范

1.3网格计算中的工作流服务

1.4应用需求分析

1.5论文研究问题及解决方法概述

1.6论文难点分析和论文主要贡献

1.7论文的结构组成

第二章动态工作流的建模与形式化描述

2.1工作流的形式化定义

2.2基于产生式的工作流描述

2.2.1产生式与工作流构成比较

2.2.2特点分析

2.2.3用产生式描述工作流

2.3基于Petri网的工作流描述

2.3.1作为终节点的服务流节点的描述

2.3.2作为中间服务流节点的描述

2.3.3工作流节点之间关系的描述

2.3.4基本性质分析

2-4两种形式化描述方法的比较

2.5动态工作流的特点和难点分析

2.6动态工作流的形式化描述

2.6.1动态工作流的逻辑关系描述

2.6.2动态工作流定义变化

2.6.3工作流定义变化后的行为描述

第三章服务调用冲突发现算法设计

3.1服务发现技术

3.2服务调用冲突

3.3服务搜索算法

3.4服务调用冲突发现算法的设计

3.4.1服务调用冲突发现算法

3.4.2算法进一步优化

3.5算法部署

3.6服务节点和服务调用的动态修改策略

3.7对算法的讨论

第四章简单动态工作流和服务调用冲突发现算法的实现

4.1实现环境

4.2 GT3一般服务的设计实现

4.3简单动态工作流的实现

4.3.1工作流节点服务设计和实现

4.3.2支持工作流的服务设计

4.3.3工作流管理工具设计

4.4服务调用冲突发现算法的实现

4.5动态工作流冲突发现算法的测试

4.5.1测试用例

4.5.2测试过程

4.5.3测试结果分析

4.6动态工作流与服务调用冲突发现算法的综合应用

第五章进一步探讨

5.1语义Web的体系结构

5.2语义的XML描述

5.3语义描述在服务发现和服务组合的应用前景

第六章结束语

参考文献

致谢

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