开放环境特性感知技术
Monitoring Properties of Open Environments作者机构：计算机软件新技术国家重点实验室(南京大学)江苏南京210093 南京大学计算机软件研究所江苏南京210093
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：2011年第22卷第5期
页 面：865-876页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金(60903024 60736015 60721002) 国家重点基础研究发展计划(973)(2009CB320702) 江苏省攀登计划(BK2008017)
摘 要：提出了一个开放环境特性描述框架.该框架支持便捷地、形式化地描述异步环境的各种特性,包括那些既有技术不能处理的时序特性.该框架还引入了谓词检测技术,支持高效的环境特性感知机制的实现.开发了一个开放环境特性感知中间件平台,并通过详细的案例分析展示了如何基于所提出的环境特性描述框架与中间件平台,高效地感知环境特性,支持可信软件系统的构建.
维普期刊数据库
同方期刊数据库