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