Journal of Software:2011.22(5):865-876

(计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093;南京大学 计算机软件研究所,江苏 南京 210093)
Monitoring Properties of Open Environments
HUANG Yu,YU Jian-Ping,MA Xiao-Xing,TAO Xian-Ping,Lü Jian
(State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China; Institute of Computer Software, Nanjing University, Nanjing 210093, China)
Chart / table
Similar Articles
Article :Browse 3835   Download 3399
Received:June 15, 2009    Revised:December 07, 2009
> 中文摘要: 提出了一个开放环境特性描述框架.该框架支持便捷地、形式化地描述异步环境的各种特性,包括那些既有技术不能处理的时序特性.该框架还引入了谓词检测技术,支持高效的环境特性感知机制的实现.开发了一个开放环境特性感知中间件平台,并通过详细的案例分析展示了如何基于所提出的环境特性描述框架与中间件平台,高效地感知环境特性,支持可信软件系统的构建.
Abstract: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.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(60903024, 60736015, 60721002); 国家重点基础研究发展计划(973)(2009CB320702); 江苏省攀登计划(BK2008017) 国家自然科学基金(60903024, 60736015, 60721002); 国家重点基础研究发展计划(973)(2009CB320702); 江苏省攀登计划(BK2008017)
Foundation items:
Reference text:


HUANG Yu,YU Jian-Ping,MA Xiao-Xing,TAO Xian-Ping,Lü Jian.Monitoring Properties of Open Environments.Journal of Software,2011,22(5):865-876