计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2012年
9期
3338-3340
,共3页
软件工程%动态演化%动态软件体系结构%Z语言描述
軟件工程%動態縯化%動態軟件體繫結構%Z語言描述
연건공정%동태연화%동태연건체계결구%Z어언묘술
动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述.为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的.实例分析表明了这种扩展的可行性.
動態軟件體繫結構語言已成為描述複雜軟件體繫結構的重要工具,然而許多描述語言都是靜態的,併不能對動態軟件體繫進行描述.為此,對經典Z描述語言進行擴展,主要通過對構件、連接件和它們的添加以及刪除來達到動態縯化的目的.實例分析錶明瞭這種擴展的可行性.
동태연건체계결구어언이성위묘술복잡연건체계결구적중요공구,연이허다묘술어언도시정태적,병불능대동태연건체계진행묘술.위차,대경전Z묘술어언진행확전,주요통과대구건、련접건화타문적첨가이급산제래체도동태연화적목적.실례분석표명료저충확전적가행성.
