霍英东基金(94030)
- 作品数：2 被引量：7H指数：2
- 相关作者：吴明晖应晶蒋涛方敏吕嘉更多>>
- 相关机构：浙江大学更多>>
- 发文基金：霍英东基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于模板工程的软件开发自动化框架研究被引量：5
- 2007年
- 为了使得软件开发人员对于特定领域问题的成熟解决方案得以固化并复用,提出了一套完整的软件开发自动化框架Xauto.Xauto包含层语言、模板、框架和构件4项核心要素,在对软件开发自动化本质的深入分析基础上,基于软件系统无处不在的模式,引入模板工程的概念,通过模板工程和层语言的映射转化来支持和实现自动化开发流程.描述了Xauto框架在模型、视图和控制器3个方面的映射模式,并结合了具体模板实例加以说明.结果表明,Xauto框架的运用使得软件开发方式从个体作坊转变为模板工程,这个转变显著提升了软件开发的自动化程度,提高了软件生产率.
- 方敏应晶吴明晖蒋涛
- 关键词：软件开发自动化代码生成
- 横切侵入性和横切不变性被引量：2
- 2008年
- 由于面向方面语言的不知觉性和多量化特点,模块分析和模块推理比传统方法学更加困难.为了解决面向方面语言的横切安全和横切质量问题,使用前提条件和后验条件约束横切模块和被横切模块,然而在横切过程中寻找前提条件和后验条件的失败原因十分微妙和复杂.为了分析一个横切关注点的行为影响,程序员需要考虑方面本身和这个方面影响的系统其他部分.当几个方面编织在同一个切入点,危险干扰分析变得更加复杂.类似面向对象语言中的行为子类型概念,引入横切不变性概念.为了检查由于破坏横切不变性引起的行为错误和其他4种简单行为错误,基于软件行为契约提出一个横切不变性检测算法.为了形式化这个算法,提出Crosscutting Contract演算和一组契约求解规则,并通过定义和证明契约完备性来保证契约求解过程的正确性.还使用一个例子说明如何使用这些契约求解规则检测和分析行为错误.
- 吕嘉应晶吴明晖蒋涛
