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

摘要： 已有的方面交互分析方法大多未考虑共享注入点的检测，从而影响了它们的实际应用。针对这一问题，基于面向方面软件体系结构描述语言AC2-ADL，提出了一种基于逻辑的软件体系结构层共享注入点检测方法。首先基于一阶逻辑，给出了软件体系结构层注入点和切点指示器（pointcut designator，PCD）的形式化描述方法。在此基础上，应用一阶逻辑公式的合一思想，提出了软件体系结构层共享注入点的相关定义及定理，并进一步设计出软件体系结构层共享注入点的检测算法。该研究成果可为在其他面向方面软件体系结构描述语言定义的体系结构中检测共享注入点提供借鉴和参考。

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