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

摘要

可重构系统是指一个系统由构件组成,随着构件被替换以及组合拓扑关系的变化,系统表现出不同的功能.针对可重构系统在形式化和重构建模方面的不足,用代数学方法对可重构构件、构件组合、可重构系统的属性和行为特征进行抽象,把构件组合定义成构件的“运算”实现,结合进程代数中算子的概念,定义了多种构件组合运算,建立了可重构系统的代数模型.在代数模型基础上,提出了重构建模和重构范式,为可重构系统提供理论支持,最后介绍了应用案例.%Reconfigurable systems, composed by many components, can exhibit different function caused by component combinations and alternations. This paper focuses on the lack of methodology used in describing formal model and reconfigurable attributes of the reconfigurable system. The paper also focuses on the abstracts and describes the attributes and the behaviors of reconfigurable system and the component combination and reconfigurable method by an algebraic method. By understanding the component combination of an operation that is a new idea and extending the calculus in algebraic process, some component combination operators are defined. Next, a formal algebraic model of reconfigurable system is proposed. Based on this model, some reconfigurable attributes are analyzed and a few reconfigurable nomal formats are proposed. All above viewpoints construct the theoretical footstone for designing reconfigurable system. Finally, a case study is introduced to explain how the above algebraic model can be used.