灰箱演算的操作語義及表達能力研究.pdf

1、灰箱進程演算作為描述和分析移動計算系統(tǒng)的有效工具,因為其很強的抽象能力及其在理論和應(yīng)用上的重要性,在進程演算領(lǐng)域一直得到廣泛的關(guān)注。一方面,根據(jù)應(yīng)用或理論研究的需要不斷有新的灰箱演算類型被提出,隨之而來的是在一些具體模型中出現(xiàn)了一些公開問題；而另一方面,人們開始關(guān)注灰箱演算變體之間,以及其它類型的進程演算同灰箱進程演算之間的相對關(guān)系。但是綜合研究各類文獻中的結(jié)果可以發(fā)現(xiàn),相關(guān)研究一直較為零散,缺乏公信力和說服力。我們工作的主要貢獻體現(xiàn)在

2、以下幾點:
　　 1.提出并研究了一種新的灰箱演算模型-半?yún)?shù)化安全灰箱演算,它是對經(jīng)典安全灰箱演算模型的改進和推廣。我們深入研究了半?yún)?shù)化安全灰箱演算的語義系統(tǒng)和互模擬理論,并將其中的技術(shù)和結(jié)果應(yīng)用于研究安全灰箱演算,得到了安全灰箱演算模型中的一系列新結(jié)論,加深了對安全灰箱演算模型的理解。
　　 2.在灰箱演算的表達能力方面,我們的貢獻主要體現(xiàn)在兩方面:一是在絕對表達能力方面,我們研究了一些公平灰箱演算的子演算上的進程

3、終止問題的可判定性證明。二是在相對表達能力方面,我們重新定義了表達能力比較的標準,然后據(jù)之證明了一些表達能力上的否定性結(jié)論；此外還給出了一些與灰箱演算有關(guān)的進程模型之間的編碼,特別是研究了從π演算到安全灰箱演算上的編碼。這些編碼就滿足的性質(zhì)而言,都是迄今已知的最好編碼。這兩方面的結(jié)論對今后的工作具有較強的啟發(fā)和指導意義。
　　 3.提出并研究了匿名灰箱演算。匿名灰箱演算作為公平灰箱演算的一種擴展,其特點是定義了動作之間的偏序關(guān)系

4、,以及這種偏序關(guān)系之上的標號轉(zhuǎn)移系統(tǒng)和互模擬關(guān)系。匿名灰箱演算被證明具有非常優(yōu)美的代數(shù)性質(zhì),具有廣泛的應(yīng)用前景。作為匿名灰箱演算表達能力的一個證明,我們給出了不帶open的移動灰箱演算在匿名灰箱演算中的一個解釋。
　　 簡要地說,本文著重研究了灰箱演算中的兩大類問題:語義問題和表達能力問題。在研究中我們系統(tǒng)而深入地考察了前人的相關(guān)結(jié)果,在此基礎(chǔ)上開展了我們的工作。本文的工作對下一步的研究具有較強的指導意義；在對經(jīng)典問題的研究上推