文档介绍：重庆大学硕士学位论文
基于Petri网的网格工作流研究
of Chongqing University
Research of Grid Workflow
Based on
Master. Candidate:Chen Chunping
Supervisor: Yue
Major:Control Theory and Control Engineering
College of Automation
Chongqing University
April 2006
学位论文原创性声明
本人郑重声明:所呈交的论文是本人在导师的指导下独立进行研究所取得的研究成果。除了文中特别加以标注引用的内容外,本论文不包含任何其他个人或集体已经发表或撰写的成果作品。对本文的研究做出重要贡献的个人和集体,均已在文中以明确方式标明。本人完全意识到本声明的法律后果由本人承担。
作者签名: 日期: 年月日
学位论文版权使用授权书
本学位论文作者完全了解学校有关保留、使用学位论文的规定,同意学校保留并向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅。本人授权大学可以将本学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。
涉密论文按学校规定处理。
作者签名: 日期: 年月日
导师签名: 日期: 年月日
摘要
网格是新一代的分布式计算技术,它将各种地理上分布的、属于不同组织的资源(计算资源、存储资源、设备资源、知识资源等)组织到一个统一的平台上,以实现资源的整合和共享。为此,网格将其上的各种资源和功能都封装成服务的形式,称作网格服务。具体的网格应用即是将合适的网格服务根据应用目的的需要,组织到一起,按照业务流程顺序进行执行,以达到应用目标。怎样高效可靠地组织这些分散在异质平台上的网格服务是网格的重要研究方向。
工作流技术是一种业务流程建模技术,能够对业务流程进行建模,并依据模型组织相关资源实现业务流程。因此,工作流技术适合于面向流程的网格应用建模,以组织相应网格服务的执行,实现应用目标。由于网格的动态性、分布性、异构性和自治性导致传统工作流的一些方法和技术不能有效的处理网格应用,尤其是商业流程处理中的有关问题,论文根据网格资源和网格商业应用的特点和网格环境对工作流技术的需求,对网格服务流的Petri网过程模型、商业流程与Petri网的映射、网格工作流的体系结构进行了研究。
本文在详细分析网格和网格工作流本质特征的基础上,采用Petri网这种形式化工具对网格工作流进行建模,服务流网模型,并给出了相应的形式化分析方法,以处理工作流在整合网格上动态、分布式的资源时出现的如冲突、冲撞等问题。
为支持网格工作流的实际运行,服务流网模型映射转化为BPEL4WS这种面向服务的工作流描述语言,并给出了相应的仿真分析结果。
在以上研究的基础上,本文对网格环境下工作流管理系统面临的问题进行了分析,提出了一种混合式的工作流引擎,并基于此引擎给出网格工作流管理系统的参考设计,以支持网格工作流在网格上的运行。这种设计能较好地解决网格环境组织结构不断变化、跨所有者边界等问题。通过了实验验证,初步证明了我们设计的可行性。
关键词:网格,网格工作流,工作流管理系统,,Petri网,BPEL
ABSTRACT
Grid is the next generation of puting technology, it makes all geographical distribution resources belonging to anizations (computing resources, storage resources, equipment resources, knowledge resources, etc.) anize a unified platform for the integration and sharing of resources. To this end, the grid will have the resources and functions into packaging in the form of services, known as grid services. Specific grid application that is suitable grid services will be based on the intended application How to make these anizations reliably scattered het