开放环境特性感知技术  

Monitoring Properties of Open Environments

作　　者：黄宇[1,2] 余建平[1,2] 马晓星[1,2] 陶先平[1,2] 吕建[1,2] 

机构地区：[1]计算机软件新技术国家重点实验室(南京大学),江苏南京210093 [2]南京大学计算机软件研究所,江苏南京210093

出　　处：《软件学报》2011年第5期865-876,共12页Journal of Software

基　　金：国家自然科学基金(60903024;60736015;60721002);国家重点基础研究发展计划(973)(2009CB320702);江苏省攀登计划(BK2008017)

摘　　要：提出了一个开放环境特性描述框架.该框架支持便捷地、形式化地描述异步环境的各种特性,包括那些既有技术不能处理的时序特性.该框架还引入了谓词检测技术,支持高效的环境特性感知机制的实现.开发了一个开放环境特性感知中间件平台,并通过详细的案例分析展示了如何基于所提出的环境特性描述框架与中间件平台,高效地感知环境特性,支持可信软件系统的构建.This paper proposes a framework for the specification of open environment properties. This framework enables convenient and formal specification of properties of asynchronous environments, including temporal properties which cannot be handled in the existing work. This framework also supports implementation of effective schemes for monitoring environment properties based on distributed predicate detection. A middleware infrastructure is designed and implemented, which supports efficient monitoring of environment properties for building high-confidence systems in open environments. This paper also evaluates design of the proposed infrastructure with a case study.

关 键 词：谓词检测 环境特性 高可信软件 开放环境 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]