学位论文 > 优秀研究生学位论文题录展示
基于Pi演算的网格工作流形式化描述及有效性检测
作 者: 李占峻
导 师: 黄永忠
学 校: 解放军信息工程大学
专 业: 计算机应用技术
关键词: 网格工作流 Pi演算 形式化描述 网格工作流过程 有效性检测
分类号: TP311.52
类 型: 硕士论文
年 份: 2009年
下 载: 57次
引 用: 0次
阅 读: 论文下载
内容摘要
随着网格技术的迅猛发展,网格应用的规模与涉及领域不断扩大。由于网格工作流可以有效地构建、管理、调度和监控这些复杂网格应用,因此成为网格技术的一项重要研究内容。目前对于网格工作流的研究大多侧重于使能技术上,而形式化地描述、建模与检测则十分缺乏。由于网格工作流具有不同层次的抽象性和复杂性,建立具有严格形式化基础的工作流模型迫切且必要。本文在深入研究网格工作流特性与Pi演算理论的基础上,阐述了应用基本Pi演算形式化描述网格工作流的优势,提出了应用Pi演算进行形式化描述的描述思路,根据该描述思路,分别对网格工作流基本任务、网格工作流流程结构、网格工作流流行规范以及网格工作流并行计算模式进行了形式化描述,建立了它们与Pi演算的映射规则,以形式化的方法表达了网格工作流语义,并应用Pi演算的组合操作符构建了网格工作流形式化模型的闭系统。论文最后应用模型检测技术对网格工作流过程结构进行了有效性检测。使用的检测方法简单高效,可检测出网格工作流过程中存在的死锁、冗余等问题。
|
全文目录
表目录 7-8 图目录 8-9 摘要 9-10 ABSTRACT 10-11 第一章 绪论 11-17 1.1 研究背景 11-12 1.2 当前研究现状 12-13 1.3 应用PI 演算描述网格工作流的优势 13 1.4 课题意义 13-14 1.5 本文主要工作、贡献与论文结构安排 14-17 第二章 网格工作流特性及PI演算理论研究 17-28 2.1 网格工作流概述 17-20 2.1.1 网格工作流定义 17 2.1.2 网格工作流规范 17-19 2.1.3 网格工作流并行计算模式 19-20 2.2 网格工作流特性分析 20-21 2.3 PI 演算理论研究 21-25 2.3.1 Pi 演算基本语法 21-24 2.3.2 Pi 演算等价性理论研究 24-25 2.4 应用PI 演算进行描述的描述思路与PI 演算动态性分析 25-27 2.4.1 描述思路 25-26 2.4.2 Pi 演算动态性分析 26-27 2.5 小结 27-28 第三章 网格工作流的PI演算形式化描述 28-51 3.1 描述内容的选择与描述粒度设置 28-29 3.2 网格工作流基本活动的形式化描述 29-31 3.2.1 网格工作流原子活动的描述 29 3.2.2 网格服务的描述 29-31 3.2.3 服务交互的描述 31 3.3 网格工作流流程结构的形式化描述 31-37 3.3.1 描述规则 31-32 3.3.2 基本控制流结构的形式化描述 32-35 3.3.3 多实例模式的形式化描述 35-37 3.4 网格工作流规范的形式化描述 37-42 3.4.1 语义映射规则 37 3.4.2 变量、活动与相关集的形式化描述 37-41 3.4.3 错误与补偿机制的形式化描述 41-42 3.4.4 事件处理的形式化描述 42 3.5 网格工作流并行计算模式的形式化描述 42-46 3.5.1 描述规则 43 3.5.2 并发执行模式的形式化描述 43-44 3.5.3 管道执行模式的形式化描述 44-46 3.6 构建网格工作流形式化模型的闭系统与形式化描述的必要性 46-47 3.7 应用实例 47-49 3.8 小结 49-51 第四章 网格工作流过程形式化验证方法研究 51-66 4.1 传统模型验证技术概述 51-52 4.2 传统验证方法存在问题分析 52-53 4.3 本文验证方法 53-63 4.3.1 过程有效性定义 53 4.3.2 预备理论 53-57 4.3.3 有效性验证方法研究 57-63 4.3.4 有效性验证方法小结 63 4.4 审稿流程实例的有效性检测 63-65 4.5 小结 65-66 第五章 网格工作流过程形式化验证方法应用 66-77 5.1 验证工具与验证平台搭建 66-68 5.1.1 验证工具 66-67 5.1.2 验证平台搭建 67-68 5.2 网格工作流密码破译流程交互有效性验证 68-73 5.2.1 应用说明 68-69 5.2.2 形式化描述 69-71 5.2.3 交互有效性验证 71-73 5.3 弱有效性与延迟有效性验证 73-76 5.4 小结 76-77 第六章 结论与未来工作 77-79 参考文献 79-84 作者简历 攻读硕士学位期间完成的主要工作 84-85 致谢 85
|
相似论文
- 应急预案的形式化建模与决策规划,N945.1
- 基于域信任的自适应网格工作流调度算法,TP311.52
- 燃醇基燃料锅炉燃烧系统优化建模与智能控制研究,TK223.2
- 安全协议形式化描述语言的设计与解析,TP393.08
- Web服务事务协调协议WS-TX的形式化分析与验证,TP393.09
- 基于混合层次关系的扩展角色图模型研究,TP393.08
- 基于进程代数的面向服务软件体系结构建模,TP393.09
- IPSec协议测试优化技术研究,TP311.52
- 基于Z规格的软件测试工具的设计与实现,TP311.52
- 基于PI演算的CRM系统的设计与实现,TP311.52
- 基于性能评估的炼焦生产过程优化运行闭环控制系统设计,TP273
- 基于Pi-演算的Web服务组合的描述和验证,TP393.09
- Modbus通信协议自动测试系统的研究与开发,TP274
- 基于特征匹配的网络应用识别技术研究,TP393.06
- 服务质量约束的网格工作流任务调度算法研究,TP311.52
- 基于负载均衡的网格工作流调度算法研究,TP311.52
- 面向语义约束的协同验证研究,TP393.02
- 基于XML自动评阅系统的设计与实现,TP311.52
- 截止期约束的网格工作流费用优化算法研究,TP393.02
- 网格工作流可靠性仿真与评测,TP311.52
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|