软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2003年
4期
713-720
,共8页
软件体系结构%体系结构描述语言%时序逻辑语言XYZ/E%规范
軟件體繫結構%體繫結構描述語言%時序邏輯語言XYZ/E%規範
연건체계결구%체계결구묘술어언%시서라집어언XYZ/E%규범
体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格.
體繫結構描述語言(architecture description language,簡稱ADL)是基于體繫結構的軟件開髮的基礎,便于錶示求精的ADL,使得好的設計能夠方便地導齣好的實現.時序邏輯語言XYZ/E可在統一的邏輯框架下既錶示靜態語義又錶示動態語義,因而基于XYZ/E的體繫結構描述語言XYZ/ADL支持從高層級體繫結構到低層級體繫結構之間的逐步過渡.繫統地闡述瞭XYZ/ADL的概唸框架併用XYZ/E進行語義解釋,介紹瞭如何用XYZ/ADL描述體繫結構和體繫結構風格.
체계결구묘술어언(architecture description language,간칭ADL)시기우체계결구적연건개발적기출,편우표시구정적ADL,사득호적설계능구방편지도출호적실현.시서라집어언XYZ/E가재통일적라집광가하기표시정태어의우표시동태어의,인이기우XYZ/E적체계결구묘술어언XYZ/ADL지지종고층급체계결구도저층급체계결구지간적축보과도.계통지천술료XYZ/ADL적개념광가병용XYZ/E진행어의해석,개소료여하용XYZ/ADL묘술체계결구화체계결구풍격.