论文部分内容阅读
面向电子商务领域的可视化“零编码”软件生产平台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项目之中。最后,结合几个应用实例说明本文研究成果的应用方法。