Presentation is loading. Please wait.

Presentation is loading. Please wait.

SIGAda’01 Panel, 4.10.2001 1 © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 The Making of ISO/IEC 8652: Ada 2005 Panel at SIGAda‘01.

Similar presentations


Presentation on theme: "SIGAda’01 Panel, 4.10.2001 1 © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 The Making of ISO/IEC 8652: Ada 2005 Panel at SIGAda‘01."— Presentation transcript:

1 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 The Making of ISO/IEC 8652: Ada 2005 Panel at SIGAda‘01 Bloomington 4 Oct 2001

2 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 Panelists Randy Brukardt, RR Software (WG9 ARG Editor, ACAA) Alan Burns, Univ. of York (RT Expert) Pascal Leroy, Rational SW Corp. (ARG chair) Jim Moore (WG9 Chair) Tucker Taft, AverCom Corp. (Designer of Ada95) Erhard Plödereder, U. of Stuttgart (former ARG and DR chair)

3 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 Maintenance of Standards Maintenance of ISO Standards has three different mechanisms: Technical Corrigendum: Necessary corrections to a standard (no added functionality); simplified approval; supplements/corrects an existing standard Amendment, „Secondary Standard“: additions to a standard (usually with additional functionality); approval as for a new standard; supplements/extends an existing standard Revision: Rewriting of a standard; replaces the existing standard

4 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 History 1987 ISO/IEC-8652 the first ISO Standard for Ada

5 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 History 1987 ISO/IEC-8652 the first ISO Standard for Ada 1995 ISO/IEC-8652:1995 Revision of the Standard

6 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 History 1987 ISO/IEC-8652 the first ISO Standard for Ada 1995 ISO/IEC-8652:1995 Revision of the Standard 2001 ISO/IEC-8652:1995/COR.1:2000 the 1. Technical Corrigendum +

7 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 The Future 1987 ISO/IEC-8652 the first ISO Standard for Ada 1995 ISO/IEC-8652:1995 Revision of the Standard 2001 ISO/IEC-8652:1995/COR.1:2000 the 1. Technical Corrigendum 2005 ? Amendment ? +

8 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 Role of the Community citing the ARM: “Informal comments on this International Standard may be sent by to If appropriate, the Project Editor will initiate the defect correction process. Comments should use the following format: !topic title summarizing comment !reference RM95-ss.ss(pp) !from author name yy-mm-dd !keywords keywords related to topic !discussion text of the comment

9 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 The ARG Process all comments are catalogued on a DB, assigned a unique id for cross referencing, and redistributed to the ARG members

10 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 The ARG Process The Ada Rapporteur Group (ARG) examines the questions or critiques posed in a comment and composes an “AI” (Ada Issue). (Often multiple comments result in a single AI.) ARG-approved AIs are presented to WG9 for a vote. The AIs eventually are turned into ISO “Defect Reports” to appear in a “Technical Corrigendum” or “Amendment”, etc. AI

11 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 Example: the “Comment” !topic Enumeration_IO would allow instantiation for an [float] {integer} type !reference RM95-A.10.10(17) !reference a !from Norman H. Cohen !discussion A.10.10(17) says: "Enumeration_IO would allow instantiation for an float type". This is obviously a typo; "integer" is meant.

12 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 Example: The “AI” (1) !standard A (17) AI /00 !class binding interpretation !status ARG approved !status work item !status received !priority Low !difficulty Easy !subject Enumeration_IO would allow instantiation for an [float] {integer} type !summary Enumeration_IO cannot be instantiated for a floating point type. !question A.10.10(17) says: "Enumeration_IO would allow instantiation for an float type". This is obviously a typo; "integer" is meant

13 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 Example: The “AI” (2).... !recommendation Enumeration_IO cannot be instantiated for a floating point type. !wording Change "an float" to "an integer" in A.10.10(17). !discussion (for more complex topics, you find a detailed analysis of the problem and of the proposed solution here) !appendix (the applicable Comments)

14 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 The ISO Process ARG AIs Technical Corrigendum Amendment/Sec.Std./Revision ISO/IEC JTC1/SC22/WG 9 ISO/IEC JTC1/SC22 ISO/IEC JTC1 Ada

15 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 Example: the Corrigendum A Input/Output for Enumeration Types Replace paragraph 17: [8652/0054] Although the specification of the generic package Enumeration_IO would allow instantiation for an float type, this is not the intended purpose of this generic package, and the effect of such instantiations is not defined by the language. by: Although the specification of the generic package Enumeration_IO would allow instantiation for an integer type, this is not the intended purpose of this generic package, and the effect of such instantiations is not defined by the language.

16 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 Example 2: Operational Attributes The original comment (somewhat shortened): The following user-specified attribute is illegal by 13.1(11). with Ada.Streams; use Ada.Streams; generic type T is private; package Attr_Rep is type NT is new T; procedure Attribute_Write( Stream : access Root_Stream_Type'Class; Item : in NT); for NT'Write use Attribute_Write; -- illegal by 13.1(11) end Attr_Rep;

17 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 Example 2: The Corrigendum after long discussions and a lot of work.... Five pages of changes, even to the syntactic description of Ada (but no language change!), to separate operational from representational attributes in order to relax restrictions and avoid implementation dependencies associated with representational attributes specify sensible inheritance rules

18 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 Integrated Reference Manual For Technical Corrigenda, ISO does not reprint an altered manual, but rather distributes the old manual + corrigenda documents. An unofficial, but nevertheless accurate Reference Manual with all the corrigenda integrated into the text is freely available at

19 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 The Future 1987 ISO/IEC-8652 the first ISO Standard for Ada 1995 ISO/IEC-8652:1995 Revision of the Standard 2001 ISO/IEC-8652:1995/COR.1:2000 the 1. Technical Corrigendum 2005 ? Amendment ? +

20 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 Preliminary „Mission“ Amendments in the areas of P program safety (the strong-hold of Ada) P interoperability with other languages and systems P APIs to existing services P facilitating idiomatic matching to other programming, modelling or design languages

21 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 APIs The standard Ada library is rather sparse. Hence.... We are calling on the community and on working groups to propose standardized packages (Ada bindings to other standards; additional capabilities).

22 SIGAda’01 Panel, © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 Your Cooperation The ARG invites you to submit your specific proposals for enhancements to Ada to Specifically, bindings and APIs are most welcome !


Download ppt "SIGAda’01 Panel, 4.10.2001 1 © Erhard Plödereder Making of Ada: Ada 2005 Making of Ada: Ada 2005 The Making of ISO/IEC 8652: Ada 2005 Panel at SIGAda‘01."

Similar presentations


Ads by Google