AspectualACME语言切点指示器的形式化描述方法OA北大核心CSCDCSTPCD
FORMAL DESCRIPTION APPROACH FOR POINTCUT DESIGNATOR OF AspectualACME
面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD( Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述.针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LL4PCD(Logic Language for PCD).在此基础上提出了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 ( 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 m…查看全部>>
倪友聪;叶鹏;杜欣;肖如良;张琳琳
福建师范大学软件学院 福建福州350108武汉纺织大学数学与计算机学院 湖北武汉430073福建师范大学软件学院 福建福州350108福建师范大学软件学院 福建福州350108新疆大学信息科学与工程学院 新疆乌鲁木齐830046
信息技术与安全科学
面向方面软件体系结构描述语言AspectualACME方面编织切点指示器
Aspect-oriented software architecture description language (AOADL) AspectualACME Aspect weaving Pointcut designator
《计算机应用与软件》 2011 (11)
214-217,4
2011中国计算机大会论文.福建省自然科学基金项目(2011J05146)湖北省教育厅科学技术研究项目(B20111607)新疆维吾尔自治区高校科研计划青年教师科研培育基金(XJEDU2009S15)新疆大学博士毕业生科研启动基金项目(BS090142).
评论