基于逻辑的软件体系结构共享注入点检测方法
Logic-Based Approach for Detecting Shared Join Points at Software Architecture Level
摘要
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 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.关键词
共享注入点/方面交互/面向方面软件体系结构描述语言/面向方面软件体系结构Key words
shared join point/aspect interaction/aspect-oriented architecture description language/aspect-oriented software architecture分类
信息技术与安全科学引用本文复制引用
叶鹏,倪友聪,杜欣..基于逻辑的软件体系结构共享注入点检测方法[J].计算机科学与探索,2014,(2):234-248,15.基金项目
The National Natural Science Foundation of China under Grant No.61305079(国家自然科学基金) （国家自然科学基金）
the Science Research Foundation of Department of Education of Hubei Province under Grant No. B20111607(湖北省教育厅科学技术研究项目) （湖北省教育厅科学技术研究项目）
the Natural Science Foundation of Fujian Province under Grant No.2012J01250(福建省自然科学基金) （福建省自然科学基金）
the Science Research Foundation of Depart-ment of Education of Fujian Province under Grant Nos. JA12077, JA12080(福建省教育厅科技项目) （福建省教育厅科技项目）
the Open Fund of State Key Laboratory of Software Engineering of Wuhan University under Grant No. SKLSE2012-09-28(武汉大学软件工程国家重点实验室开放基金) （武汉大学软件工程国家重点实验室开放基金）
the Preeminent Youth Training Project of Fujian Province under Grant No. JA12471(福建省高校杰出青年科研人才培育计划项目) （福建省高校杰出青年科研人才培育计划项目）
the Outstanding Young Teacher Training Fund of Fujian Normal University under Grant No. fjsdjk2012083(福建师范大学青年骨干教师培育计划) （福建师范大学青年骨干教师培育计划）
