普适环境下移动事务关键技术研究

普适环境下网络的多样性、拓扑的动态性、固定基础设施的逐渐弱化和用户的高度运动给移动事务管理带来了严峻挑战。为了实现信息空间、物理空间及人类活动三者的无缝融合，普适移动事务必须动态感知与自适应持续变化的事务情境，向用户提供足够的透明性。本项目将以面向普适环境的自适应移动事务模型为核心，以情境感知的事务管理为支撑，系统研究解决普适移动事务处理的基础理论和关键技术。主要研究内容包括：(1)面向普适计算的自适应移动事务模型；(2)情境驱动的动态事务管理；(3)基于移动场景的补偿事务自动产生技术；(4)面向普适环境的扩展Petri网及事务形式化描述与分析技术。 在此基础上，初步研究普适移动事务安全模型。本课题的研究成功, 将建立情境自适应的通用移动事务模型、情境驱动的事务管理等关键技术，为"以人为本"的普适计算提供强有力的支持；形成走在前列的普适移动事务理论与技术体系，推动普适计算的商业化进程。