發(fā)布時間：2017-11-01 19:17

  本文關鍵詞：基于對象的分布式Pi演算研究

  更多相關文章： DOPi演算 移動通信 對象 語義分析 IMC框架

【摘要】：隨著硬件技術和大數(shù)據(jù)需求的增加，分布式技術也在不斷發(fā)展革新。如何有效的描述分布式環(huán)境下的進程通信過程也是研究的主要問題之一。 本文提出了異步Pi演算的一種擴展形式—DOPi演算，主要對分布式環(huán)境中處于不同計算環(huán)境內的進程通信過程進行建模，它將邊界這一抽象概念通過遷移算子等具體的表達式引入到Pi演算中，可以清晰的刻畫進程在不同作用域內的移動通信。通過將新的遷移算子與Pi演算操作語義融合，保留了異步Pi演算的異步并發(fā)特性，降低了擴展復雜度，彌補了Pi演算無法直接對分布式跨邊界交互系統(tǒng)進行建模的不足。本文的后半部分給出了DOPi演算在實際應用系統(tǒng)中的建模能力，通過對具有對象特性的語言進行語義建模和分析，對如何將演算向編程實現(xiàn)轉化這一問題給出了解決方法，并在最后給出了使用具體的面向對象編程語言對文中提出的交互實例模型進行實現(xiàn)的過程。 本文提出的演算具有良好的分布式通信描述能力，，同時為繁瑣復雜的形式化模型向編程實現(xiàn)提供了轉換依據(jù)，具有一定的現(xiàn)實意義。
【關鍵詞】：DOPi演算 移動通信 對象 語義分析 IMC框架
【學位授予單位】：吉林大學
【學位級別】：碩士
【學位授予年份】：2014
【分類號】：TP391.1;TP338.8
【目錄】：

• 提要4-5
• 摘要5-7
• Abstract7-12
• 第1章 引言12-20
• 1.1 研究背景12-17
• 1.1.1 分布式技術研究現(xiàn)狀12-14
• 1.1.2 分布式編程模型研究現(xiàn)狀14-16
• 1.1.3 并發(fā)面向對象語言模型研究現(xiàn)狀16-17
• 1.2 研究意義17-18
• 1.3 本文研究工作18-19
• 1.4 論文組織結構19-20
• 第2章 經(jīng)典 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 歸約規(guī)則33-34
• 3.3 DOPi 演算中的標簽遷移系統(tǒng)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 演算實現(xiàn)50-63
• 5.1 IMC 框架50-52
• 5.1.1 通信協(xié)議50-51
• 5.1.2 節(jié)點和進程51-52
• 5.2 DOPi 演算實現(xiàn)框架52-57
• 5.2.1 DOPi 系統(tǒng)通信協(xié)議53-54
• 5.2.2 節(jié)點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

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前5條

1 孫踴,楊宏戟;基于通信順序進程的計算機網(wǎng)絡通信協(xié)議形式化描述[J];北京大學學報(自然科學版);1997年01期

2 周園春,李淼,張建,李曉歐,張飛;中間件技術綜述[J];計算機工程與應用;2002年15期

3 郝克剛;郭小群;;Pi演算對圖靈機的表達[J];計算機工程與科學;2009年10期

4 張建勛;古志民;鄭超;;云計算研究進展綜述[J];計算機應用研究;2010年02期

5 朱福喜,張黔;并發(fā)面向對象語言COOLⅡ的語義模型[J];小型微型計算機系統(tǒng);2001年12期

中國博士學位論文全文數(shù)據(jù)庫 前1條

1 蔡小娟;基于π演算的編程與表達能力研究[D];上海交通大學;2009年

本文編號：1128156