零编码软件生产平台中可视化设计与跟踪技术的研究与实现

论文摘要

面向电子商务领域的可视化“零编码”软件生产平台Softproline V2.0，已经取得一定的成功。为进一步方便用户设计调试应用程序，解决系统无法支持利息计算及缺少有效跟踪调试手段的问题，有必要扩展Softproline，研究可视化跟踪技术。本文在研究Softproline基础上，以f语言为参考计算模型，结合软件生产实践，研究可视化设计与跟踪技术。本文基于程序设计语言f，提出了图形符号语言Lp、引擎语言Le的定义，在此基础上扩展了Lp、Le语言。对Lp语言，增加了数学公式运算语句、增强的条件转移语句、Web Services访问语句和外部服务访问语句。对Le语言，增加了算术运算语句、关系运算语句、逻辑运算语句、基本数学函数语句、Web Services访问语句、外部服务访问语句。并证明了扩展后的Lp与Le语言计算能力等价且等价于Turing机。扩展后的Lp与Le语言在计算能力上得到了增强。提出了Lp语句到Le语句的编译算法。对大部分Lp语句，根据本文定义的映射矩阵进行编译。对Lp语言的关系数据库操作语句和数学公式运算语句，分别提出了编译算法。在提出Le与Java语言关系的基础上，提出了Le语句到Java语句的变换。提出的编译算法已经成功地应用于Softproline V3.0项目之中。基于Lp语言的编译方法，提出了Lp语言级的可视化跟踪技术。提出了Softproline中跟踪信息的定义，并用(位置信息，异常信息)二元组表示跟踪信息。进一步定义了Lp、Le、Java程序中异常信息之间满足的变换公式。在此基础上，提出Java到Le及Le到Lp程序的跟踪信息变换方法。进一步提出异常在Lp的关系数据库操作语句的输入参数中发生范围的确定算法，以及异常在数学公式运算语句的输入参数中发生范围的确定算法。本文提出的可视化跟踪技术已成功地应用于Softproline V3.0项目之中。最后，结合几个应用实例说明本文研究成果的应用方法。

论文目录

• 摘要
• Abstract
• 第1章 绪论
• 1.1 引言
• 1.2 国内外零编码系统研究现状
• 1.3 零编码软件生产平台Softproline存在的问题
• 1.4 论文的研究目的和意义
• 1.5 论文的组织结构
• 第2章 零编码软件生产平台Softproline概述
• 2.1 相关背景介绍
• 2.1.1 需求工程
• 2.1.2 图形符号语言
• 2.1.3 Web Services
• 2.2 零编码软件生产平台Softproline简介
• 2.2.1 零编码软件生产平台Softproline特性
• 2.2.2 零编码软件生产平台Softproline特性的优点
• 2.3 本章小结
• 第3章 Lp与Le的形式化定义与扩展
• 3.1 图形符号语言Lp与引擎语言Le
• 3.1.1 图形符号语言Lp的形式化定义与扩展
• 3.1.2 引擎语言Le的形式化定义与扩展
• 3.1.3 图形符号语言与引擎语言之间的关系
• 3.2 引擎语言与Java语言的关系
• 3.3 本章小结
• 第4章 图形符号语言的编译
• 4.1 图形符号语言的宏指令
• 4.2 图形符号语言到引擎语言的编译
• 4.2.1 1:1的编译
• 4.2.2 1:n的编译
• 4.3 引擎语言到Java语言的变换
• 4.4 本章小结
• 第5章 Lp语言级的可视化跟踪技术
• 5.1 Java语言到引擎语言的跟踪信息变换
• 5.2 引擎语言到图形符号语言的跟踪信息变换
• 5.2.1 1:1的跟踪信息变换
• 5.2.2 n:1的跟踪信息变换
• 5.3 本章小结
• 第6章 Softproline可视化跟踪系统实现与应用
• 6.1 Softproline可视化跟踪系统实现
• 6.1.1 Softproline可视化跟踪系统组成
• 6.1.2 Le跟踪信息的生成
• 6.1.3 Le跟踪信息传递给开发版所采用的方式
• 6.1.4 Le跟踪信息到Lp跟踪信息的变换及可视化显示
• 6.2 Softproline的应用
• 6.3 本章小结
• 结论
• 参考文献
• 攻读硕士学位期间发表的论文
• 致谢