Ada语言的发展

Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada 83,Ada 95,Ada 2005,Ada 2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析。     

论ADA的设计

1 引论Ada 程序设计语言是按照美国国防部发布的一套关于钢人要求的规范说明设计的。这些规范说明所规定的应用领域是“嵌入式计算机系统”的应用领域。由于这类系统的要求,所以钢人报告非常强调语言的可靠性和可维护性特色。Ada 的另一值得注意的方面是:它曾经是在人们可以期望软件研制日益分工,且软件系统可以由独立生产的软部件汇集而成时设计的。分工生产软部件的想法已在十多年前由 M.D.Mcllroy 在 Garmisch 召开的北大     

从软件工程看Ada程序设计语言

Ada语言是一种新的现代高级程序设计语言,它代表了现代高级程序设计语言的发展水平。本文从软件工程的角度分析了Ada语言所具有的主要特征和这些特征对软件工程的支持及贡献。目的在于更深入地认识Ada语言及其作用,促进在软件工程领域中更好地开发应用Ada语言。     

基于网语言的Ada程序局部性质的分析和验证

旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.     

Ada程序设计环境的中间语言DIANA

DIANA是Ada编程环境中用来描述Ada程序的一种中间语言,它已被许多Ada环境所采用。本文介绍了DIANA的形成过程和设计原则,阐述了它的作用、意义和基本特征。同时,通过例子说明怎样用DIANA反映Ada的各种语言特征。     

Ada编译中若干问题

Ada是由Jean D.Ichbiah等人代表美国国防部设计的一个新的系统程序设计语言,我们提出了Ada编译程序的一种结构,它分为(不依赖于机器的)前端部分与依赖于机器的后端部分。文章讨论了解决前端设计某些问题的若干方法。最后简要地介绍了中间语言DIANA,它是专门为表示Ada程序的中间形式而设计的。     

Ada语言并发机制的设计与实现

Ada语言并发机制是Ada语言区别于其他高级程序设计语言的主要特征之一。本文介绍了Ada语言并发机制的一种实现方法及其符合我们环境要求的实现策略;此外,还就如何编译含并发语句成份的Ada程序作了介绍。     

时序Ada网的语言性质

在Ada网的基础上，利用时序Petri网为Ada任务程序建模，提出了时序Ada网的概念，利用时序Ada网，可以很好地反映Ada程序的公平性和原子性要求及描述程序的需求，规范，对时序Ada网的语言性质进行分析，结论表明时序Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系，有助于对程序性质的分析和验证。     

Ada语言概述

Ada是以Ada Lovelace(十九世纪计算机先驱,C.Babbage的同事,Lord Byron的女儿)命名的一种新的程序设计语言,是由Jean Ichbian领导的以巴黎为基地的设计组设计的,设计组成员有Bernd Krieg-Bruechnet、Brian A.Wichman、Henry F.Ledgard、Jean-Claude Heliard、Jean-Raymond Abrial、John G.P.Barnes和Olivier Roubine等人。国外对Ada语言有不同的评价。有的说它代表了软件工程技术的最新水平,理由是它克服了PASCAL的许多局限性;而且说它有两大贡献,一是实现了程序设计抽象化,使用的全是抽象的数据类型。二是通过使用多任务和保护命令而实现了实时并行处理。当然也有不同的看法,如认为它是穿新鞋走老路,太独出心裁了以及需要很大的编译程序和优越的运行环境。今后发展前景如何,还得拭目以待。本文是1979年12月由Prentice-Hall出版的《Programming with ADA:Anintroduction by means of graduated examples》一书的第一章,目的是为那些具有Fortran这样的高级语言程序设计经验的程序员提供Ada的概述。全文分三部分:1—6节阐明Ada语言的“经典”特征,这些与PASCAL那样的语言已有的特征有密切关系。7—12节描述“新的”语言特征,这些有助于模块化和并行程序设计。13—18节描述程序结构和编译问题,这些对于理解怎样组装大程序是必需的。     

Ada-S系统的设计与实现

Ada语言是一个新的通用程序语言。它的诞生对于软件工程、软件生产以及软件开发环境的影响是不可低估的。Ada语言及其程序设计支持环境,集当今软件技术之大成,代表了国际上八十年代程序设计语言与软件工程支持环境的发展趋向。由于强大的用户团体的支持,Ada语言必将成为八十年代最重要的程序     

Ada语言可重用性技术方法研究

Ada属于一种强类型通用程序设计语言,它比较适用于大型的复杂软件系统,尤其是实时和嵌入式系统。现在我国很多卫星型号软件都采用Ada语言进行开发。由于卫星使用的芯片代码区容量有限,为了实现更多的功能,提高卫星的使用率,对于代码的复用显得尤为重要。研究Ada语言的可重用性技术方法很有必要,通过对Ada语言重用性技术方法研究以及其实际应用介绍,能够更好的帮助软件开发人员以尽量少的代码来实现尽量多功能。     

译者后记

