软件体系结构动态演化的Z描述语言扩展方法  

Extension method of Z descriptive language for dynamic software architecture

作　　者：段玉春[1] 朱小艳[2] 

机构地区：[1]河南大学计算中心,河南开封475001 [2]河南大学软件学院,河南开封475001

出　　处：《兰州理工大学学报》2013年第1期88-91,共4页Journal of Lanzhou University of Technology

基　　金：河南省科技攻关计划项目(082102240038)

摘　　要：针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后的描述规则、构件的描述、连接件的描述和配置的描述,并用一个实例表明这个扩展的可行性.In view of the shortcomings of dynamic evolution description method of current software architecture,and the static feature of many descriptive languages which cannot be used to describe dynamic software architecture,the classic Z descriptive language was extended.The extended Z descriptive language could be used to describe dynamic evolution by means of addition or deletion of components and connectors in the software architecture.After the extension of Z descriptive language,the description rules,component description,connector description and configuration description were given in the concrete.The feasibility of such extension was shown by an actual example.

关 键 词：动态软件体系结构 Z描述语言 动态演化 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]