面向网构软件的环境显式化与处理技术研究

为支持面向开放环境的网构软件系统构建，本项目考察开放环境的本质特性以及开放环境下网构软件系统的典型特征，建立开放环境显式化与处理概念模型；而后着重研究开放环境分析建模技术、环境信息存储查询技术、环境上下文一致性维护技术、环境上下文应用性解释与服务等支撑技术；并在此基础上研究面向网构软件的环境显式化与处理支撑平台，为面向开放环境的网构软件系统提供开发和运行支持。. 本项研究旨在为网构软件这一新型软件方法与技术体系提供较为系统化的关键技术支撑，为软件产业的发展提供创新技术支持。

随着网络互联技术的发展，软件运行的环境逐渐由封闭变得开放。为此我们需要将对环境的感知和应变从应用逻辑中尽可能地分离出来予以显式地处理。本项目在深入分析开放环境分布异步特性的基础上，着重研究如何感知分布异步环境的状态及其变化，主要工作进展有：1）引入缓存机制改进环境数据分发的效率，并提出一种灵活的缓存一致性模型让应用能够在数据分发效率与数据一致性之间做出高效的权衡；2）引入偏序集与格理论和逻辑时钟机制以建模异步环境的全局状态及其变化；3）从瞬时环境特性感知和动态环境特性感知两个方面讨论环境特性的规约与检测；4）以移动普适计算场景为例，研究上述环境显式化建模与处理技术在上下文感知计算场景中的实用。上述工作为后续系统深入地进行环境显式化建模与处理方面的研究打下基础。