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

摘要：

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

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

分类号：TP311(计算技术、计算机技术)

资助基金：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

在线出版日期：2014-02-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共15页

页码：234-248