基于分布谓词检测的环境显式化建模与处理技术研究

In order to support the design and implementation of Internetware systems in open environments, this proposal studies the explicit modeling and processing of environment context. Predicate detection is introduced as the basic approach to environment context modeling and processing, and three key aspects are explored: modeling of environment state evolution, specification of temporal properties of environment, and detection of specified environment properties. Middleware infrastructure for explicit environment modeling and processing is also developed to support the development and operation of Internetware systems..This proposal inherits the basic research problem and technical approach of our last project. Based on the techniques developed in our last project, this proposal aims to develop a systematic framework of techniques for explicit modeling and processing of environment context.

为了支持面向开放环境的网构软件系统的构建，本项申请研究开放环境显式化建模与处理技术，引入了分布谓词检测技术作为基本技术手段，从环境状态及其变化建模、环境时序特性规约、环境特性运行时检测这三个方面展开深入地研究。并在此基础上研究环境显式化建模与处理支撑平台，为网构软件系统提供开发和运行支持。.本项申请在基本问题和技术路线方面，延续上一期青年基金的初步探索；同时在上一期项目取得单点技术突破的基础上，进一步研究如何形成一套系统化的分布异步环境感知方法；为环境感知应用的构建提供全面充分的支持。

随着网络互联技术的发展，软件运行环境逐渐由封闭、静态、可控变得开放、动态、难控。为此我们需要将对环境的感知和应变从应用逻辑中尽可能地分离出来予以显式的处理。开放环境固有其分布性，而现有的环境显式化建模与处理技术未能充分考虑环境的分布性。为此，本项研究以分布谓词检测为基本技术途径，系统研究如何显式化地建模与处理分布环境，在环境数据分发、环境变化建模、环境特性规约与检测、环境感知中间件与应用开发等方面取得了良好的进展。