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

摘要

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 ( LL4PCD) based on the syntax tree of AspectualACME. The formal description method for the PCD of AspectualACME is proposed on the basis of LL4PCD. 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虽引入了切点指示器PCD( Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述.针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LL4PCD(Logic Language for PCD).在此基础上提出了AspectualACME语言PCD的形式化描述方法.该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持.