Read this in English
Welcome.
About me
Oracle
Ada
Guest book.
Counter
Принципы языка Ада 95.

Ноябрь 1999

Intermetrics, Inc

Кембридж, Массачусетс

Copyright 1994,1995 Intermetrics, Inc.

Этот документ может быть скопирован целиком или по частям в любой форме, с любой целью, без изменений или с изменениями, если (1) изменения четко помечены как изменения и (2) этот копирайт сохранен без изменений в любой копии. Откомпилированные копии модулей стандартной библиотеки и примеры могут не содержать этот копирайт, если он включен во все копии исходного кода и документации к ним.

Предисловие.

Я рада написать введение к этому важному документу, который сопутствует новому международному стандарту языка Ада. Приятнее всего видеть, как усилия всех людей, вовлеченных в ревизию языка, приносят плоды, и я уверена, что Ада 95 покажет себя достойным преемником Ады 83, привнеся преимущества программной инженерии, свойственной языку Ада, в новое общество пользователей. С современными возможностями, такими, как объектно-ориентированное программирование и обновленные механизмы взаимодействия с внешними системами, Ада 95 позволит вести гибкую и надежную разработку важнейших приложений грядущих лет.

Новый стандарт, официально ISO/IEC 8652:1995, таким образом, отмечает важную веху в истории языка Ада. Вклад лучших в мире программистов и экспертов языков программирования вылился в новую версию языка, отражающую текущие и ожидаемые требования разработчиков. Пользуясь случаем, хочу поблагодарить всех участвовавших в разработке нового стандарта и в написании этого документа.

Язык Ада 95 был подготовлен командой разработчиков Ada 9X, основанной Intermetrics Inc., под началом руководителя программы William Carlson и технического директора S. Tucker Taft. Команда Intermetrics включала Robert Duff (Oak Tree Software), а также консультантов John Barnes, Ben Brosgol и Offer Pazy.

Спецификация технических требований к новой ревизии языка была подготовлена командой, возглавляемой John Goodenough (SEI), на основании предварительной работы Institute for Defense Analyses, проанализировавшей более чем 750 запросов, представленных сообществом пользователей языка Ада.

Следующие консультанты проекта Ada 9X участвовали в разработке Специализированных Дополнений (Annexes): Ted Baker (SEI, Florida State Univ.), Ken Dritz (Argonne National Laboratory), Anthony Gargaro (Computer Sciences Corp.), John Goodenough (SEI), John McHugh (consultant) и Brian Wichmann (NPL: UK).

Эту работу постоянно комментировали рецензенты и члены группы ISO Ada 9X Rapporteur Group (XRG): Erhard Ploedereder, председатель DRs и XRG (University of Stuttgart: Германия); B. Bardin (Hughes); J. Barnes (консультант: UK); B. Brett (DEC); B. Brosgol (консультант); R. Brukardt (RR Software); N. Cohen (IBM); R. Dewar (NYU); G. Dismukes (Alsys [Telesoft]); A. Evans (консультант); A. Gargaro (Computer Sciences Corp.); M. Gerhardt (ESL); J. Goodenough (SEI); S. Heilbrunner (University of Salzburg: Австрия); P. Hilfinger (UC/Berkeley); B. Kallberg (CelsiusTech:Швеция); M. Kamrad II (Unisys); J. van Katwijk (Delft University of Technology: Нидерланды); V. Kaufman (Россия); P. Kruchten (Rational); R. Landwehr (CCI: Германия); C. Lester (Portsmouth Polytechnic: UK); L. Mansson (TELIA Research:Швеция); S. Michell (Multiprocessor Toolsmiths: Канада); M. Mills (Воздушные силы США); D. Pogge (US Navy); K. Power (Boeing); O. Roubine (Verdix: Франция); A. Strohmeier (Swiss Federal Institute of Technology: Швейцария); W. Taylor (консультант: UK); J. Tokar (Tartan); E. Vasilescu (Grumman); J. Vladik (Prospeks s.r.o.: республика Чехия); S. Van Vlier- berghe (OFFIS: Бельгия).

