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

被引：5

作者：

袁博

汪斌强

机构：

[1] 国家数字交换系统工程技术研究中心

来源：

软件学报 | 2012年 / 23卷 / 10期

关键词：

构件; 构件组合; 可重构系统; 进程代数; 重构建模;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

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

引用

页码：2735 / 2745

页数：11

共 17 条

[1]

Dynamic input/output automata,a formal model for dynamic systems. Attie PC,Lynch NA. Proc.of the20th Annual ACM Symp.on Principles of Distributed Computing (PODC2001) . 2001

[2]

Component calculus. He JF,Liu ZM,Li XS. UNU/IIST Report,No.285 . 2003

[3] Synchronizations in team automata for groupware systems [J].

Maurice H. ter Beek ;

Clarence A. Ellis ;

Jetty Kleijn ;

Grzegorz Rozenberg .

Computer Supported Cooperative Work (CSCW), 2003, 12 (1) :21-69

[4] 自适应软件初探 [J].

王千祥 ;

申峻嵘 ;

梅宏 .

计算机科学, 2004, (10) :168-171+178

[5]

Dynamic Structure in Software Architectures. Magee J,Kramer J. Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering . 1996

[6] 软件工程技术发展思索 [J].

杨芙清 .

软件学报, 2005, (01) :1-7

[7]

Implementation working group summary. Tracz W. Reuse in Practice Workshop Summary . 1990

[8] 面向网构软件的环境驱动模型与支撑技术研究 [J].

吕建 ;

马晓星 ;

陶先平 ;

曹春 ;

黄宇 ;

余萍 .

中国科学(E辑:信息科学), 2008, (06) :864-900

[9]

Contract-Based component system design. Giese H. Proc.of the33rd Hawaii Int’’l Conf.on Systems Sciences . 2000

[10]

Extending CORBA interfaces with protocols. Canal C,Fuentes L,Pimentel E,Troya JM,Vallecillo A. Computer Journal . 2001

← 1 2 →