面向网构软件的环境显式化技术-南京大学计算机科学与技术系.PDFVIP

中国科学 信息科学 年 第 卷 第 期 互联网计算的软件技术专刊· 论文 面向网构软件的环境显式化技术 ∗ 吕建 马晓星 陶先平 黄宇 余萍 许畅 南京大学计算机软件新技术国家重点实验室, 南京 210046 南京大学计算机软件研究所, 南京 210046 * 通信作者. E-mail: lj@ 收稿日期: 2012–08–23; 接受日期: 2012–11–09 国家重点基础研究发展计划(批准号: 2009CB320702) 和国家自然科学基金创新群体 (批准号: 资助项目 摘要 网构化软件处于开放、动态、难控的环境之中 需能感知并适应环境的变化 以持续提供用 户满意的服务 传统软件构造技术缺乏对环境感知和适应的系统支持 本文在前期工作基础上 提出 一种面向网构软件的软件结构 通过为软件系统配备先验的环境模型和环境规约来实现环境处理的 显式化 进而 介绍了我们使用这种方式来处理开放环境之分布异步性、感知信息的不一致性以及 环境中人类用户行为特性等的若干具体技术进展 而后 讨论了一种先验环境模型及环境规约的开 发方法原理 给出了相应的环境驱动逻辑的静态表达与运行实现机制 该方法和机制可较好地支持 环境处理与应用业务逻辑间的关注分离 关键词 网构软件 环境显式化 分布性 一致性 自适应 引言 当前越来越多的软件系统需工作于开放、动态、难控的互联网和物联网环境之中. 此类软件系统 应能感知外部环境的动态变化, 并随着这种变化按照功能指标、性能指标和可靠性指标等进行静态(离 线) 的调整和动态(在线) 的演化, 以使系统具有尽可能高的用户满意度 . 网构软件(Internetware) 是我国学者提出的一种面向开放网络环境的新型软件范型 (paradigm) 设想 ∼ . 与传统软件系统相 比, 网构化的软件系统更强调系统的自主性、协同性、适应性、演化性和可信性等开放环境所要求的 能力特征. 在前期的工作 中, 我们提出了一种以 “环境信息显式化、互动方式层次化、系统结构可演化” 为特征的面向网构软件的环境驱动模型, 并以环境上下文建模、管理与使用为核心, 研究了一系列相 关的关键支撑技术. 然而, 从软件工程的角度, 如何系统地支持环境的 “显式化”, 以及以何种方式在实 现系统行为自动适应当前环境情况的同时, 维持环境处理 机制与应用业务逻辑间的关注分离, 仍需 要进一步的研究. 在诸如结构化和面向对象这样的传统的软件开发方法中, 没有针对系统所处环境动态变化的专门 支持. 使用这些方法开发软件, 通常需要对系统运行时将要面对的环境做预先的约定, 而这些约定被 1) 本文讨论的是软件方法. 在软件的范畴内, 所处理的对象是信息 引用格式 吕建 马晓星 陶先平 等 面向网构软件的环境显式化技术 中国科学 信息科学 吕建等 面向网构软件的环境显式化技术 作为既定的前提假设, 在需求分析、架构设计和系统实现的各个环节被隐式地使用. 这种方式对于相 对稳定可控的环境下的系统是可行的, 但不利于实现网构化软件对开放环境的适应. 其原因在于, 若 要使用这些传统方法来应对变化的环境, 就只能将环境事件当作系统的输入的一部分. 这原则上要求 系统开发时完全事先确定其变化的范围, 这在开放环境下难以完全做到; 与此同时, 这种把环境当输 入的做法容易使得环境适应逻辑与系统的业务逻辑过度耦合纠缠, 导致不必要的系统复杂性, 也不利 于环境适应逻辑和应用业务逻辑各自的复用和演化. 目前已有一些工作注意到这个问题. 比如, 有学者提出了面向情境的编程方法 (context-oriented programming, COP) , 即设计一种新的语法, 将情境相关的行为包含到编程语言引入的新成分中, 如 ContextL 和 ContextJ . ContextL 和 Context