北京市教委科技发展计划(KM200710772005)
- 作品数：6 被引量：11H指数：2
- 相关作者：刘建宾王颖斯李建忠樊波更多>>
- 相关机构：北京信息科技大学韩山师范学院更多>>
- 发文基金：北京市教委科技发展计划北京市自然科学基金广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 基于JavaCC的JAVA程序模型逆向转换
- 2010年
- 针对软件的维护和更新问题,提出一种基于编译技术、以类图和过程蓝图作为抽象模型的Java程序模型逆向变换方法。从对逆向变换的核心思想——逆向变换规则和机制出发,提出了从Java源代码到UML类图和过程蓝图的逆向变化规则,并用数学的形式进行了精确的定义。针对面向对象语言Java设计了一个逆向变换支撑工具,应用编译技术动态分析了Java源代码,逆向转换生成UML类图和过程蓝图的可视化模型。
- 樊波刘建宾
- 关键词：JAVACCUML类图
- 一种重复代码检测技术的改进研究被引量：2
- 2009年
- 针对Kontogiannis重复代码度量方法不能区分IF条件语句与循环语句的控制流复杂性,且未对两个比较函数的返回类型进行判断时而产生错误匹配的问题,通过引入两个新的度量变量对其进行改进,结果表明,改进的度量公式能提高重复代码检测的准确性并减少匹配错误,为自动重构定位提供更有效的技术。
- 刘建宾李建忠
- 过程蓝图统一元模型语法被引量：2
- 2010年
- 为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法和良构规则进行了定义。结果为过程蓝图语言的结构、建模符号的语法与静态语义以及从内部统一结构到外部视图的导出方法提供规格说明,并为过程蓝图程序技术的研究与应用提供统一的形式框架。
- 刘建宾
- 关键词：抽象语法建模语言
- 过程蓝图程序表示模型与视图导出方法被引量：4
- 2009年
- 针对传统程序技术长期存在的表示分离、开发低效、质量欠佳、维护困难等问题,提出一种跨越分析、设计和构造阶段的多阶段程序过程表示模型。采用概念、逻辑和实现3层抽象视图、控制流和数据流二级映射的架构及视图导出方法,通过建立映射约束规则和对应关系,实现视图间的联系与统一,保证导出制品的一致性和有效性,使增量迭代、逐步求精的模型驱动设计过程规范化,有效提高程序生产率与可维护性。
- 刘建宾
- 关键词：建模语言
- 软件重构技术综述被引量：4
- 2009年
- 本文在介绍重构概念的基础上,对重构形式、重构操作、源码重构、重构工具、模型重构等方面的研究现状和发展方向、以及重构相关的技术及其关系进行论述,最后对有待解决的问题进行了讨论。
- 王颖斯刘建宾
- 基于过程蓝图的基本树变换操作研究
- 2009年
- 在过程蓝图工作已有的基础上,提出一些新的基本树变化操作,不变量和重构操作。这些工作更好地发挥了过程蓝图的树形结构优势,弥补了原有工作的不足,使过程蓝图的重构理论更加丰富。
- 王颖斯刘建宾
- 关键词：不变量
