计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
3期
49-51
,共3页
面向方面编程%B语言%连接点%连接点集合%建议代码%方面
麵嚮方麵編程%B語言%連接點%連接點集閤%建議代碼%方麵
면향방면편정%B어언%련접점%련접점집합%건의대마%방면
借助传统编程语言的面向方面编程扩充--AspectJ/AspectC++的技术经验,提出形式化语言B的AOP扩充机制AspectB.分析了B语言针对AOP扩充在连接点范围及正确性验证方面的制约,提出连接点的范围必须限制在IMPLEMENTATION组件中,方面代码的正确性验证必须考虑连接点上下文所涉及的不变性条件.以一个简单图形编辑器为例,在B语言环境中描述面向方面编程的核心概念--连接点、连接点集合、建议代码、方面.
藉助傳統編程語言的麵嚮方麵編程擴充--AspectJ/AspectC++的技術經驗,提齣形式化語言B的AOP擴充機製AspectB.分析瞭B語言針對AOP擴充在連接點範圍及正確性驗證方麵的製約,提齣連接點的範圍必鬚限製在IMPLEMENTATION組件中,方麵代碼的正確性驗證必鬚攷慮連接點上下文所涉及的不變性條件.以一箇簡單圖形編輯器為例,在B語言環境中描述麵嚮方麵編程的覈心概唸--連接點、連接點集閤、建議代碼、方麵.
차조전통편정어언적면향방면편정확충--AspectJ/AspectC++적기술경험,제출형식화어언B적AOP확충궤제AspectB.분석료B어언침대AOP확충재련접점범위급정학성험증방면적제약,제출련접점적범위필수한제재IMPLEMENTATION조건중,방면대마적정학성험증필수고필련접점상하문소섭급적불변성조건.이일개간단도형편집기위례,재B어언배경중묘술면향방면편정적핵심개념--련접점、련접점집합、건의대마、방면.
