| 基于动态体系结构的形式化描述 |
| |
| 引用本文： | 陈国彬,金鹏,赖敏.基于动态体系结构的形式化描述[J].成都大学学报(自然科学版),2009,28(4):326-328. |
| |
| 作者姓名： | 陈国彬 金鹏 赖敏 |
| |
| 作者单位： | 重庆师范大学,数学与计算机学院,重庆,400047 |
| |
| 摘 要： | 随着软件工程的发展,对软件的动态演化提出很高的要求,动态体系结构语言成为描述复杂软件体系结构重要工具.提出基于形式化语言Z的描述,通过Z体系对构件、连接件、配置进行定义,以达到动态演化的目的.
|
| 关 键 词： | 动态演化 动态体系 Z体系 |
Formal Specification Based on a Dynamic Architecture |
| |
| CHEN Guobin,JIN Peng,LAI Min.Formal Specification Based on a Dynamic Architecture[J].Journal of Chengdu University (Natural Science),2009,28(4):326-328. |
| |
| Authors: | CHEN Guobin JIN Peng LAI Min |
| |
| Institution: | CHEN Guobin,JIN Peng,LAI Min(School of Mathematics , Computer Science,Chongqing Normal University,Chongqing 400047,China) |
| |
| Abstract: | With the development of software engineering,software dynamic evolution requires higher demands and dynamic architecture specification language becomes an important tool.Based on the specification of the formal language Z,components,connectors and configuration were defined to meet dynamic evolution by Z architecture. |
| |
| Keywords: | dynamic evolution dynamic architecture Z |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
