网格工作流验证方法的研究

摘要

随着互联网技术的迅猛发展，网格逐步成为一种新的技术和基础设施，可以充分利用集成的资源。当网格应用的逻辑过程复杂、需要有各种时间和因果约束的时候，就需要网格工作流来管理这些应用。网格工作流的有效性及验证都可以用来保证网格工作流实施的正确性。本文着重研究的就是网格工作流验证的方法，主要包括了性能验证、资源验证和安全验证三个方面。其中利用混沌理论相空间重构的方法对GridFTP传输速率进行了预测来完成传输性能的验证；采用D—Petri网为网格工作流建模，进行死锁检测完成资源验证；将PKI/PMI技术和T—RBAC访问控制方式融合在一起，给出了一个网格工作流的安全模型。

目录

文摘

英文文摘

声明

第一章绪论

1.1网格

1.1.1网格概念

1.1.2网格特点

1.1.3网格应用

1.2研究背景及意义

1.2.1网格应用需要网格工作流

1.2.2网格工作流的验证

1.3国内外的研究动态

1.4本文的研究内容

1.5论文的组织结构

第二章网格工作流验证系统

2.1体系结构

2.2模块介绍

2.2.1工作流门户

2.2.2组织资源管理

2.2.3网格工作流引擎

2.2.4性能监控管理

2.2.5网格服务管理

2.3网格工作流验证系统的运行环境

2.4本章小结

第三章网格工作流性能验证的研究

3.1 GridFTP传输速率

3.2传统的预测方法

3.3混沌理论与相空间重构GridFTP传输速率

3.3.1混沌理论

3.3.2相空间重构GridFTP传输速率

3.4混沌预测方法的选取

3.4.1局域法

3.4.2加权零阶局域法

3.4.3加权一阶局域法

3.5基于混沌特性的GridFTP传输速率预测算法(PGR)

3.5.1 PGR算法实现

3.5.2实验数据的获取——SRA算法

3.5.3仿真实验结果的分析与比较

3.6性能验证

3.7本章小结

第四章网格工作流资源验证的研究

4.1网格工作流与传统工作流的异同

4.2传统工作流的建模方法

4.3 Petri Net和WF-NET

4.3.1 Petri Net

4.3.2 WF-NET

4.4网格工作流的建模

4.5基于可达图的死锁检测算法

4.6算例分析

4.7本章小结

第五章网格工作流安全验证的研究

5.1网格工作流的体系结构

5.2基于PKI/PMI和T-RBAC的网格工作流安全模型基础

5.2.1公共密钥基础设施PKI

5.2.2授权权限管理基础设施PMI

5.2.3基于角色和任务的访问控制方式T-RBAC

5.3基于PKI/PMI和T-RBAC的网格工作流安全模型

5.3.1 PKI认证及角色PMI授权

5.3.2角色和任务相结合的访问控制方式

5.3.3虚拟组织间角色映射授权算法(RMAVO)

5.4实例分析

5.5安全性分析

5.6本章小结

第六章总结

参考文献

致 谢

在学期间发表的学术论文和参加科研情况