学位论文 > 优秀研究生学位论文题录展示

Apla组合数据类型的Delphi实现

作　者: 康亮
导　师: 薛锦云
学　校: 江西师范大学
专　业: 计算机应用技术
关键词: 组合数据 PAR方法 Apla语言抽象数据
分类号: TP312.1
类　型: 硕士论文
年　份: 2008年
下　载: 18次
引　用: 0次
阅　读: 论文下载

内容摘要

薛锦云教授在国家863和多项国家自然科学基金的资助下,创造性地提出了一种形式化开发方法——PAR方法。就是用数学与逻辑的方法来描述和验证软件,而PAR方法描述的程序又是经过严格的推导、证明,所以保证了程序的正确性和可靠性。而且由于PAR方法和PAR自动转换系统实现有算法规约到抽象程序以及到可执行程序的自动转换,这样就部分实现了软件开发的自动化。其中Apla是一种抽象算法描述语言,它具有高度抽象、表达力强等特点。Apla语言把树、图、集合、序列等组合数据类型作为预定义类型,并且含有明显的语法机制支持泛型程序设计和用户自定义ADT类型。相反,Object Pascal中不能直接使用树、图、集合、序列等组合类型。如何在Delphi中很好的支持Apla的这些机制是本论文所要研究的重点和难点,Apla--Delphi自动程序转换系统的目标是使得所有正确的Apla程序都能通过转换器得到正确的Delphi程序,并且能运行得到正确结果。该转换器的源语言是Apla,目标语言是Delphi编译器所使用的Object Pascal。本文所做的研究是PAR方法的重要组成部分。也是国家自然科学基金课题《实用的软件形式化方法及其开发工具研究》的重要组成部分。本项研究的主要目标是进一步的完善自动转换器中的部件库的内容。正确地实现Apla语言中的组合数据类型在Delphi中的实现。针对上述研究目标,本论文主要进行了以下工作:分析比较现有的形式化方法及其配套工具,并以PAR方法作为本文研究的理论基础。研究Apla语言中的泛型程序设计机制转换为Delphi语言程序的方法。研究Apla-Delphi转换器,实现Apla中的组合数据类型到Delphi中的具体实现。完善Apla-Delphi自动程序转换系统。进一步的工作包括完善Apla--Delphi自动程序转换系统的转换机制;提高Apla-Delphi自动程序转换系统的可靠性;增加Apla转换实例,使产品的商品化程度提高,可以进一步产品化并应用到实际的软件开发中去以促进软件产业的快速发展。

全文目录

摘要  3-4
ABSTRACT  4-8
引言  8-10
1 软件形式化和PAR 方法  10-19
  1.1 软件形式化基础  10-11
  1.2 PAR 方法  11-12
    1.2.1 PAR 方法总体思想  11
    1.2.2 PAR 方法的组成  11-12
  1.3 实例应用  12-16
  1.4 其他的形式化方法及其支持工具  16-17
    1.4.1 Z 方法  16
    1.4.2 VDM 方法  16-17
    1.4.3 B 方法(J. R. Abrial)  17
  1.5 小结  17-19
2 DELPHI 中的类类型基础  19-29
  2.1 DELPHI 中类类型组成和属性  19
  2.2 DELPHI 中类类型组成  19-21
    2.2.1 类类型的声明  19-20
    2.2.2 类类型的字段  20
    2.2.3 类类型的方法  20-21
  2.3 DELPHI 中类类型组属性  21-24
    2.3.1 数据封装  21-23
    2.3.2 继承  23-24
  2.4 举例  24-29
3 自定义抽象数据类型ADT 的实现  29-36
  3.1 抽象数据类型概念  29-30
    3.1.1 抽象数据类型  29
    3.1.2 抽象数据类型的定义表示  29-30
  3.2 泛型程序设计基础  30-31
  3.3 自定义ADT 类型的实现  31-36
    3.3.1 Apla 语言泛型程序设计思想介绍  31
    3.3.2 自定义ADT 类型的具体实现方法  31-34
    3.3.3 小结  34-36
4 组合数据类型的实现  36-60
  4.1 组合数据类型的具体实现方法  36-37
    4.1.1 组合数据类型的实现思想  36
    4.1.2 组合数据类型的实现步骤  36-37
  4.2 APLA 语言组合数据类型在DELPHI 中的具体实现  37-60
    4.2.1 序列的顺序存储实现及链式存储实现  37-45
    4.2.2 集合的两种方式的实现  45-54
    4.2.3 树的实现  54-60
5 总结与展望  60-61
  5.1 总结  60
  5.2 展望  60-61
参考文献  61-63
攻读硕士学位期间发表的论文情况  63-64
致谢  64

相似论文

基于PAR平台的最弱前置谓词生成器的设计与实现,TP311.11
基于静态逆向分析的数据迷乱技术研究,TP393.01
PDA设备安全管理系统生成器的分析、设计和实现,TP311.52
Radl→Apla程序生成系统及其可靠性研究,TP311.52
Isabelle定理证明器的剖析及其在PAR方法/PAR平台中的应用,TP311.11
PDA安全管理软件的若干关键技术研究,TP311.52
关系代数→关系演算转换系统的研制,TP311.1
基于PSoC的陀螺组合测试技术的研究,V241.5
基于PAR方法下的组合数据类型的Delphi实现,TP311.11
基于骨架的Apla~+语言程序到MPI+C++并行程序的自动转换,TP311.11
循环不变式开发技术研究,TP311.52
APLA到C++自动程序转换系统的研制,TP311.5
APLA组合数据类型的C++实现,TP311.52
基于Linux操作系统下的数据结构的模板类库,TP311.13
Radl->Apla自动程序转换系统研究与实现,TP311.52
基于PAR方法的程序设计ICAI实验系统的研究与实现,TP311.11
程序设计智能教学软件PICAI的集成及应用研究,TP311.5
惯性步态测量系统的研究,TP274
PAR方法中关系数据库机制的描述与实现,TP311.138
Apla-VB.NET自动程序转换系统的设计与实现,TP311.11