%0 Journal Article
%T 基于构件运算的可重构系统代数模型
%A 袁博？
%A 汪斌强？
%J 软件学报
%P 2735-2745
%D 2012
%R 10.3724/SP.J.1001.2012.04170
%X 可重构系统是指一个系统由构件组成,随着构件被替换以及组合拓扑关系的变化,系统表现出不同的功能.针对可重构系统在形式化和重构建模方面的不足,用代数学方法对可重构构件、构件组合、可重构系统的属性和行为特征进行抽象,把构件组合定义成构件的“运算”实现,结合进程代数中算子的概念,定义了多种构件组合运算,建立了可重构系统的代数模型.在代数模型基础上,提出了重构建模和重构范式,为可重构系统提供理论支持,最后介绍了应用案例.
%K 构件
%K 构件组合
%K 可重构系统
%K 进程代数
%K 重构建模
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4170&flag=1