无线移动环境中面向非功能性质的企业跨组织工作流业务协同与角色间歇业务操作的原理和关键技术研究

针对无线移动计算环境的特点，本项目对跨组织工作流业务协同和角色间歇业务操作的原理、机制进行深入分析，采用随机理论模型并进行时间、资源、能耗等方面语义拓展，从业务协同角度对系统行为的资源约束性、实时状态的系统行为最低能耗性、带时间约束的系统协同过程可靠性等方面进行建模与验证，给出具有通用意义的约束规则与检验算法。在此基础上，结合当前网络带宽情况、基于经验的切换率与失败率、业务操作时间约束、设备能耗与剩余能量等方面，设计移动角色的业务间歇操作机制，确保业务过程的高效与可靠。此外探讨与移动角色位置相关(Location-Based)的信息查询与资源定位技术，采用基于索引的快速数据集缩减策略、基于始点距离的数据分片算法、基于数据打包的传输方式，及相应的数据缓存策略来消除基于位置的查询过程中移动无线网络带宽多样性、网络断接等因素造成的影响，提高查询的并行性，延长关键数据的可用时间。