AspectualACME语言切点指示器的形式化描述方法  

FORMAL DESCRIPTION APPROACH FOR POINTCUT DESIGNATOR OF AspectualACME

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

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

出　　处：《计算机应用与软件》2011年第11期214-217,共4页Computer Applications and Software

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

摘　　要：面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述。针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LIAPCD(Logic Language forPCD)。在此基础上提出了AspectualACME语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。Though the grammar component of Pointcut designator （ PCD ） is introduced by AspectualACME, a kind of aspect-oriented software architecture description language, but the formal description of semantics of PCD has not been given yet. For this issue, in this paper we design a first-order logic language for PCD （LIAPCD） based on the abstract syntax tree of AspectualACME. The formal description method for the PCD of AspectualACME is proposed on the basis of LIAPCD. This method can precisely define the semantics of PCD at software architecture level, and provide support for the formal analysis of aspect weaving at software architecture level as well.

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

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