软件体系结构层切点指示器的形式化描述方法 |
| |
引用本文: | 倪友聪,叶鹏,杜欣,肖如良,张琳琳.软件体系结构层切点指示器的形式化描述方法[J].计算机科学,2012,39(1):124-129. |
| |
作者姓名: | 倪友聪 叶鹏 杜欣 肖如良 张琳琳 |
| |
作者单位: | 1. 福建师范大学软件学院 福州350108 2. 武汉纺织大学数学与计算机学院 武汉430073 3. 新疆大学信息科学与工程学院 乌鲁木齐830046 |
| |
基金项目: | 福建省自然科学基金,福建省教育厅项目,湖北省教育厅科学技术研究项目,新疆维吾尔自治区高校科研计划青年教师科研培育基金,新疆大学博士毕业生科研启动基金 |
| |
摘 要: | 软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件体系结构层方面的注入位置。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL的抽象语法树形式,设计了一种一阶逻辑语言LL4PCD(Logic Language for PCD)。在此基础上,提出AC2-ADL语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。
|
关 键 词: | 面向方面软件体系结构 面向方面软件体系结构描述语言 方面编织 切点指示器 |
本文献已被 CNKI 万方数据 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|