CAJ | 학술논문

已有的方面交互分析方法大多未考虑共享注入点的检测，从而影响了它们的实际应用。针对这一问题，基于面向方面软件体系结构描述语言AC2-ADL，提出了一种基于逻辑的软件体系结构层共享注入点检测方法。首先基于一阶逻辑，给出了软件体系结构层注入点和切点指示器（pointcut designator，PCD）的形式化描述方法。在此基础上，应用一阶逻辑公式的合一思想，提出了软件体系结构层共享注入点的相关定义及定理，并进一步设计出软件体系结构层共享注入点的检测算法。该研究成果可为在其他面向方面软件体系结构描述语言定义的体系结构中检测共享注入点提供借鉴和参考。
이유적방면교호분석방법대다미고필공향주입점적검측，종이영향료타문적실제응용。침대저일문제，기우면향방면연건체계결구묘술어언AC2-ADL，제출료일충기우라집적연건체계결구층공향주입점검측방법。수선기우일계라집，급출료연건체계결구층주입점화절점지시기（pointcut designator，PCD）적형식화묘술방법。재차기출상，응용일계라집공식적합일사상，제출료연건체계결구층공향주입점적상관정의급정리，병진일보설계출연건체계결구층공향주입점적검측산법。해연구성과가위재기타면향방면연건체계결구묘술어언정의적체계결구중검측공향주입점제공차감화삼고。
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 soft-ware 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.