本文關(guān)鍵詞：基于對(duì)象的分布式Pi演算研究

  更多相關(guān)文章： DOPi演算 移動(dòng)通信 對(duì)象 語(yǔ)義分析 IMC框架

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

• 提要4-5
• 摘要5-7
• Abstract7-12
• 第1章 引言12-20
• 1.1 研究背景12-17
• 1.1.1 分布式技術(shù)研究現(xiàn)狀12-14
• 1.1.2 分布式編程模型研究現(xiàn)狀14-16
• 1.1.3 并發(fā)面向?qū)ο笳Z(yǔ)言模型研究現(xiàn)狀16-17
• 1.2 研究意義17-18
• 1.3 本文研究工作18-19
• 1.4 論文組織結(jié)構(gòu)19-20
• 第2章 經(jīng)典 Pi 演算及其變體20-26
• 2.1 Pi 演算相關(guān)基礎(chǔ)20-23
• 2.2 異步 Pi 演算23-24
• 2.3 Pi 演算及變體的編程應(yīng)用24-25
• 2.4 本章小結(jié)25-26
• 第3章 一種新型的分布式演算-DOPi 及其互模擬分析26-38
• 3.1 邊界的概念26-28
• 3.2 DOPi 演算語(yǔ)法28-34
• 3.2.1 DOPi 演算的基本語(yǔ)法28-32
• 3.2.2 DOPi 演算中的結(jié)構(gòu)同余32-33
• 3.2.3 歸約規(guī)則33-34
• 3.3 DOPi 演算中的標(biāo)簽遷移系統(tǒng)34-35
• 3.4 互模擬等價(jià)性質(zhì)分析35-37
• 3.5 本章小結(jié)37-38
• 第4章 DOPi 演算建模能力分析38-50
• 4.1 DOPi 演算交互實(shí)例建模38-42
• 4.1.1 進(jìn)程移動(dòng)38-41
• 4.1.2 存儲(chǔ)過(guò)程41-42
• 4.2 DOPi 演算面向?qū)ο蠼７治?/span>42-45
• 4.2.1 面向?qū)ο竽Ｐ?/span>43
• 4.2.2 DOL 語(yǔ)法43-45
• 4.3 基于 DOPi 演算的對(duì)象語(yǔ)言語(yǔ)義分析45-49
• 4.3.1 DOL 語(yǔ)義45-47
• 4.3.2 DOL 語(yǔ)義描述實(shí)例47-49
• 4.4 本章小結(jié)49-50
• 第5章 基于 IMC 框架的 DOPi 演算實(shí)現(xiàn)50-63
• 5.1 IMC 框架50-52
• 5.1.1 通信協(xié)議50-51
• 5.1.2 節(jié)點(diǎn)和進(jìn)程51-52
• 5.2 DOPi 演算實(shí)現(xiàn)框架52-57
• 5.2.1 DOPi 系統(tǒng)通信協(xié)議53-54
• 5.2.2 節(jié)點(diǎn)54-57
• 5.2.3 線程57
• 5.3 DOPi 演算實(shí)例分析57-62
• 5.4 本章小結(jié)62-63
• 第6章 結(jié)語(yǔ)和展望63-65
• 6.1 本文總結(jié)63-64
• 6.2 未來(lái)研究展望64-65
• 參考文獻(xiàn)65-68
• 作者簡(jiǎn)介及在學(xué)期間所取得的科研成果68-69
• 致謝69

【參考文獻(xiàn)】

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

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

2 周園春,李淼,張建,李曉歐,張飛;中間件技術(shù)綜述[J];計(jì)算機(jī)工程與應(yīng)用;2002年15期

3 郝克剛;郭小群;;Pi演算對(duì)圖靈機(jī)的表達(dá)[J];計(jì)算機(jī)工程與科學(xué);2009年10期

4 張建勛;古志民;鄭超;;云計(jì)算研究進(jìn)展綜述[J];計(jì)算機(jī)應(yīng)用研究;2010年02期

5 朱福喜,張黔;并發(fā)面向?qū)ο笳Z(yǔ)言COOLⅡ的語(yǔ)義模型[J];小型微型計(jì)算機(jī)系統(tǒng);2001年12期

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

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

本文編號(hào)：1128156