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