借助传统编程语言的面向方面编程扩充——AspectJ/AspectC＋＋的技术经验，提出形式化语言B的AOP扩充机制AspectB。分析了B语言针对AOP扩......