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