适用于动态软件体系结构的扩展的Z描述语言  

Extended Z description language for dynamic software architecture

作　　者：周绪川[1] 

机构地区：[1]西南民族大学计算机科学与技术学院

出　　处：《计算机应用研究》2012年第9期3338-3340,共3页Application Research of Computers

基　　金：西南民族大学中央高校基本科研业务费专项资金资助项目(11NZYBS09)

摘　　要：动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述。为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的。实例分析表明了这种扩展的可行性。Dynamic software architecture language has become an important tool which describes complex software architecture.However,many description languages are static and can’t describe the dynamic software architecture.So,this paper extended the classical Z description language that described dynamic evolution by means of components,connectors and their connection which added and deleted.Example analysis shows that the extended Z description language is feasible

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

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