-
题名基于构件运算的可重构系统代数模型
被引量：5
- 1
-
-
作者
袁博
汪斌强
-
机构
r国家数字交换系统工程技术研究中心
-
出处
《软件学报》
EI
CSCD
北大核心
2012年第10期2735-2745,共11页
-
基金
国家高技术研究发展计划(863)(2008AA01A323,2009AA01A334)
国家重点基础研究发展计划(973)(2012CB315900)
国家科技支撑计划(2011BAH19B01)
-
文摘
可重构系统是指一个系统由构件组成,随着构件被替换以及组合拓扑关系的变化,系统表现出不同的功能.针对可重构系统在形式化和重构建模方面的不足,用代数学方法对可重构构件、构件组合、可重构系统的属性和行为特征进行抽象,把构件组合定义成构件的"运算"实现,结合进程代数中算子的概念,定义了多种构件组合运算,建立了可重构系统的代数模型.在代数模型基础上,提出了重构建模和重构范式,为可重构系统提供理论支持,最后介绍了应用案例.
-
关键词
构件
构件组合
可重构系统
进程代数
重构建模
-
Keywords
component
component combination
reconfigurable system
process algebraic
reconfiguration modeling
-
分类号
TP332.1
[自动化与计算机技术—计算机系统结构]
-
