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

• 作者: 倪友聪 叶鹏 杜欣
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 共享注入点 方面交互 面向方面软件体系结构描述语言 面向方面软件体系结构
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 学术研究
• 页码范围: 234-248
• 页数: 15页
• 分类号: TP311
• 字数: 12377字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1308015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜欣	福建师范大学软件学院	24	71	4.0	7.0
2	倪友聪	福建师范大学软件学院	26	56	4.0	6.0
3	叶鹏	武汉纺织大学数学与计算机学院	11	18	3.0	3.0