关键词: 软件体系结构，软件体系描述语言，时序逻辑，面向方面体系结构描述语言

Abstract: There always exist some crosscutting behaviors and features in software architecture design based on traditional architectural description language, which tangle and scatter in different design elements of software architecture,leading to the difficulties in comprehension, evolution and reusability of software architectural design decisions. Aiming to these problems, under a unified temporal logic framework, an Aspect Oriented Architectural Description Language (AC2-ADL)was proposed based on the temporal logic language XYZ/E. The framework and syntax of AC2-ADL were presented and its semantics was explained using XYZ/E. Furthermore, how AC2-ADL can be used for specifying aspect oriented software architectures was illustrated through case study.

Key words: Software architecture (SA)，Software architecture description language (ADL)，Temporal logic, Aspect oriented software architecture description language (AO-ADL)