摘要
随着软件工程的发展,对软件的动态演化提出很高的要求,动态体系结构语言成为描述复杂软件体系结构重要工具.提出基于形式化语言Z的描述,通过Z体系对构件、连接件、配置进行定义,以达到动态演化的目的.
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.
出处
《成都大学学报(自然科学版)》
2009年第4期326-328,共3页
Journal of Chengdu University(Natural Science Edition)
关键词
动态演化
动态体系
Z体系
dynamic evolution
dynamic architecture
Z