基于时序逻辑的软件体系结构描述语言xyz/adl

体系结构描述语言(architecturedescriptionlanguage,简称adl)是基于体系结构的软件开发的基础,便于表示求精的adl,使得好的设计能够方便地导出好的实现.时序逻辑语言xyz/e可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于xyz/e的体系结构描述语言xyz/adl支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了xyz/adl的概念框架并用xyz/e进行语义解释,介绍了如何用xyz/adl描述体系结构和体系结构风格.