| 本文已被：浏览 5958次 下载 7612次 |
码上扫一扫！ |
|
|
| 开放环境特性感知技术 |
|
黄宇1,2, 余建平1,2, 马晓星1,2, 陶先平1,2, 吕建1,2
|
|
1.计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093;2.南京大学 计算机软件研究所,江苏 南京 210093
|
|
| 摘要: |
| 提出了一个开放环境特性描述框架.该框架支持便捷地、形式化地描述异步环境的各种特性,包括那些既有技术不能处理的时序特性.该框架还引入了谓词检测技术,支持高效的环境特性感知机制的实现.开发了一个开放环境特性感知中间件平台,并通过详细的案例分析展示了如何基于所提出的环境特性描述框架与中间件平台,高效地感知环境特性,支持可信软件系统的构建. |
| 关键词: 谓词检测 环境特性 高可信软件 开放环境 |
| DOI：10.3724/SP.J.1001.2011.03800 |
| 分类号: |
| 基金项目:国家自然科学基金(60903024, 60736015, 60721002); 国家重点基础研究发展计划(973)(2009CB320702); 江苏省攀登计划(BK2008017) |
|
| Monitoring Properties of Open Environments |
|
HUANG Yu1,2, YU Jian-Ping1,2, MA Xiao-Xing1,2, TAO Xian-Ping1,2, Lü Jian1,2
|
|
1.State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China;2.Institute of Computer Software, Nanjing University, Nanjing 210093, China
|
| 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. |
| Key words: predicate detection environment property high-confidence software open environment |
