软件体系结构层切点指示器的形式化描述方法  

Formal Description Approach for Pointcut Designator at Software Architecture Level

作　　者：倪友聪[1] 叶鹏[2] 杜欣[1] 肖如良[1] 张琳琳[3] 

机构地区：[1]福建师范大学软件学院,福州350108 [2]武汉纺织大学数学与计算机学院,武汉430073 [3]新疆大学信息科学与工程学院,乌鲁木齐830046

出　　处：《计算机科学》2012年第1期124-129,共6页Computer Science

基　　金：福建省自然科学基金项目(2011J05146);福建省教育厅项目(JB11029);湖北省教育厅科学技术研究项目(B20111607);新疆维吾尔自治区高校科研计划青年教师科研培育基金(XJEDU2009S15);新疆大学博士毕业生科研启动基金项目(BS090142)资助

摘　　要：软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件体系结构层方面的注入位置。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL的抽象语法树形式,设计了一种一阶逻辑语言LL4PCD(Logic Language for PCD)。在此基础上,提出AC2-ADL语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。Pointcut designator（PCD） at software architecture level is a foundation of realizing quantification mechanism and describing aspect weaving in aspect-oriented software architecture.Some Aspect-Oriented Architecture Description Languages（AOADLs） introduce syntax element of PCD,but formal description for semantic of PCD is not given.So it is difficult to accurately describe the injection location at software architecture level.For this problem,this paper proposed a first-order Logic Language for PCD（LL4PCD） based on Abstract syntax tree form of AC2-ADL which is a kind of AOADL.Further formal description method for the PCD in AC2-ADL language was proposed on basis of LL4PCD.This method can precisely define the semantic of PCD and support the formal analysis of aspect weaving at software architecture level.

关 键 词：面向方面软件体系结构 面向方面软件体系结构描述语言 方面编织 切点指示器 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]