基于逻辑的软件体系结构共享注入点检测方法  

Logic-Based Approach for Detecting Shared Join Points at Software Architecture Level

作　　者：叶鹏[1] 倪友聪[2] 杜欣[2] 

机构地区：[1]武汉纺织大学数学与计算机学院,武汉430073 [2]福建师范大学软件学院,福州350108

出　　处：《计算机科学与探索》2014年第2期234-248,共15页Journal of Frontiers of Computer Science and Technology

基　　金：国家自然科学基金 Grant No.61305079;湖北省教育厅科学技术研究项目 Grant No.B20111607;福建省自然科学基金 Grant No.2012J01250;福建省教育厅科技项目 Grant Nos.JA12077;JA12080;武汉大学软件工程国家重点实验室开放基金 Grant No.SKLSE2012-09-28;福建省高校杰出青年科研人才培育计划项目 Grant No.JA12471;福建师范大学青年骨干教师培育计划 Grant No.fjsdjk2012083~~

摘　　要：已有的方面交互分析方法大多未考虑共享注入点的检测,从而影响了它们的实际应用。针对这一问题,基于面向方面软件体系结构描述语言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.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]