论文部分内容阅读
灰箱进程演算作为描述和分析移动计算系统的有效工具,因为其很强的抽象能力及其在理论和应用上的重要性,在进程演算领域一直得到广泛的关注。一方面,根据应用或理论研究的需要不断有新的灰箱演算类型被提出,随之而来的是在一些具体模型中出现了一些公开问题;而另一方面,人们开始关注灰箱演算变体之间,以及其它类型的进程演算同灰箱进程演算之间的相对关系。但是综合研究各类文献中的结果可以发现,相关研究一直较为零散,缺乏公信力和说服力。我们工作的主要贡献体现在以下几点:1.提出并研究了一种新的灰箱演算模型—-半参数化安全灰箱演算,它是对经典安全灰箱演算模型的改进和推广。我们深入研究了半参数化安全灰箱演算的语义系统和互模拟理论,并将其中的技术和结果应用于研究安全灰箱演算,得到了安全灰箱演算模型中的一系列新结论,加深了对安全灰箱演算模型的理解。2.在灰箱演算的表达能力方面,我们的贡献主要体现在两方面:一是在绝对表达能力方面,我们研究了一些公平灰箱演算的子演算上的进程终止问题的可判定性证明。二是在相对表达能力方面,我们重新定义了表达能力比较的标准,然后据之证明了一些表达能力上的否定性结论;此外还给出了一些与灰箱演算有关的进程模型之间的编码,特别是研究了从π演算到安全灰箱演算上的编码。这些编码就满足的性质而言,都是迄今已知的最好编码。这两方面的结论对今后的工作具有较强的启发和指导意义。3.提出并研究了匿名灰箱演算。匿名灰箱演算作为公平灰箱演算的一种扩展,其特点是定义了动作之间的偏序关系,以及这种偏序关系之上的标号转移系统和互模拟关系。匿名灰箱演算被证明具有非常优美的代数性质,具有广泛的应用前景。作为匿名灰箱演算表达能力的一个证明,我们给出了不带open的移动灰箱演算在匿名灰箱演算中的一个解释。简要地说,本文着重研究了灰箱演算中的两大类问题:语义问题和表达能力问题。在研究中我们系统而深入地考察了前人的相关结果,在此基础上开展了我们的工作。本文的工作对下一步的研究具有较强的指导意义;在对经典问题的研究上推进了相关领域的研究工作;在提出新模型的研究上,扩展了灰箱演算领域的研究范围。