软件体系结构在行为与结构演化中的一致性保持

软件体系结构在行为与结构演化中的一致性保持

郑睿, 金龙飞, 刘磊

吉林大学计算机科学与技术学院, 长春 130012

收稿日期:2006-07-04 修回日期:1900-01-01 出版日期:2007-07-26 发布日期:2007-07-26
通讯作者: 刘磊

Consistency Preservation in Behavior and Structure Evolution of Software Architecture

ZHENG Rui, JIN Longfei, LIU Lei

College of Computer Science and Technology, Jilin University, Changchun 130012, China

Received:2006-07-04 Revised:1900-01-01 Online:2007-07-26 Published:2007-07-26
Contact: LIU Lei

摘要/Abstract

摘要： 通过给出的体系结构模型, 分析了在体系结构演化中需要保持的一致性, 并提出一种基于规则转换的体系结构演化方法. 应用通信序列进程（CSP）作为形式化的描述手段, 在抽象层定义了体系结构在行为与结构演化中为保持一致性需满足的条件, 为每步转换规则进行了形式化约束, 使演化结束时的体系结构依然满足一致性条件.

关键词: 体系结构演化, 一致性, 通信序列进程

Abstract: An architecture model is provided in this paper. Consistencies required to be preserved in the architecture evolution are also discussed. A rulebased approach of architecture evolution is introduced. With communicating sequential processes as the formalization approach, condition as preserving consistencies is defined in behavior and structure evolution of architectu re at abstract layer. Formalization restriction of every rule is so defined that the condition of consistencies is still right at the end of evolution.

Key words: architecture evolution, consistency, communicating s equential processes

中图分类号:

TP311

郑睿, 金龙飞, 刘磊. 软件体系结构在行为与结构演化中的一致性保持[J]. J4, 2007, 45(04): 589-594.

ZHENG Rui, JIN Longfei, LIU Lei. Consistency Preservation in Behavior and Structure Evolution of Software Architecture[J]. J4, 2007, 45(04): 589-594.

[1]	冯宇轩, 欧阳丹彤. 基于分层任务网络的一致性规划方法[J]. J4, 2008, 46(03): 478-483.
[2]	齐红, 刘大有, 刘亚波, 崔广才. 一种基于GDT的缺省规则发现算法[J]. J4, 2004, 42(03): 397-401.