基于对象的分布式Pi演算研究

发布时间：2017-11-01 19:17

  本文关键词：基于对象的分布式Pi演算研究

  更多相关文章： DOPi演算 移动通信 对象 语义分析 IMC框架

【摘要】：随着硬件技术和大数据需求的增加，分布式技术也在不断发展革新。如何有效的描述分布式环境下的进程通信过程也是研究的主要问题之一。 本文提出了异步Pi演算的一种扩展形式—DOPi演算，主要对分布式环境中处于不同计算环境内的进程通信过程进行建模，它将边界这一抽象概念通过迁移算子等具体的表达式引入到Pi演算中，可以清晰的刻画进程在不同作用域内的移动通信。通过将新的迁移算子与Pi演算操作语义融合，保留了异步Pi演算的异步并发特性，降低了扩展复杂度，弥补了Pi演算无法直接对分布式跨边界交互系统进行建模的不足。本文的后半部分给出了DOPi演算在实际应用系统中的建模能力，通过对具有对象特性的语言进行语义建模和分析，对如何将演算向编程实现转化这一问题给出了解决方法，并在最后给出了使用具体的面向对象编程语言对文中提出的交互实例模型进行实现的过程。 本文提出的演算具有良好的分布式通信描述能力，，同时为繁琐复杂的形式化模型向编程实现提供了转换依据，具有一定的现实意义。
【关键词】：DOPi演算 移动通信 对象 语义分析 IMC框架
【学位授予单位】：吉林大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP391.1;TP338.8
【目录】：

• 提要4-5
• 摘要5-7
• Abstract7-12
• 第1章 引言12-20
• 1.1 研究背景12-17
• 1.1.1 分布式技术研究现状12-14
• 1.1.2 分布式编程模型研究现状14-16
• 1.1.3 并发面向对象语言模型研究现状16-17
• 1.2 研究意义17-18
• 1.3 本文研究工作18-19
• 1.4 论文组织结构19-20
• 第2章 经典 Pi 演算及其变体20-26
• 2.1 Pi 演算相关基础20-23
• 2.2 异步 Pi 演算23-24
• 2.3 Pi 演算及变体的编程应用24-25
• 2.4 本章小结25-26
• 第3章 一种新型的分布式演算-DOPi 及其互模拟分析26-38
• 3.1 边界的概念26-28
• 3.2 DOPi 演算语法28-34
• 3.2.1 DOPi 演算的基本语法28-32
• 3.2.2 DOPi 演算中的结构同余32-33
• 3.2.3 归约规则33-34
• 3.3 DOPi 演算中的标签迁移系统34-35
• 3.4 互模拟等价性质分析35-37
• 3.5 本章小结37-38
• 第4章 DOPi 演算建模能力分析38-50
• 4.1 DOPi 演算交互实例建模38-42
• 4.1.1 进程移动38-41
• 4.1.2 存储过程41-42
• 4.2 DOPi 演算面向对象建模分析42-45
• 4.2.1 面向对象模型43
• 4.2.2 DOL 语法43-45
• 4.3 基于 DOPi 演算的对象语言语义分析45-49
• 4.3.1 DOL 语义45-47
• 4.3.2 DOL 语义描述实例47-49
• 4.4 本章小结49-50
• 第5章 基于 IMC 框架的 DOPi 演算实现50-63
• 5.1 IMC 框架50-52
• 5.1.1 通信协议50-51
• 5.1.2 节点和进程51-52
• 5.2 DOPi 演算实现框架52-57
• 5.2.1 DOPi 系统通信协议53-54
• 5.2.2 节点54-57
• 5.2.3 线程57
• 5.3 DOPi 演算实例分析57-62
• 5.4 本章小结62-63
• 第6章 结语和展望63-65
• 6.1 本文总结63-64
• 6.2 未来研究展望64-65
• 参考文献65-68
• 作者简介及在学期间所取得的科研成果68-69
• 致谢69

【参考文献】

中国期刊全文数据库 前5条

1 孙踊,杨宏戟;基于通信顺序进程的计算机网络通信协议形式化描述[J];北京大学学报(自然科学版);1997年01期

2 周园春,李淼,张建,李晓欧,张飞;中间件技术综述[J];计算机工程与应用;2002年15期

3 郝克刚;郭小群;;Pi演算对图灵机的表达[J];计算机工程与科学;2009年10期

4 张建勋;古志民;郑超;;云计算研究进展综述[J];计算机应用研究;2010年02期

5 朱福喜,张黔;并发面向对象语言COOLⅡ的语义模型[J];小型微型计算机系统;2001年12期

中国博士学位论文全文数据库 前1条

1 蔡小娟;基于π演算的编程与表达能力研究[D];上海交通大学;2009年

本文编号：1128156