国家自然科学基金(60673050)
- 作品数：6 被引量：20H指数：2
- 相关作者：周晓聪郑汉雄罗达周青云张文升更多>>
- 相关机构：中山大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 在AOP中使用标注改进日志功能的实现被引量：7
- 2008年
- 面向方面编程(AOP)可避免横切关注点对核心代码的不良影响,但AOP中的方法签名匹配模式难以精确表达系统中的横切点,使得在大中型系统中直接使用连接点匹配方式捕获某些横切点,同样会降低系统的可读性和模块化。该文以日志功能为例,研究如何使用标注来辅助AspectJ改进与日志功能相关的横切点定义,从而改善代码的可阅读性,提高程序的可维护性,并实现日志内容的可配置性。
- 郑汉雄郑汉英周晓聪
- 关键词：面向方面编程横切关注点日志
- 类型化π演算的双代数语义
- 2012年
- 证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴到基范畴的忘却函子有右伴函子,则最大共代数互模拟同余.但已有双代数理论建模类型化π演算存在以下困难:行为函子不保持弱回拉,进程互模拟与共代数互模拟不一致.为解决以上两个问题,用稠密拓扑导出布尔范畴作为语义范畴,令行为函子保持弱回拉;定义一类行为函子,使最大进程互模拟与最大共代数互模拟一致,而迟语义和早语义对应的行为函子属于该类函子.进而给出π演算最大进程互模拟同余的双代数模型,为进一步应用双代数框架对其他复杂演算建模奠定了理论基础.
- 黎永基李师贤周晓聪
- 关键词：共代数双代数Π演算互模拟
- 算法演示系统研究与应用被引量：9
- 2008年
- 软件可视化可分为程序可视化和算法可视化,算法演示(Algorithm Animation)是算法可视化中的动态方式。除了作为一种教学工具,算法演示也可以作为算法分析与设计的一种辅助手段。当前的算法演示系统一般包括算法实现、动画显示以及映射这三个部分。通过一些典型的算法演示系统介绍算法演示方面的主要技术,根据这些技术指出当前的算法演示系统中普遍存在的问题,即算法实现部分与动画显示部分的分离问题,并提出用面向方面技术予以解决的思想,最后对该领域研究的发展前景进行展望。
- 张文升周青云周晓聪
- 关键词：软件可视化
- 事件驱动算法演示技术的面向方面实现被引量：2
- 2008年
- 算法演示系统是利用图形和动画来表现算法的运行过程的系统。一直以来人们采用事件驱动技术进行算法演示系统的开发,但传统的实现方案容易导致代码混乱和分散,以及可重用性和可维护性低等缺点。提出使用面向方面技术开发算法演示系统的方案,与传统实现方案相比,基于面向方面技术的实现方案具有系统模块松散耦合、可重用性高等优点。
- 周晓聪郑汉雄罗达
- 关键词：AOP
- 安全协议验证的归纳方法与串空间形式化比较被引量：2
- 2008年
- 使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化,并比较了这两种安全协议验证法,证明两种方法形式化的正确性和攻击者能力是相同的.
- 乔海燕
- 关键词：安全协议验证串空间类型论
- 中介者模式的面向方面实现
- 2008年
- 中介者模式常被应用于多个对象需要交互的场合。使用传统的面向对象技术的实现方案容易导致代码分散,冗余代码多,可维护性低。使用面向方面技术实现中介者模式的方案,用方面来表达中介者对象,并把构建模式的同事对象所需要的代码也封装到方面中,对象的交互则使用切入点的定义与通知来实现。与传统实现方案相比,基于面向方面技术的实现方案具有代码集中、可读性强、可扩展性强等优点。
- 罗达张远舟周晓聪
- 关键词：面向对象AOP设计模式
