分享到:

移动界程演算及模型检测应用的关键问题研究

相关推荐

·华南理工大学

近10年来,以界程演算(Mobile Ambients)为代表移动进程演算模型已成为移动计算形式化理论的研究热点,但相对于理论研究方面的丰富成果,模型实用化方面研究相对较少,特别是将界程演算实际应用于移动计算系统的核心程序语言,或系统建模语言的应用界程演算模型,以及相关模型检测系统的实现等方面还有待进一步研究。本文针对上述问题,在面向移动计算系统建模应用的扩展界程演算、界程演算的空间逻辑、偏序模型检测方法以及模型检测系统实现框架等方面进行了研究。主要工作包括:1、提出了以“界程”为核心概念的、面向移动计算系统建模应用的扩展演算模型。本文针对移动计算系统的建模语言需要表达IF-THEN-ELSE语义以及模型性质的自动验证需要系统模型保持有限状态性质这一命题进行了研究,提出了一种扩展界程演算模型--应用界程演算(简称Applied-AC演算)。该演算首先在现有界程扩展演算中引入IF-THEN-ELSE结构的进程,并采用带参数的递归进  (本文共190页) 本文目录 | 阅读全文>>