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

作     者：倪友聪 叶鹏 杜欣 肖如良 张琳琳 NI You-cong;YE Peng;DU Xin;XIAO Ru-liang;ZHANG Lin-lin

作者机构：福建师范大学软件学院福州350108 武汉纺织大学数学与计算机学院武汉430073 新疆大学信息科学与工程学院乌鲁木齐830046 

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

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2012年第39卷第1期

页      码：124-129页

摘      要：软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件体系结构层方面的注入位置。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL的抽象语法树形式,设计了一种一阶逻辑语言LL4PCD(Logic Language for PCD)。在此基础上,提出AC2-ADL语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2012.01.028

馆 藏 号：203248618...