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

计算机科学 ›› 2012, Vol. 39 ›› Issue (1): 124-129.

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

倪友聪叶鹏杜欣肖如良张琳琳

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

出版日期:2018-11-16 发布日期:2018-11-16

Formal Description Approach for Pointcut Designator at Software Architecture Level

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

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

Abstract: 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 clement 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 architccturc level.

Key words: Aspect oriented software architecture, Aspect oriented architecture description language, Aspect weaving,Pointcut designator

倪友聪叶鹏杜欣肖如良张琳琳. 软件体系结构层切点指示器的形式化描述方法[J]. 计算机科学, 2012, 39(1): 124-129. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed