普适环境下自适应中间件模型与方法研究

针对普适环境下异质异构实体间高动态、多层次频繁交互的特性，从普适计算固有复杂性对基础软件的动态自适应要求出发，本项目进行自适应中间件模型与方法的研究。基于多层次的语义信息，对中间件的组成实体进行逻辑表示，建立以自适应语义构件和智能元体为核心基础的自适应中间件模型。采用语境驱动和语义信息感知融合的机制，提出自适应因子扩展时序逻辑，结合中间件组成实体的动态行为类型等价性，构建交互理论框架和动态自适应理论方法。研究基于自适应中间件模型的验证方法，对其中的基础理论问题进行典型场景的实验分析，检验模型和方法的正确可靠。该研究将为普适环境下的分布式系统基础软件理论研究提供新的途径，为自适应中间件安全可靠的实现提供理论基础和方法支撑。