Java程序部分求值描述语言及其应用框架

摘要

部分求值技术是解决程序通用性和专用性之间矛盾的一种有效手段.根据程序的输入,自动判断输入的性质,提取出程序其中经常重复执行、并具有相同结果的部分,把通用程序转换成具备一定程度上的专用程序,从而缓解该矛盾.对于经过部分求值处理之后的Java程序,尽管在执行效率上得到了改善,并且计算结果与原始Java程序的计算结果完全一致,但程序之间的接口却发生了显著的改变.在部分求值处理过程中,需要向部分求值器传递原始程序的参数动静状态信息,以便部分求值器判断原始程序中每个变量和表达式的状态,并决定处理这些变量和表达式的方式.为了方便部分求值这种软件自动化技术的应用,该文提出了一种面向Java语言的部分求值的描述语言,以及应用模型,并实现了相应的应用框架自动生成系统.鉴于Java程序的多样性,JPESL描述语言必须能够描述部分求值器处理各种Java应用时所需的信息,以便部分求值器进行部分求值处 理.为此,除了提供描述通用信息的语法规则之外,JPESL描述语言还提供了描述RMI应用和Applet应用的语法规则.

目录

文摘

英文文摘

第一章绪论

1.1部分求值概述

1.2部分求值基本原理

1.3部分求值的分类

1.3.1在线例化和离线例化

1.3.2编译部分求值和运行部分求值

1.4国内外的研究现状

1.4.1 C-Mix

1.4.2Tempo

第二章系统概述

2.1简介

2.2概念解释

2.2.1部分求值

2.2.2数据例化

2.2.3数据例化和程序例化的结合：

2.2.4控制流图：

2.3系统总体结构设计

第三章：JPESL语言的设计

3.1.JPESL语言的设计背景

3.1.1描述接口信息

3.1.2描述处理方式信息

3.1.3参数动静状态信息

3.2 JPESL语言的设计

3.3详细程序设计

3.3.1 JPESL描述语言数据对象设计

3.3.2 JPESL描述语言的解析

3.4应用范例

3.4.1本地应用范例

3.4.2 RMI应用范例

3.4.3 Applet应用范例

第四章本地应用模型

4.1设计思想

4.2详细设计

4.2.1类打印模块设计

4.3应用范例

4.3.1原始Java程序

4.3.2对应的规格信息

4.3.3生成的框架代码

第五章RMI远程方法激活程序应用模型

5.1设计思想

5.1.1 RMI应用模型的工作原理

5.1.2 RMI应用框架设计思想

5.2详细设计

5.2.1接口类和封装类的代码生成模块

5.2.2 RMI代码编辑模块

第六章：Applet应用模型

6.1设计思想

6.1.1 Applet应用程序的工作原理

6.1.2 Applet应用框架设计思想

6.2详细设计

6.2.1应用框架类文件打印功能

6.2.2 HTML文件的解析和修改

6.2.3 Applet+HTML文件同保存静态计算结果文件之间的映射

6.2.4 RMI传递文件模块

结论

1.课题的研究内容

2.课题的特色

3.课题的价值

4.完成的工作

参考文献

致谢