基于构件运算的可重构系统代数模型
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国家高技术研究发展计划(863)(2008AA01A323, 2009AA01A334); 国家重点基础研究发展计划(973)(2012CB315900); 国家科技支撑计划(2011BAH19B01)


Algebraic Model of Reconfigurable System Based on Component Operation
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    Abstract:

    Reconfigurable systems, composed by many components, can exhibit different function caused bycomponent combinations and alternations. This paper focuses on the lack of methodology used in describing formalmodel and reconfigurable attributes of the reconfigurable system. The paper also focuses on the abstracts anddescribes the attributes and the behaviors of reconfigurable system and the component combination andreconfigurable method by an algebraic method. By understanding the component combination of an operation that isa 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 reconfigurableattributes are analyzed and a few reconfigurable nomal formats are proposed. All above viewpoints construct thetheoretical footstone for designing reconfigurable system. Finally, a case study is introduced to explain how theabove algebraic model can be used.

    参考文献
    相似文献
    引证文献
引用本文

袁博,汪斌强.基于构件运算的可重构系统代数模型.软件学报,2012,23(10):2735-2745

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2010-12-12
  • 最后修改日期:2011-12-31
  • 录用日期:
  • 在线发布日期: 2012-09-30
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号