体系结构动态演化中的构件行为分析  

Analysis of component behaviors in dynamic architecture evolution

作　　者：黄崇德[1] 彭鑫[1] 赵文耘[1] 

机构地区：[1]复旦大学信息科学与工程学院软件工程实验室,上海200433

出　　处：《计算机工程与应用》2007年第10期87-92,共6页Computer Engineering and Applications

基　　金：国家自然科学基金(the National Natural Science Foundation of China under Grant No.60473061);国家高技术研究发展计划(863)(theNational High- Tech Research and Development Plan of China under Grant No.2005AA113120)

摘　　要：在体系结构演化的过程中,关闭运行时系统升级的代价增高和频繁改变的业务需求使得研究者考虑动态的软件升级机制.但在体系结构的动态升级过程中,由于构件风格、功能及交互方式等方面的差别,强制的构件升级会影响系统的稳定性和正确性。从构件行为的角度考虑,采用基于Wright的软件体系结构描述语言和通信顺序进程中对于进程的描述方法,描述构件行为并在构件替换之前分析原构件和新构件间的行为特性,在演化前确认构件的行为一致性,从而保证动态升级过程的正确性和合法性,以及提高系统演化的自适应性。With the requirements of continuous service in mission and safety critical software applications,shutdown and restart system during software upgrade are unacceptable.Dynamic update with foundation of runtime software evolution becomes a way to solve these problems.But as the variety of component style,ability,and communicating protocols,component substitute may encounter incompatibility.And force updating without adaptation may endanger the stability and correctness of current system.This paper focuses the behaviors of component,uses the architecture description language based on Wright,and uses the description method based on CSP,to describe the behaviors between components,to analyze the difference of behaviors before update.Be sure that the new component behaviors satisfy the system＇s requirements.And this mechanism ensures the correctness and security of dynamic update,and enhances the self-adaptability of system evolution.

关 键 词：软件体系结构 动态升级 构件行为 CSP WRIGHT 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]