论文部分内容阅读
随着网络技术的持续发展,以及面向服务的计算、普适计算、网格计算等新计算范型的不断涌现,Internet逐步发展成为新一代软件运行环境。“网构软件”的概念也应运而生。相对于传统软件静态、封闭、相对稳定的单机运行环境而言,网构软件基于一个更加动态、开放、变化频繁的“真分布”运行环境。新的计算形态使得网构软件在构成实体、运行环境、开发方法等方面,具有明显区别于传统软件的基本特征。这组特征对软件理论、方法和技术都提出了新的要求。特别是在软件理论与模型方面,自适应行为是网构软件研究的重要方面,只有对组成网构软件的实体元素的自适应行为特征有清晰的认识、刻画和支持,才能为网构软件提供建模基础及开发范型。
目前已有的构件模型在描述集中封闭环境下开发的基于构件的软件系统的构件行为时有比较好的适用性,但缺乏对自适应行为的刻画。而在支持自适应行为的构件模型方面,已有工作对自适应行为的支持大多限定于某种特定的决策模型,缺少对Internet环境特征的系统分析与支持,因而,往往只适用于解决特定类型的问题;此外,在现有的支持自适应的构件模型研究项目中,缺少成熟的支撑平台和工具支持,从而影响了其方法体系在实际应用中的可行性。
本文将支持自适应行为的构件,称为自适应构件。本文首先分析了软件的自适应以及网构软件的基本特征,提出了一种自适应构件模型ACT。ACT构件模型通过分离构件的自适应行为的规约与计算逻辑的规约,使得构件能够采取多种决策机制实现自己的自适应行为,具有较好的通用性和扩展性。在此自适应构件模型的基础上,本文设计、实现了自适应构件的自适应行为支持模块、以及相应的图形化建模及部署支持工具,为自适应构件的开发以及运行提供了支持。