论文部分内容阅读
提出了一个开放环境特性描述框架．该框架支持便捷地、形式化地描述异步环境的各种特性，包括那些既有技术不能处理的时序特性．该框架还引入了谓词检测技术，支持高效的环境特性感知机制的实现．开发了一个开放环境特性感知中间件平台，并通过详细的案例分析展示了如何基于所提出的环境特性描述框架与中间件平台，高效地感知环境特性，支持可信软件系统的构建．