Первыми сотрудниками команды по разработке Ada 9X были C. Garrity, R. Hilliard, D.Rosenfeld, L. Shafer, W. White, and M. Woodger. Другими важнейшими источниками влияния на процесс ревизии были the Ada 9X Language Precision Team (Odyssey Research Associates), the Ada 9X User/Implementer Teams (AETECH, Tartan, Alsys [Telesoft]), the Ada 9X Implementation Analysis Team (New York University) и группа свободных рецензентов от Art Evans.

Авторами этого документа о принципах являются John Barnes и Ben Brosgol при весомой поддержке Ken Dritz, Offer Pazy и Brian Wichmann. Искренняя благодарность Bill Taylor за предоставленные материалы, которые послужили основой для Дополнения X, а также Tucker Taft и Robert Duff за их комментарии и рецензии. Особые благодарности Virginia Castor, John Solomond и Don Reifer from the Ada Joint Program Office за поддержку и спонсорство проекта Ada 9X с самого его начала и Bob Mathis, Convenor of ISO/IEC JTC1/SC22 Working Group 9 за проведение процесса стандартизации.

И последнее, но не менее важное, я хочу высказать свою величайшую признательность сообществу пользователей языка Ада за потраченные на этот проект время и энергию. Без вашей поддержки мы бы никогда не добились успеха.

Ада 95 готова. Теперь дело пользователей, тех, кто уже оценил инженерные достоинства Ады 83 и других, кто, возможно, разочарован своими текущими технологиями, развивать и использовать возможности нового языка.

Christine M. Anderson,

Директор проекта Ada 9X


Введение

Современное общество находится в сильной зависимости от программного обеспечения. Наши транспортные, финансовые, медицинские системы и системы обороны зависят от ПО в огромной степени. Вследствие этого, безопасность многих людей и их собственности зависит от надежного функционирования ПО. Кроме этого, падение цен на оборудование сделало возможным разработку больших программных систем.

Ада - это язык, специально предназначенный для разработки программ, которые должны работать надежно. Это касается большинства оборонных приложений, на основе которых создана Ада, и распространяется на многие прикладные области. В самом деле, более половины программ, разрабатываемых сейчас на языке Ада, не носят оборонного характера.

Этот документ описывает принципы языка Ада 95, переработанного международного стандарта. Ада 95 увеличивает гибкость языка, расширяя, таким образом, границы его применения, сохраняя при этом надежность, унаследованную от Ады 83. Среди важных аспектов новой версии языка следующие:

Объектно-ориентированное программирование. Ада 95 включает полноценные возможности ООП за счет гибкого механизма "программирования расширением", что позволяет легко сопровождать и наращивать программы.

Иерархические библиотеки. Механизм библиотек теперь принял иерархическую форму, что особенно ценно для управления и декомпозиции больших программ.

Защищенные объекты. Многозадачные возможности Ады расширены эффективным механизмом синхронизации доступа задач к разделяемым данным. Это необходимо для систем реального времени.

Эти улучшения делают Аду 95 выдающимся языком. Они добавляют гибкость языков подобных С++ к надежности программной инженерии, фундаментом которой Ада является уже более 10 лет.

Ада 95 - это естественное развитие Ады 83. Улучшения были сделаны так, чтобы не затронуть программ, разработанных на языке Ада 83 и не мешать программистам, пишущим на нем. Главная цель - обратная совместимость - была достигнута, удовлетворив при этом ограничения, накладываемые другими требованиями.

Этот документ состоит из семи частей. Первая - введение в язык Ада 95 проводит дискуссию об области действия и целях языка, его главных технических характеристиках. Вторая часть содержит более детальный и основательный обзор ядра языка. Третья часть охватывает различные Дополнения, которые касаются предопределенного окружения и специализированных областей применения. Наконец, есть три Приложения: Приложение Х касается основ обратной совместимости с Адой 83 и показывает, что для нормальных программ совместимость достигнута; Приложение У подытоживает некоторые изменения двух черновых вариантов стандарта; Приложение Z обобщает требования и решения, которые их удовлетворяют. Этот документ предназначен для директоров проектов, лидеров команд разработчиков и всех специалистов по ПО, которых касается разработка ПО.

Ада 95 заслуживает внимания всех специалистов компьютерных специальностей. Это согласованная и надежная машина для разработки больших приложений следующего десятилетия.

Команда разработчиков Ада 9Х

Январь 1995