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

被引:3
作者
黄崇德
彭鑫
赵文耘
机构
[1] 复旦大学信息科学与工程学院软件工程实验室
关键词
软件体系结构; 动态升级; 构件行为; CSP; Wright;
D O I
暂无
中图分类号
TP311.52 [];
学科分类号
摘要
在体系结构演化的过程中,关闭运行时系统升级的代价增高和频繁改变的业务需求使得研究者考虑动态的软件升级机制.但在体系结构的动态升级过程中,由于构件风格、功能及交互方式等方面的差别,强制的构件升级会影响系统的稳定性和正确性。从构件行为的角度考虑,采用基于Wright的软件体系结构描述语言和通信顺序进程中对于进程的描述方法,描述构件行为并在构件替换之前分析原构件和新构件间的行为特性,在演化前确认构件的行为一致性,从而保证动态升级过程的正确性和合法性,以及提高系统演化的自适应性。
引用
收藏
页码:87 / 92
页数:6
相关论文
共 3 条
[1]   基于特征模型和构件语义的概念体系结构设计 [J].
彭鑫 ;
赵文耘 ;
刘奕明 .
软件学报, 2006, (06) :1307-1317
[2]   通用连接器模型及其形式化推导研究 [J].
许毅 ;
赵文耘 ;
彭鑫 ;
张志 .
南京大学学报(自然科学版), 2005, (05) :503-511
[3]   一种面向特征的领域模型及其建模过程 [J].
张伟 ;
梅宏 .
软件学报, 2003, (08) :1345-1356