基于时序逻辑的软件体系结构描述语言XYZADL-CiteSeerX.PDFVIP

1000-9825/2003/14(04)0713 ©2003 Journal of Software 软 件 学 报 Vol.14, No.4 ∗ 基于时序逻辑的软件体系结构描述语言 XYZ/ADL + 朱雪阳 , 唐稚松 ( 中国科学院 软件研究所 计算机科学重点实验室,北京 100080) A Temporal Logic-Based Software Architecture Description Language XYZ/ADL + ZHU Xue-Yang , TANG Zhi-Song (Key Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China) + Corresponding author: Phn: 86-10 Fax: 86-10 E-mail: zxy@ Received 2002-08-22; Accepted 2002-12-23 Zhu XY, Tang ZS. A temporal logic-based software architecture description language XYZ/ADL. Journal of Software, 2003,14(4):713~720. Abstract: The architecture description language (ADL) is the foundation of software development based on software architecture. An ADL supporting stepwise refinement can make it more convenient that a good design leads to a good implementation. The architecture description language XYZ/ADL can support the stepwise transition from higher-level architectures to lower-level architectures, because it is based on the temporal logic language (TLL) XYZ/E, which can represent both dynamic semantics and static semantics under a unified logical framework. In this paper, the framework and syntax of XYZ/ADL is presented and its underlying semantics is explained using XYZ/E, and how to describe software architecture and software architecture style using XYZ/ADL is introduced. Key words: software architecture; architecture description language; temporal logic language XYZ/E; specification 摘 要: 体系结构描述语言(architecture description language, 简称ADL)是基于体系结构的软件开发的基础,便 于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E 可在统一的逻辑框架下既表 示静态语义又表示动态语义