基于构件运算的可重构系统代数模型

摘要：

可重构系统是指一个系统由构件组成,随着构件被替换以及组合拓扑关系的变化,系统表现出不同的功能.针对可重构系统在形式化和重构建模方面的不足,用代数学方法对可重构构件、构件组合、可重构系统的属性和行为特征进行抽象,把构件组合定义成构件的“运算”实现,结合进程代数中算子的概念,定义了多种构件组合运算,建立了可重构系统的代数模型.在代数模型基础上,提出了重构建模和重构范式,为可重构系统提供理论支持,最后介绍了应用案例.

关键词：构件、构件组合、可重构系统、进程代数、重构建模

所属期刊栏目：23

分类号：TP311(计算技术、计算机技术)

资助基金：国家高技术研究发展计划8632008AA01A323,2009AA01A334;国家重点基础研究发展计划9732012CB315900;国家科技支撑计划2011BAH19B01

在线出版日期：2013-01-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：2735-2745