朱雪阳,唐稚松.基于时序逻辑的软件体系结构描述语言XYZ/ADL.软件学报,2003,14(4):713-720 |
基于时序逻辑的软件体系结构描述语言XYZ/ADL |
A Temporal Logic-Based Software Architecture Description Language XYZ/ADL |
投稿时间:2002-08-22 修订日期:2002-12-23 |
DOI: |
中文关键词: 软件体系结构 体系结构描述语言 时序逻辑语言XYZ/E 规范 |
英文关键词:software architecture architecture description language temporal logic language XYZ/E specification |
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60073020, 60273025 (国家自然科学基金); the National High-Tech Research and Development Program of China under Grant No.2001AA113200 (国家高技术研究发展计划(863)); the National Grand Fundamental Research 973 Program of China under Grant No.2002cb312200 (国家重点基础研究发展规划(973)) |
|
摘要点击次数: 3441 |
全文下载次数: 4518 |
中文摘要: |
体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格. |
英文摘要: |
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. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |