形式化语言B的面向方面编程扩充

• 作者: 张德运 肖健宇
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 面向方面编程 B语言 连接点 连接点集合 建议代码 方面
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 49-51
• 页数: 3页
• 分类号: TP311
• 字数: 2646字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.03.018

摘要

借助传统编程语言的面向方面编程扩充--AspectJ/AspectC++的技术经验,提出形式化语言B的AOP扩充机制AspectB.分析了B语言针对AOP扩充在连接点范围及正确性验证方面的制约,提出连接点的范围必须限制在IMPLEMENTATION组件中,方面代码的正确性验证必须考虑连接点上下文所涉及的不变性条件.以一个简单图形编辑器为例,在B语言环境中描述面向方面编程的核心概念--连接点、连接点集合、建议代码、方面.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张德运	西安交通大学电子与信息工程学院	184	2190	23.0	37.0
2	肖健宇	湖南涉外经济学院计算机系	4	21	2.0	4.0