兰州理工大学学报
蘭州理工大學學報
란주리공대학학보
JOURNAL OF LANZHOU UNIVERSITY OF TECHNOLOGY
2013年
1期
88-91
,共4页
动态软件体系结构%Z描述语言%动态演化
動態軟件體繫結構%Z描述語言%動態縯化
동태연건체계결구%Z묘술어언%동태연화
针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后的描述规则、构件的描述、连接件的描述和配置的描述,并用一个实例表明这个扩展的可行性.
針對目前軟件體繫結構動態縯化描述方法的不足且許多描述語言都是靜態的,併不能對動態軟件體繫進行描述的問題,對經典Z描述語言進行擴展.該擴展的Z描述語言主要通過構件、連接件的添加及刪除來達到動態縯化的目的.具體給齣Z語言擴展後的描述規則、構件的描述、連接件的描述和配置的描述,併用一箇實例錶明這箇擴展的可行性.
침대목전연건체계결구동태연화묘술방법적불족차허다묘술어언도시정태적,병불능대동태연건체계진행묘술적문제,대경전Z묘술어언진행확전.해확전적Z묘술어언주요통과구건、련접건적첨가급산제래체도동태연화적목적.구체급출Z어언확전후적묘술규칙、구건적묘술、련접건적묘술화배치적묘술,병용일개실례표명저개확전적가행성.
