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

Extensions of Formal Language B to Support Aspect-oriented Programming

作　　者：肖健宇[1] 张德运[2] 

机构地区：[1]湖南涉外经济学院计算机系,长沙410205 [2]西安交通大学电子与信息工程学院,西安710049

出　　处：《计算机工程》2006年第3期49-51,共3页Computer Engineering

基　　金：国家"863"计划基金资助项目(863-301-05-03)

摘　　要：借助传统编程语言的面向方面编程扩充――AspectJ/AspectC++的技术经验,提出形式化语言B的AOP扩充机制AspectB。分析了B语言针对AOP扩充在连接点范围及正确性验证方面的制约,提出连接点的范围必须限制在IMPLEMENTATION组件中,方面代码的正确性验证必须考虑连接点上下文所涉及的不变性条件。以一个简单图形编辑器为例,在B语言环境中描述面向方面编程的核心概念——连接点、连接点集合、建议代码、方面。This paper gives extensions of formal language B aided by the experience of AOP extensions of conventional language AspectJ and AspectC＋＋. Limits of selections of join points in B construct and constraints of verification of system are analyzed. It suggests that the scope of join points should be in IMPLEMENTATION components in B and the verification of aspect code should take the context of join points into consideration. The core concepts of AOP -- join point, pointcut, advice, and aspect -- are described here in the environment of B language.

关 键 词：面向方面编程 B语言 连接点 连接点集合 建议代码 方面 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]