论文部分内容阅读
本论文系统地研究了因特网环境下的软件演化与动态性问题，重点是研究引入新的计算模型——Agent产生的一系列问题（包括基于Agent计算模型的软件演化、多Agent系统的建模与分析、多Agent系统的动态性），以及计算环境改变和引入新的需求产生的演化问题。首先，提出了一种适合多Agent系统的软件体系结构描述语言MA ADL。该语言以CSP为语义基础，分别从组件、Agent、组织、系统四个不同的层次规约和分析了多Agent系统的结构和行为。其次，从软件体系结构出发将多Agent系统的动态性定义在“Agent”、“角色”、“Agent在网络上的位置”、“Agent和其扮演的角色之间的通信链接”这四个不同的维度上。通过向这四个不同的维度分解系统，多Agent系统在时间轴上可以分为静止时间区段和动态改变时间区段。在这种方法学基础上，建立了MA ADL支持的多Agent系统的动态改变管理模型，并提出了动态改变模型中包含的一系列动态重配置算法。再其次，提出了基于Agent模型的动态重配置方法。这种方法将Agent之间的事务依赖关系定义在角色层次上，通过在面向Agent的建模和分析阶段的努力，可以将循环依赖和相互依赖化简为线性依赖关系。因此对于使用依赖事务的系统来说，目标结点达到静止状态的动态改变过程是按照角色相关的Agent的线性依赖关系确定的，并且是线性的。最后，基于C2 ADL和软件体系结构的类型理论，系统地研究了引入Agent模型产生的软件演化问题。讨论了“计算环境改变而导致的演化”的意义和原则。通过案例说明遗留系统1只有引入新的需求和调整底层的技术基础，才能适应新的环境。