| 软件体系结构在行为与结构演化中的一致性保持 |
| |
| 引用本文： | 郑睿,金龙飞,刘磊.软件体系结构在行为与结构演化中的一致性保持[J].吉林大学学报(理学版),2007,45(4):589-594. |
| |
| 作者姓名： | 郑睿 金龙飞 刘磊 |
| |
| 作者单位： | 吉林大学,计算机科学与技术学院,长春,130012;吉林大学,计算机科学与技术学院,长春,130012;吉林大学,计算机科学与技术学院,长春,130012 |
| |
| 基金项目： | 国家自然科学基金
,
高等学校博士学科点专项科研项目
,
吉林省科技发展计划 |
| |
| 摘 要： | 通过给出的体系结构模型, 分析了在体系结构演化中需要保持的一致性, 并提出一种基于规则转换的体系结构演化方法. 应用通信序列进程（CSP）作为形式化的描述手段, 在抽象层定义了体系结构在行为与结构演化中为保持一致性需满足的条件, 为每步转换规则进行了形式化约束, 使演化结束时的体系结构依然满足一致性条件.
|
| 关 键 词： | 体系结构演化 一致性 通信序列进程 |
| 文章编号： | 1671-5489（2007）04-0589-06 |
| 收稿时间： | 2006-07-04 |
| 修稿时间： | 2006-07-04 |
Consistency Preservation in Behavior and Structure Evolution of Software Architecture |
| |
| ZHENG Rui,JIN Long-fei,LIU Lei.Consistency Preservation in Behavior and Structure Evolution of Software Architecture[J].Journal of Jilin University: Sci Ed,2007,45(4):589-594. |
| |
| Authors: | ZHENG Rui JIN Long-fei LIU Lei |
| |
| Institution: | College of Computer Science and Technology, Jilin University, Changchun 130012, China |
| |
| 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 architecture at abstract layer. Formalization restriction of every rule is so defined that the condition of consistencies is still right at the end of evolution. |
| |
| Keywords: | architecture evolution consistency communicating sequential processes |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 |
| 点击此处可从《吉林大学学报(理学版)》下载免费的PDF全文 |
|
