摘要 | 第3-5页 |
Abstract | 第5-6页 |
1 绪论 | 第9-13页 |
1.1 研究背景及意义 | 第9-11页 |
1.2 论文主要工作与结构 | 第11-13页 |
1.2.1 论文主要工作 | 第11-12页 |
1.2.2 论文结构 | 第12-13页 |
2 Apla→Java程序自动生成系统简介 | 第13-19页 |
2.1 模型驱动软件开发体系MDA | 第13-14页 |
2.2 基于MDA体系的PAR方法及其支撑平台 | 第14-17页 |
2.2.1 PAR方法及其组成 | 第14-15页 |
2.2.2 PAR平台开发流程 | 第15-17页 |
2.2.3 PAR方法及其支撑平台特点 | 第17页 |
2.3 Apla→Java程序自动生成系统 | 第17-19页 |
3 Apla语言新技术相关机制以及形式化描述 | 第19-28页 |
3.1 Apla语言数据库相关操作介绍 | 第19-20页 |
3.2 Apla异常处理机制 | 第20-22页 |
3.2.1 Apla异常处理技术简述 | 第20-21页 |
3.2.2 Apla异常处理形式化及相关涉及语句 | 第21-22页 |
3.3 Apla事务处理机制 | 第22-26页 |
3.3.1 Apla事务处理技术简述 | 第22页 |
3.3.2 Apla事务处理(本地事务)形式化描述及相应涉及语句 | 第22-24页 |
3.3.3 Apla事务处理(分布式事务)形式化描述及涉及语句 | 第24-26页 |
3.4 Apla多媒体技术 | 第26-28页 |
3.4.1 Apla多媒体技术简述 | 第26页 |
3.4.2 Apla多媒体技术形式化描述 | 第26-28页 |
4 融入新技术的Apla→Java程序自动生成系统设计与实现 | 第28-58页 |
4.1 Java异常处理,事务处理,多媒体数据库技术 | 第28-32页 |
4.1.1 Java异常处理技术 | 第28-29页 |
4.1.2 Java事务处理技术(本地事务,分布式事务) | 第29-32页 |
4.1.3 Java多媒体数据库技术 | 第32页 |
4.2 总体设计 | 第32-34页 |
4.3 词法分析 | 第34-37页 |
4.3.1 Apla词法分析介绍 | 第34-35页 |
4.3.2 Apla词法分析的流程及定义 | 第35-36页 |
4.3.3 Apla数据库-词法分析模块 | 第36-37页 |
4.4 语法分析 | 第37-42页 |
4.4.1 Apla语法分析介绍 | 第37-38页 |
4.4.2 Apla数据库-语法分析模块 | 第38-41页 |
4.4.3 语法分析错误处理 | 第41-42页 |
4.5 Apla→Java核心转换模块设计 | 第42-49页 |
4.5.1 程序转换模块的总体结构 | 第42-43页 |
4.5.2 模块a:基本类型转换以及判断 | 第43-44页 |
4.5.3 模块b:表达式转换bds | 第44-45页 |
4.5.4 模块c:语句转换 | 第45-47页 |
4.5.5 模块d:程序转换 | 第47页 |
4.5.6 模块e:Source View.cpp界面显示数据部分 | 第47-48页 |
4.5.7 模块f:其他模块 | 第48-49页 |
4.6 支撑库Table.java类与Strulib库 | 第49-58页 |
4.6.1 数据库访问技术 | 第49-50页 |
4.6.2 Apla语言数据库访问技术 | 第50-51页 |
4.6.3 Table.java类的升级 | 第51-56页 |
4.6.4 Strulib库升级 | 第56-57页 |
4.6.5 部件库类Table以及strulib库的可靠性分析 | 第57-58页 |
5 融入新技术的Apla→Java自动生成系统运行效果及应用 | 第58-75页 |
5.1 新技术的Apla→Java程序自动生成简单介绍 | 第58页 |
5.2 系统的安装环境和运行设置环境 | 第58-59页 |
5.2.1 系统安装 | 第58-59页 |
5.2.2 运行环境设置 | 第59页 |
5.3 Apla→Java数据库程序转换实例 | 第59-75页 |
5.3.1 公交调度系统 | 第59-61页 |
5.3.2 银行转账系统(本地事务处理机制) | 第61-70页 |
5.3.3 银行转账系统(分布式事务处理机制) | 第70-75页 |
6 总结与展望 | 第75-76页 |
参考文献 | 第76-80页 |
致谢 | 第80-81页 |
在读期间公开发表论文(著)及科研情况 | 第81页 |