<正> Ada语言集中了卅年程序设计语言研究发展成果之大成,其重要性是无容置疑的。并发程序设计是Ada语言孜孜以求的目标之一,也是最有意义的功能之一。通过对Ada并发程序设计的学习和了解,对于掌握当代的软件新技术是会大有裨益的。 Ada语言和并发程序设计对我来说至今仍只是在学习和了解之中,原著中的有些词又较难译成恰当的中文,国内译名也不尽统一。为此,本书初译后特请李赣生同志作了认真、细致的校     

分布式Ada语言系统的实现

基于Ada 95参考手册附录E“分布式系统”中的思想,提出了实现分布式Ada语言系统的一些概念和设计思想,并给出了实现分区通信子系统的具体方案.在此基础上,通过一些前置处理,并利用已实现的分区通信子系统的接口,实现了分布式Ada语言系统.最后通过一个实例,具体介绍了分布式Ada语言系统的程序设计方法.     

通过Ada语言实现的动态进程通讯

Ada是一种比较大而且比较新的语言,也是一种很有前途的语言。它的功能很强。本文介绍了如何用Ada语言来实现动态进程之间的通讯,也简单地介绍了Intel iAPX432计算机结构的某些特点。该通讯程序已成功地运行在Intel iAPX432机器以及imax操作系统上。     

支撑程序包用户指南专辑 前言

<正> Ada是一种用于大型和实时嵌入式系统的设计和实现的高级语言。Ada的特点之一是其可扩充性。这不仅体现于APSE的开放式,也体现予Ada语言本身。Ada本身只定义了必需的数据结构和控制结构以及有限的高级I/O,更多的设施都可以Ada程序包的形式进行实现所允许的扩充。Ada的分别编译、库单元和程序包机制保证这种扩充可以为所有的Ada用户共享。     

面向对象程序设计方法学与Ada

本文从现行功能性程序设计方法学的局限性论及面向对象程序设计方法学的实质,以及用该方法学进行程序设计的步骤,并有用Ada语言按此规范作设计的实例。面向对象程序设计方法学是现行功能性程序设计方法学的延伸和发展。用这这种规范开发的软件不仅适应并发、实时应用的要求,而且易于满足软件工程的规范。 Ada虽不是面向对象程序设计语言,但它的数据抽象和封装机制很适合于这种规范。从而,将面向对象程序设计方法学用于Ada程序设计,可以形成良好的程序设计风格。实际上,已经形成了Ada程序设计方法学。     

VAX／VMS Ada异常的实现方法

程序单元的运行可能会遇到程序无法正常运行下去的出错(或例外)情况。在Ada语言中引入了异常机制,以处理程序运行中出现的这些错误或例外情况。异常机制是Ada语言程序运行期间处理异常的方法和手段,是Ada语言的一个重要特点,也是实时程序设计所要求的重要设施。本文主要讨论Ada异常机制的语义、以及VAX/VMS Ada实现这一机制使用的数据结构和实现方法。     

Ada并发程序设计

<正> 该书1984年出版,作者系美国贝尔实验室的Narain Gehani。该书从公认的第一个提供高级通用并发程序设计设施的Ada语言着手,全面地介绍了Ada语言中的并发程序设计设施,以及如何有效利用这些设施编写并发程序;概述了在其它语言的并发程序设计设施;讨论了并发程序设计中的一些细节问题;书末还附录了Ada顺序程序设计的概要。目前,各种大小的并行计算机及操作系统都已相继问世并投入实际使用。并行处理将是今后几年计算机工程和应用的发展方向之一,也是新一代计算机的核心技术之一。但是如果缺乏高度并行的程序设计语言和方法,将会给广泛的应用带来很大障碍,这已引起计算机各     

Ada与图形核心系统

图形核心系统(GKS)是一种通用的、独立于设备的二维图形系统。由国际标准化组织(ISO)[ISO 1982]和美国标准化协会(ANSI)主持的该系统的标准化工作,现在已进入了最后阶段。每一项GKS标准化工作都与程序设计语言的联编(binding)有关。它为GKS的实现提供了特定语言的标准化接口。当前在该项标准化工作的建议草案中,把Ada语言联编到ANSI GKS[ANSI 1985]。本文介绍产生联编到ANSI GKS的Ada语言和用Ada实现GKS(GKS/Ada)的研究工作。这与建议的Ada语言联编的草案要求相一致。这将是第一个展示标准化的Ada图形能力的系统。     

Pascal与Ada的比较

这是一篇比较二种语言的文章,在风格上与别的比较文章有所不同。它没有就语言各个特性分别进行比较,而是存在本质上指出了两者的异同,提出了作者自己的看法,其见解有独到之处。文中指出:虽然 Ada 以 Pascal 为基础,但它有很不相同的设计目标。Pascal 为教学设计,而 Ada 则为大型军用软件系统设计。仅当其限制不危及应用的程序设计时,Pascal 的简明性才是有益的。Ada 中作为程序包提供的改进的模块化应当成为商业开发的一个重要方面。