计算机科学与探索 ›› 2014, Vol. 8 ›› Issue (2): 234-248.DOI: 10.3778/j.issn.1673-9418.1308015
叶 鹏1,倪友聪2+,杜 欣2
YE Peng1, NI Youcong2+, DU Xin2
摘要: 已有的方面交互分析方法大多未考虑共享注入点的检测,从而影响了它们的实际应用。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL,提出了一种基于逻辑的软件体系结构层共享注入点检测方法。首先基于一阶逻辑,给出了软件体系结构层注入点和切点指示器(pointcut designator,PCD)的形式化描述方法。在此基础上,应用一阶逻辑公式的合一思想,提出了软件体系结构层共享注入点的相关定义及定理,并进一步设计出软件体系结构层共享注入点的检测算法。该研究成果可为在其他面向方面软件体系结构描述语言定义的体系结构中检测共享注入点提供借鉴和参考。