关键词: 共享注入点, 方面交互, 面向方面软件体系结构描述语言, 面向方面软件体系结构

Abstract: Most of the existing approaches for aspect interaction analysis have not discussed how to detect shared join points. As a result, those approaches are weakened in practice. Aiming at this problem, this paper proposes a logic-
based approach for detecting shared join points at software architecture level based on an aspect-oriented architecture description language (AOADL) called AC2-ADL. Firstly, this paper presents a formal description method of the join point and the pointcut designator (PCD) at software architecture level in terms of the first-order logic. Furthermore, this paper gives the definitions and theorems about the shared join point at software architecture level based on the unification in the first-order logic. Finally, this paper designs the detection algorithm of the shared join point at software architecture level. The proposed approach can be regarded as a reference for detecting the shared join points in the software architecture described in the other AOADLs.

Key words: shared join point, aspect interaction, aspect-oriented architecture description language, aspect-oriented software architecture