论文部分内容阅读
在体系结构演化的过程中，关闭运行时系统升级的代价增高和频繁改变的业务需求使得研究者考虑动态的软件升级机制．但在体系结构的动态升级过程中，由于构件风格、功能及交互方式等方面的差别，强制的构件升级会影响系统的稳定性和正确性。从构件行为的角度考虑，采用基于Wright的软件体系结构描述语言和通信顺序进程中对于进程的描述方法，描述构件行为并在构件替换之前分析原构件和新构件间的行为特性，在演化前确认构件的行为一致性，从而保证动态升级过程的正确性和合法性，以及提高系统演化的自适应性。