ISO/IEC JTC1/SC22/WG9 N448

Draft 3, 27 February 2005, Jim Moore: Includes corrections suggested by Pascal Leroy and Joyce Tokar

These minutes will be considered for approval at Meeting #48.

Minutes
Meeting #47 of ISO/IEC JTC1/SC22/WG9
Thursday, 18 November 2004
Atlanta, Georgia, USA

Following its usual practice, ISO/IEC JTC1/SC22/WG9 colocated with the SIGAda conference. In a change from our usual practice, the meeting was scheduled to begin at 2:00 pm.

Conference and venue information can be found at the conference web site.

The announcement and preliminary agenda for this meeting were circulated as N443. The detailed agenda was circulated as N446.


Agenda

References


Detailed Agenda Items


Opening Orders, Jim Moore, Convener

Call to Order

The meeting was called to order at 2:16 pm.

Welcoming Remarks by Host

Currie Colket, as SIGAda's liaison representative and as Chair of SIGAda, welcomed us to the conference.

Appointment of Meeting Secretary

Clyde Roby volunteered to serve as meeting Secretary.

Approval of Agenda

The distributed agenda [N446] was approved with a few changes. Two AIs were withdrawn from the list the be considered. The date of Meeting #48 was added to the proposed motion for the schedule of meetings. A discussion of proposed new work in SC22 was added to new business.

The UK noted that some formatting defects in the distributed agenda caused some inconvenience in printing. Germany requested that the convener resume the practice of distributing a zip file containing all logged documents related to the meeting.

Approval of Minutes of Meeting #46

Background The draft minutes of Meeting #46 are recorded in document N440.
Resolution [Resolution 47-1]

[Agenda]


National Body Introductions and Reports

Attendees:

National Body Representatives:

Belgium Dirk Craeynest (HOD) Report
Canada  Steve Michell (HOD) Report
France Jean-Pierre Rosen (HOD), Pascal Leroy Report
Germany Erhard Ploedereder (HOD) Report
Italy Tullio Vardanega (unable to attend) Report
Japan Kiyoshi Ishihata (unable to attend) Report
Russia Sergey Rybin (unable to attend) Report
Switzerland Urs Mauer (unable to attend) Report
UK John Barnes (HOD), Alan Burns Report
USA Joyce Tokar (HOD), Tucker Taft, Randy Brukardt Report

Liaison Representatives

Ada-Europe Erhard Ploedereder
SIGAda Currie Colket, Clyde Roby

WG9 Officers:

Convener Jim Moore
Webmaster Clyde Roby
ARG Rapporteur Pascal Leroy
ASIS RG Rapporteur Currie Colket
HRG Rapporteur Alan Burns
Project Editors
ISO/IEC 8652: Erhard Ploedereder, Randy Brukardt, and Pascal Leroy
ISO/IEC 13813 and 13814: Don Sando, Jon Squire and Ken Dritz (all unable to attend)
ISO/IEC 15291: Clyde Roby and Greg Gicca (unable to attend)
ISO/IEC TR 15942: Brian Wichman (unable to attend)
ISO/IEC 18009: Erhard Ploedereder

Those sending regrets include:  Ken Dritz, Greg Gicca, Kiyoshi Ishihata, Urs Mauer, Tullio Vardanega

HOD Reports:

Belgium

Email from Dirk Craeynest, 8 November 2004:

The Belgian Ada community is planning to organize some Ada events during a major annual Open Source event next February in Belgium (FOSDEM) in an attempt to bring Ada (2005) "to the masses".

Canada [No report]
France

Email from Jean-Pierre Rosen, 29 October 2004:

AFNOR met on 2004/10/21 in preparation of the upcomming Atlanta meeting. The group reviewed all AIs sent by the ARG.

The group questionned the usefulness of AI-10266: it seems that its effect can reasonably be achieved using existing features of the language, and the group noted that it is not one of the HRG proposed AIs. As a consequence, AFNOR asks that this AI be separately discussed during the meeting.

The group had no objection to the other AIs.

Germany

Oral Report:

Erhard Ploedereder mentioned that the new SC22 policy of reconfirming project editors has had its effect on DIN. DIN plans to (re)endorse him as editor of ISO/IEC 18009.

He mentioned that a recent Ada Germany conference attracted 107 participants. The conference was joint with a conference on automotive reliability. BMW and Daimler-Chrysler are using Ada in their automobile software.

Italy

Email from Tullio Vardanega, 10 November 2004:

My HoD report is as follows:

(1) In coordination with the national delegation at SC22 and JTC1 level I have followed up the JTC 1 balloting process, requesting that Italy approved [DTR 24718] with no comments. I was very pleased to hear from you that this was also the final ballot.

(2) Having seen a communication from you that reported statistics on the national body contribution at SC22, I have opened a discussion with the Italian delegation at SC22 level, requesting that steps be taken to ensure that Italy would be counted as "contributor" and would therefore not run the risk of being degraded to a non-voting role. I am confident that the message has been fully understood by the recipients.

(3) As regards the Ada language revision process, having had prior informal consultations with national Ada users, I have cast the consensus Italian vote in the email ballot that WG9 conducted on the issue of (non)reserved words.

My contribution to the meeting is as follows:

(1) Regarding the endorsement of project editors:

I am happy to have Italy endorse:
# Pascal Leroy (22.10.01.01), France
# Erhard Ploedereder (22.10.01, 22.18009), Germany
# Alan Burns (22.24718), UK
# Brian Wichmann (22.15942), UK
# Randy Brukardt (22.10.01 and 22.10.01.01), US

(2) SC22 terminology

I have been following up the discussion, including Randy's comment on the ARG being the eminent body to make sure that Ada terminology would find a place in the higher-level standard (which I do agree with). I have seen that you have drafted action items 47-2 to 47-6 to task each WG9-level editor to contribute to the implementation of resolution 04-01 of the 2004 SC22 plenary. For my part, I approve of the rationale and the attribution of the actions and I will be happy to help Alan Burns (should he wish so) in the implementation of action item 47-6 from the standpoint of the Ravenscar Guide. [Convener's note: I have since renumbered these Action Items to 46a-2 through 46a-6 because they were assigned between meetings 46 and 47.]

(3) Response to SC22 Instruction Regarding Character Set Coding

I am no expert in this area, but I was very happy with the way WG9 approached the matter, following the advice of Pascal and Kiyoshi. With regard to the matter at hand, I am in favour of supporting your (Jim's) view that, although no response to SC22 is needed, WG9 had better prepare one, so that the issue may not be resurfaced at a later stage. As in the past on this matter, I suppose we should rely on the informed advice of Pascal and Kiyoshi.

-----------
That is all as regards the meeting.

...

I wish you and all the other WG9 fellow members a very productive meeting and a nice stay in Atlanta.

Japan [No report]
Switzerland [No report]
Russia [No report]
UK

Email from John Barnes, 28 October 2004:

The BSI Ada panel had a meeting in September and were generally pleased with progress regarding Ada 2005. A number of very useful comments were provided by Terry Froggatt on the topic of character sets. There was a sense of relief that the new keywords would be reserved. A suggested note for the future was that reserved words should never have underscores.

US 

Oral Report:

Joyce Tokar reported that the US has (re)endorsed Randy Brukardt as editor of ISO/IEC 8652 and its Amendment project.

[Agenda]


Liaison Reports


Report of Ada-Europe Liaison Representative, Erhard Ploedereder

Background Ada-Europe is a Category C Liaison to WG9 [See N414]
Report

Oral Report:

Erhard Ploedereder reported that Ada Europe has reached agreement with Randy Brukardt on the publication of a consolidated Ada 2005 language reference manual to be published by Springer.

He mentioned that the Ada Europe conference is scheduled for 20-24 June 2005, in York, UK, and welcomed WG9 to colocate its meeting.

[Agenda]


Report of SIGAda Liaison Representative, Currie Colket

Background SIGAda is a Category C Liaison to WG9 [See N414]
Prior Discussion

From Minutes of Meeting #43 [N418]:

Clyde Roby made a presentation on a method to deal with APIs. Clyde's presentation will be posted on the WG9 web site as N419.

There were some comments regarding the assurance that SIGAda has the proper rights to republish the artifacts. Erhard noted that an API may be an Ada binding to an implementation in another language or a standalone Ada implementation. Jim noted that "Stamp of Approval" concept might lead to anti-trust problems. "Choosing or Judging" would be an antitrust problem. This should be done under WG9 auspices.

Erhard noted that there should be a long-term program to collect APIs; and a short-term program to select some APIs into Ada 200Y. Make sure that this is clear to participants. Only a few will be selected for the Ada Amendment.

From Minutes of Meeting #44 [N428]:

Clyde Roby reported on the formation of a SIGAda API WG at WG9's last meeting. This work is proceeding. Information has been posted to a web page. Material from previous groups is being gathered. They are starting work on CGI and XML interfaces. XML seems to be active also. Some issues remain regarding licensing. API WG will be formally approved soon.

SIGAda is looking at an organization to provide comments on WG9 documents. They should collaborate with the convener and the Ada-Europe liaison representative on a procedure for doing this. Comments must be vetted and formed into a consistent position. It was noted that comments on technical documents are generally unwelcome at the WG9 level and should be submitted at the Rapporteur Group level. The convener suggested that the liaison organizations might want to designate formal representatives to the RGs.

From Minutes of Meeting #45 [N434]:

Clyde Roby (SIGAda APIWG Chair): There was a meeting of the APIWG. One of the major subjects was the method for progressing APIs toward standardization. There is a desire to develop the APIs outside the standardization groups so that they can be developed quickly and then transpose them into the standardization process, perhaps as TRs. There may be something to submit by summer.

Report

Oral Report:

Currie Colket reported that SIGAda has named a chair, Geoff Smith, of its APIWG (Application Programming Interface Working Group) to replace Clyde Roby who has been acting in the role. Geoff will lead an effort to update the draft charter and to gain its approval by SIGAda.

The next SIGAda conference will again be in Atlanta, 13-17 November 2005. Currie invited WG9 to colocate its meeting with the conference.

[Agenda]


Convener's Report

Report 

Plenary Meeting of SC22

The plenary meeting of SC22 was conducted in Jeju, Korea, 6-10 September, 2004. I was unable to attend but Kiyoshi Ishihata and Steve Michell represented the interests of WG9. I appreciate their efforts and results. My written report to SC22 is N439. My report of the meeting is N444.

Reconsideration of JTC1 Confirmation of ISO/IEC 13814

After a somewhat convoluted series of events, JTC1 has agreed with WG9's request to withdraw ISO/IEC 13814. The result of their voting is documented in 22N3752, Summary of Voting on JTC 1 N 7405, SC 22 Request to JTC 1 to Reconsider the Decision to Confirm ISO/IEC 13814.

Format and Balloting of Ravenscar Guide

ISO Central Secretariat has agreed that DTR 24718, Ravenscar Guide, may be published in the form contributed by the University of York, with the addition of some ISO front matter. With that problem solved, as authorized by Resolution 46-5, the convener and the project editor submitted DTR 24718 for balloting [N442]. The document was approved by JTC1 and has been submitted for publication.

Result of Email ballot on (Non)Reserved Keywords

As a result of an email ballot conducted on the issue, WG9 has determined that the new keywords created by the amendment to the Ada standard should be reserved as are other Ada keywords. The ARG has incorporated this decision in their drafting of the Amendment.

Endorsement of Project Editors

JTC1 works on the principle that project editors must be endorsed by their national bodies. In some countries, such as the US, this requires that the editor be a participant in the national body's "mirror" organization for WG9. In some countries, this requires the payment of fees.

There have historically been two questions regarding this policy: (1) Can liaison organizations provide editors; (2) Is the editor endorsed only once when originally nominated, or is reendorsement required periodically? The latest Directives have clarified that liaisons can provide editors. JTC1 administrative policy is requiring occasional re-endorsement. SC22 is currently going through the process of requiring re-endorsement of all of its editors.

The impact on WG9 is this. Five editors must be endorsed by national bodies by 9 November 2004:

  • Pascal Leroy (22.10.01.01), France
  • Erhard Ploedereder (22.10.01, 22.18009), Germany
  • Alan Burns (22.24718), UK
  • Brian Wichmann (22.15942), UK
  • Randy Brukardt (22.10.01 and 22.10.01.01), US

Two editors must be endorsed by ACM SIGAda:

  • Greg Gicca (22.15291)
  • Clyde Roby 22.15291)

Three individuals are editors of standards that are short-lived. The SC22 Secretariat has agreed that no action is required:

  • Ken Dritz
  • Don Sando
  • Jon Squire

The administrative procedures for endorsement by liaisons is not yet clear. I will provide information as it becomes available.

By the way, the resolution granting SC22 approval of Greg Gicca's appointment as project editor listed his affiliation as US rather than SIGAda. I have corresponded with the SC22 Secretariat on this error.

SC22 Terminology

The responsibility for maintaining terminology standards has devolved to the various subcommittees. Roger Scowen of the UK has agreed to lead an SC22 Ad Hoc Group to maintain vocabularies. He will also serve as SC22's representative to a similar Ad Hoc Group at the JTC1 level. Our project editors have a responsibility to contribute to the vocabularies. I have created Action Items for this purpose.

Confirmation of ISO/IEC TR 15942

The plenary meeting of SC22 confirmed ISO/IEC TR 15942 for another five-year period.

New Directions for SC22

At the SC22 plenary, a study group was created to consider possible new projects for SC22. The WG9 Convener serves as a member of this study group and is leading a sub-group to consider standards or technical reports regarding language subsets or usage guidelines in software systems with critical characteristics, such as safety or security.

Approach to Character Set Coding

WG9's attempt to defuse the character set coding issue at SC22 has apparently succeeded. The plenary meeting of SC22 has approved a resolution agreeing with our approach. Because of a national body comment, though, SC22 also instructed us to "consider" referencing TR 10176--a departure from our approach. Under New Business, I have tabled a discussion of our response. In addition, the editor of TR 10176, Marc Wilhelm Kuester, has requested the assistance of WG9 in revising the technical report to regain its consistency with the documents that informed the WG9 approach to character set coding. The convener, supported by the ARG Rapporteur, is corresponding with Kuester in support of this goal.

Discussion

Re: Format and Balloting of Ravenscar Guide

It was noted that we should begin working immediately to seek free availability of the Ravenscar Guide, 24718. The Convener accepted Action Item 47-1.

Re: Endorsement of Project Editors

It was noted that SIGAda has not submitted its endorsements of Clyde Roby and Greg Gicca as editors of ISO/IEC 15291. The endorsement was due by November 9. The convener requested that Currie Colket do this immediately.

Re: SC22 Terminology

The Ada language standard, 8652, has its terms embedded in its text rather than separated into a distinct clause. The convener has excused its editor from the action item. However, Randy is concerned that the terminology document might become a standard and imposed on the various language standards to the detriment of Ada. Jean-Pierre Rosen pointed out that the planned glossary is English only; AFNOR will object.

[Agenda]


Summary of Action Items and Unimplemented Resolutions

This is the "To Do" list for WG9. Some are informal action items assigned to various participants. Some are formal resolutions, which are not yet implemented. Some are suspense items awaiting action by other groups.

Resolution 40-6

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period: 

  • ISO/IEC 13813:1998 Generic packages of real and complex type declarations and basic operations for Ada (including vector and matrix types) 

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be withdrawn when it reaches the end of its five-year review period: 

  • ISO/IEC 13814:1998 Generic package of complex elementary functions for Ada 

For status, see: [Project Editor Maintenance Report, 13813]

Resolution 42-7

WG9 receives N405, Recommendation on ISO/IEC 13813 from the UK, and N404, Project Editor's Proposal of a Revised ISO/IEC 13813. To consider the recommendations of the UK:

  • The ARG is requested to prepare its recommendation regarding the appropriate packaging for the revised content of the standard. Alternatives to be considered include (but are not limited to) revision of ISO/IEC 13813, incorporation into an amended or revised ISO/IEC 8652, publication as a Technical Report, and publication external to ISO.
  • The convener is directed to circulate email ballots in WG9 to consider and implement any recommendations of the ARG.

Status: CLOSED at Meeting #46.

Resolution 44-6:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period:

  • ISO/IEC 18009:1999, Conformity Assessment of an Ada Language Processor

For status, see [ Project Editor Maintenance Report, ISO/IEC 18009 ]

Resolution 44-7:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period:

  • ISO/IEC 15291:1999, Information Technology--Programming Languages--Ada Semantic Interface Specification (ASIS)

For status, see [ Project Editor Maintenance Report, ISO/IEC 15291 ]

Resolution 45-6: 

WG9 endorses the use of Technical Reports, International Workshop Agreements, or other light-weight documents to record and publish agreements on API definitions, while retaining the possibility for eventual international standardization. The ARG is requested to nominate AIs to be treated in this manner. 

Status: CLOSED at Meeting #46.

Action Item 46-1:

(Rapporteur of ASIS RG): Draft a new work item proposal for the revision of the ASIS standard, ISO/IEC 15291.

For status, see [ Report of ASIS Rapporteur Group ]

Action Item 46-2:

(France): Prepare an alternative to AI-284. Submit it to the convener by July 19 for an email ballot conducted in accordance with the procedure outlined in the Convener's Report.

Status: CLOSED prior to meeting. AFNOR submitted the alternative and the convener conducted an email ballot closing on 27 August 2004.

Action Item 46-3:

(Convener): Post the project schedule for the Amendment on the WG9 web site.

Status: CLOSED prior to meeting. The schedule was posted on the WG9 web site page, "Standards and Projects".

The following Action Items were created as a result of the 2004 SC22 plenary. The convener remarked that the action items should be easy to accomplish--about 15 minutes. He said that if it is harder than that, then the editor should contact him for discussion.

Action Item 46a-1

(Convener): Advise SC22 Terminology chair, Roger Scowen, of the list of standards from which WG9 will forward definitions.

Status: CLOSED. On 17 Sep 2004, the convener sent this email note to Mr. Scowen:

In accordance with SC22 resolution 04-01, I am offering comments on 22N3784.

The document cites ISO/IEC 8652:1987 as a reference. The most recent version of this standard is ISO/IEC 8652:1995 and its COR.1:2001.

The document cites ISO/IEC 12227 as a reference. That standard has been withdrawn.

SC22/WG9 plans to contribute to the vocabulary by providing definitions from the following standards:
ISO/IEC 8652:1995 and its COR.1:2001
ISO/IEC TR 15942:2000
ISO/IEC 15291:1999
ISO/IEC 18009:1999
DTR 24718

We will not submit definitions from the following standards:
- Withdrawn: 11430, 11729, 11735 and 12227
- Endorsed for withdrawal: 13814
- Obsolescent and soon to be superseded: 13813

Action Item 46a-2

(Randy Brukardt: Editor, ISO/IEC 8652:1995 and its COR.1:2001):

To implement Resolution 04-01 of the 2004 SC22 plenary, each WG9 project editor is instructed to provide comments on 22N3784 and the text (in text format) of any definition clauses of their standard to the SC22 Terminology Chair, Roger Scowen (email: roger.scowen@npl.co.uk) by 7 March 2005.

Status: Closed. It has been determined that ISO/IEC 8652 does not contain definitions in a form suitable for an SC22 vocabulary.

Action Item 46a-3

(Brian Wichmann: Editor, ISO/IEC TR 15942:2000):

To implement Resolution 04-01 of the 2004 SC22 plenary, each WG9 project editor is instructed to provide comments on 22N3784 and the text (in text format) of any definition clauses of their standard to the SC22 Terminology Chair, Roger Scowen (email: roger.scowen@npl.co.uk) by 7 March 2005.

Status: Open.

Action Item 46a-4

(Clyde Roby: Editor, ISO/IEC 15291:1999):

To implement Resolution 04-01 of the 2004 SC22 plenary, each WG9 project editor is instructed to provide comments on 22N3784 and the text (in text format) of any definition clauses of their standard to the SC22 Terminology Chair, Roger Scowen (email: roger.scowen@npl.co.uk) by 7 March 2005.

Status: Open.

Action Item 46a-5

(Erhard Ploedereder: Editor, ISO/IEC 18009:1999):

To implement Resolution 04-01 of the 2004 SC22 plenary, each WG9 project editor is instructed to provide comments on 22N3784 and the text (in text format) of any definition clauses of their standard to the SC22 Terminology Chair, Roger Scowen (email: roger.scowen@npl.co.uk) by 7 March 2005.

Status: Open.

Action Item 46a-6

(Alan Burns: Editor, DTR 24718):

To implement Resolution 04-01 of the 2004 SC22 plenary, each WG9 project editor is instructed to provide comments on 22N3784 and the text (in text format) of any definition clauses of their standard to the SC22 Terminology Chair, Roger Scowen (email: roger.scowen@npl.co.uk) by 7 March 2005.

Status: Open.

[Agenda]


Scheduling of Meetings

Background

Resolution 46-3 [see N440] scheduled future meetings as follows:

  • Meeting #48 in conjunction with the 2005 Ada-Europe conference, Friday, 24 June 2005, York, UK
  • Meeting #49 in conjunction with the 2005 SIGAda conference (tentative)

The resolution offered below merely confirms the previous resolution and adds the date of Meeting #49.

Resolution [Resolution 47-3

[Agenda]


Report of Ada Rapporteur Group, Pascal Leroy (Rapporteur)

Background

WG9 N406: Procedures of the ARG

WG9 N412: Instructions to the Ada Rapporteur Group from SC22/WG9 for Preparation of the Amendment to ISO/IEC 8652.

WG9 N423: Convener's Comments on Instructions to the Ada Rapporteur Group from SC22/WG9 for Preparation of the Amendment to ISO/IEC 8652

WG9 N437: ARG Rapporteur’s Proposal for Defining Scope of Amendment to ISO/IEC 8652:1995

Resolution 44-4 of N428: The convener directs the chair of the ARG to send the list of AIs intended for submission to WG9 to NB and liaison representatives at the time they enter the 'editorial review' state. It would then be the duty of each NB and liaison representative to circulate this information within their own organization for the purpose of developing a position for the forthcoming meeting of WG9.

SC22 Resolution 02-24: Recommendation on Coded Character Sets Support:
JTC 1/SC 22 believes that programming languages should offer the appropriate support for ISO/IEC 10646, and the Unicode character set where appropriate.

SC22 Resolution 04-15: Coded Character Sets:
JTC 1/SC 22 agrees that the proposed implementation of coded character set support
described in document N 3758 agrees with the principles for coded character set support previously adopted by SC 22, notably resolution 02-24. JTC 1/SC 22 instructs WG 9 to consider referencing ISO/IEC TR 10176 Annex A in the revision of the Ada language standard.

From Minutes of Meeting #46 [N440]:

At its San Diego meeting, WG9 considered the best way to proceed with standardization of APIs, and recommended the use of Technical Reports or International Workshop Agreements to reach agreement on APIs (see resolution 45-6). ... At this point it appears that AI95-00302-03 will likely be part of the Amendment, and that there is no need to start an alternative standardization process.

As directed by WG9, the Rapporteur has prepared a document presenting the scope of the Amendment. In general, the AIs mentioned in this document either have either been approved by WG9 or are very close to approval. However, some of them still require technical refinement before the ARG can decide whether to include them in the Amendment. Others are controversial. In both cases, the AIs have been included in the scope document with the understanding that this inclusion is provisional.

Resolution 46-8:

WG9 approves the scope of Amendment 1 to ISO/IEC 8652:1995 as defined by N437 and requests the ARG to initiate preparation and circulation of draft text of the Amendment.

Email from Pascal Leroy, 6 October 2004:

In compliance with resolution 44-4 of WG9, this message is to inform you that the AIs listed below have entered Editorial Review, and are intended to be submitted to WG9 for approval at the next meeting (meeting #47 in Atlanta, GA, USA). ...

Report

Email from Pascal Leroy, 9 and 10 November 2004:

The ARG met in Palma de Mallorca, Spain, in June, and in Madison, WI, USA, in September. As is customary, the meetings were mostly devoted to amendment AIs, although a significant number of normal AIs were resolved.

The list of AIs for consideration at the November meeting is particularly long, containing 18 amendment AIs and 18 normal AIs. This reflects the fact that the Amendment is maturing and that a satisfactory solution has now be found to many of the topics studied during the revision.

It is worth noting that AI95-00285-01 (support for 16-bit and 32-bit characters) has been updated to comply with the SC22 resolution approved at the Jeju plenary meeting. Also, AI95-00284-02 (new reserved words) is compliant with the letter ballot taken by WG9 in August. Finally, the ARG decided not to pursue AI95-00315-01 (full support for IEC 559:1989), an AI which was included in the Scope Document approved at the June meeting. It was felt that this AI would have too big an impact on implementations for relatively little user benefits. Of course, the approach proposed by this AI may be used by an implementation which would want to provide IEC 559 support in a nonstandard mode of operations.

At this point there are only 7 significant amendment AIs that are still in the works. However, a number of minor changes are being considered to make the final language more consistent and easier to use. AIs are being created to track these changes, but it is likely that these AIs will not be forwarded as such to WG9; instead they will be directly included in the draft Amendment.

The current plan is for the ARG to produce a draft Amendment during the Spring of 2005. To review the draft, the ARG plans to meet in Paris in February and, if necessary, in the US in April. If all goes well, an Amendment document would be circulated to the WG9 Officers and Heads of Delegations in May for a vote at the June meeting.

The list of AIs for approval at the November meeting can be found below. A pointer to retrieve the AIs is included.

The Rapporteur proposes the following list of members for the ARG: Baird, Baker, Barnes, Brukardt, Burns, Dewar, Dismukes, Duff, Ishihata, Leroy, Michell, Ploedereder, Rosen, Schonberg, Taft, Tokar.

The cited AIs can be retrieved from the ACAA Web Site for AIs: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/

Amendment AIs:

AI95-00266-02/08 04-11-09 -- Task termination procedure
AI95-00284-02/03 04-11-09 -- New reserved words
AI95-00285-01/11 04-11-10 -- Support for 16-bit and 32-bit characters
AI95-00286-01/09 04-11-08 -- Assert pragma
AI95-00287-01/09 04-11-08 -- Limited aggregates allowed
AI95-00297-01/10 04-11-12 -- Timing events
AI95-00317-01/10 04-11-09 -- Partial parameter lists for formal packages
AI95-00318-02/07 04-11-05 -- Limited and anonymous access return types
AI95-00327-01/07 04-11-10 -- Dynamic ceiling priorities
AI95-00344-01/07 04-11-07 -- Allow nested type extensions
AI95-00345-01/07 04-11-11 -- Protected and task interfaces
AI95-00355-01/07 04-11-11 -- Priority Specific Dispatching including Round Robin
AI95-00362-01/05 04-11-08 -- Some predefined packages should be recategorized
AI95-00363-01/05 04-11-07 -- Eliminating access subtype problems
AI95-00364-01/04 04-11-07 -- Fixed-point multiply/divide
AI95-00368-01/04 04-11-09 -- Restrictions for obsolescent features
AI95-00381-01/03 04-11-09 -- New Restrictions identifier No_Dependence
AI95-00384-01/04 04-11-09 -- Conversion rules should be symmetric

Normal AIs:

AI95-00051-01/14 04-11-08 -- Size and Alignment clauses
AI95-00100-01/05 04-04-22 -- Truncation required for static expressions if Machine_Rounds is false
AI95-00133-01/05 04-09-28 -- Controlling bit ordering
AI95-00204-01/06 04-11-08 -- Language interfacing support is optional
AI95-00214-01/04 04-11-08 -- Distinct Names for Compilation Units (again).
AI95-00239-01/04 04-11-08 -- Controlling inherited default expressions
AI95-00269-01/06 04-11-03 -- Generic formal objects can be static in the instance
AI95-00279-01/07 04-11-08 -- Tag read by T'Class'Input
AI95-00280-01/05 04-11-04 -- Allocation, deallocation, and use of objects after finalization
AI95-00294-01/04 04-04-22 -- Instantiating with abstract operations
AI95-00320-01/04 04-11-09 -- Violating Ada semantics with an interfacing pragma
AI95-00333-01/06 04-11-09 -- Other Locking_Policies can be used with FIFO_Within_Priorities
AI95-00334-01/03 04-11-08 -- Is overriding of abstract equality required?
AI95-00335-01/03 04-11-08 -- Stream attributes may be dispatching subprograms
AI95-00341-01/02 03-11-08 -- Primitive subprograms are frozen with a tagged type
AI95-00349-01/02 03-11-07 -- Equality on private extensions
AI95-00376-01/02 04-11-09 -- Interfaces.C works for C++ as well
AI95-00378-01/02 04-11-09 -- The bounds of Ada.Exceptions.Exception_Name

Oral Report The Ada Rationale will include a note explaining why the Amendment references IS 10646 regarding character set coding rather than TR 10176.
Discussion

It was noted that WG9 (and its parent organizations) will actually vote on the Amendment to ISO/IEC 8652, not the document that results from merging the Amendment and the Corrigendum into ISO/IEC 8652:1995.

Jean-Pierre Rosen requested a separate discussion of AI-0266. The AI concerns task termination procedure - seemingly useful for RT people and High Integrity people, but doesn't seem to be the case that HI people have requested/supported this AI. If nobody has any concerns, then we can move on.

Alan Burns gave a technical explanation of this AI. RT/HI people did request that a task termination procedure be included, though. A separate AI looked at a fuller proposal but IRTAW thought it was really too much. So, the current AI is somewhat of a compromise. The basic mechanism did come through the Ravenscar discussions in the past. Tucker thinks it odd that an interesting event, task termination, is not there. This should really be there, even in a RT system. Implementation is not a burden. Is it more complex than you need? For Ravenscar it is, but for what is there currently in Ada, this is a natural follow-on notion.

Pascal's concern is not with implementation, but with conceptual complexity of the model. Not a clear picture of the usage model. Debugging is not a justification. This is no safer than exception handling. In terms of reliability of language, it doesn't help too much. It does give information of tasks terminating in case of abort, but in RT there is usually no abort statement given.

Stephen Michel of Canada indicated that there hasn't been a real analysis; perhaps ambiguities might show that it's inappropriate. Even if it's put in, it's questionable for HI. Agrees with Tucker that completion of tasks is an important event and some form of notification is appropriate. Perhaps go back to ARG for further discussion.

Tucker had an interesting conversation with a customer recently who said that there is a daemon task for each running task and restart it if it terminates. Justification for tasks to not signal its own termination. There are times when you might want to know when a task died, especially that a task dies with an unhandled exception.

Erhard: the community believes that silent termination of a task is bad. Some say that you can determine when a task goes away silently with current means, but some say that you should do it with this new mechanism. Tasks need something added to define this protocol. But current Ada model has no means of something outside knowing when a task died. Not a language feature here, but an API. In favor of this AI.

Joyce: Purpose of this is a lightweight solution. Separate issue when initially looked at Ravenscar. Is an issue in real world for RT.

The convener restated the groundrules adopted at Meeting #46 for dealing with AIs in the Amendment. He said that our choices are to accept it now, reject it now, or have a 30-day email ballot on those choices. There is no time to send it back to the ARG for more work. The convener suggested that we vote now.

Pascal Leroy is concerned that Italy is not represented here and would like to see what his feeling is concerning this AI; J-P Rosen suggests a letter ballot.

Joyce said that this AI was on the list and Tullio had the opportunity to see it, including France's objection.

The convener conducted a straw poll with the following results: UK is leaning in favor of approving; US approve; Germany in favor; Belgium leaning in favor; Canada in favor; France leaning towards oppose.

Erhard suggests that ARG be given the opportunity to bring France back into the fold this week; discussion to be at the ARG. Pascal leaning towards a letter ballot. If this group thinks there might be technical issues, it should be back to ARG. Erhard wants the opportunity to make vote unanimous. AFNOR probably won't change it. Further discussion ensued. Pascal's gut feeling is that it's not ready for prime time, but we haven't seen a better proposal.

US moved to vote, no objections: AFNOR voted no - result is that this AI is approved.

All other AIs were approved.

Alan Burns asked about the schedule for processing the Amendment. The convener replied that WG9 must approve the amendment--either at a meeting or by an email ballot. Then the processing is similar to approving a standard. Approval by JTC1 would probably occur in early 2006. The Convener took an action item, 47-2, to determine if processing could be accelerated by combining votes at the SC22 level.

Resolutions [ Resolution 47-2 ] [ Resolution 47-9 ]

[Agenda]


Report of ASIS Rapporteur Group, Currie Colket (Rapporteur)

Background WG9 N417: Charter of the ASIS Rapporteur Group (ASISRG)
Open Item: Action Item 46-1

(Rapporteur of ASIS RG): Draft a new work item proposal for the revision of the ASIS standard, ISO/IEC 15291.

Status: None

Prior Discussion

From Minutes of Meeting #41 [N400]:

ASIS RG is considering the preparation of a New Work Item Proposal to revise and extend ASIS to keep pace with Ada 2005. The ASIS RG may reconsider some of the design goals for the specification.

From Minutes of Meeting #42 [N409r]:

Currie Colket reported that the ASIS RG has begun planning for the development of amendments to the ASIS standard in coordination with the planned amendment to the Ada standard. Steve Blake cannot continue as project editor; however, he has agreed to continue serving until a replacement is found.

Discussion

It was noted that Action Item 46-1, NWI for revision of ASIS, has not been done by Currie; France concerned about timeframe for obtaining new ASIS; we really should have started by now; Ada 200Y is sufficiently stabilized now that work can go on; if IBM doesn't get an ASIS in a reasonable time after Ada 200Y, then they will be forced to define their own - what can we do to accelerate progress? Currie will send NWI to ASISWG. France concerned that the new ASIS should be started now - Ada is pretty well defined now. IBM is willing to have someone participate (Gary Barnes), but needs to be an active group. Currie will try to get some activities jump-started before Xmas. After Jim asked Currie if there's still life in ASISWG, he responded that he had been overloaded for awhile. If ASISRG is lacking resources, maybe ARG could help out with resources. Canada suggested that if ARG set aside 1/2-day for ASISRG. France said that if we don't see any progress in 6 months or so, the work might be under ARG, possibly disbanding ASISRG. Athough Currie has taken blame, his heavy activities were SIGAda related. Currie has not asked for help in ASISRG; thus, we conclude that nobody else is working in ASISRG (Jim) and that's the real problem. Currie hasn't been pushing anything to ASISRG because he hasn't seen anything coming out of new Ada related to syntax. We will see where Currie is at at the next meeting.

Currie Colket was assigned action item 47-3, to report on the vitality of the ASIS RG at the next meeting of WG9.

Resolutions

[Agenda]


Report of Annex H Rapporteur Group, Alan Burns (Rapporteur)

Background WG9 N416, Charter of the HRG
Open Item

Resolution 45-5:

WG9 delegates to its HRG the authority to perform comment disposition on the New Work Item proposal ballot for the Ravenscar Guide as well as its PDTR registration ballot, and to revise the draft document appropriately. The convener of WG9 is authorized to review the comment disposition, determine if consensus has been achieved on the disposition of the comments and the revision of the document, and forward the resulting draft for PDTR approval balloting. 

Status: CLOSED. The HRG and the convener performed the directed actions. In error, the new SC22 Secretariat initially forwarded the document for DTR ballot, but quickly corrected the error. PDTR balloting is due to close on 11 June 2004.

Prior Discussion

From Minutes of Meeting #40, [N389]:

The HRG ... discussed the continuing role of Annex H of ISO/IEC 8652. They discussed the desirability of changing its title to High-Integrity rather than Safety and Security. The HRG might recommend that the fourth section of Annex H should be reworked to better fit with the recently completed TR 15942. They also considered tracking the usage of relevant pragmas implemented by various vendors. 

It is understood that the HRG may work with the University of York or other institutions in obtaining material that might be incorporated into a Technical Report. 

From Minutes of Meeting #44 [N428]:

The HRG met again on June 16 to discuss possible changes to Annex H. It concluded that the title of the annex should be changed from "Safety and Security" to "High Integrity Systems."

The HRG Rapporteur was asked to summarize why the title should be changed. He replied that "High Integrity" has become the accepted name for this category of issues; there is nothing in the annex related to security; and the current contents are broader than safety. Feedback on the proposed name change was favorable. The HRG will submit an AI to change the name.

From Minutes of Meeting #46 [N440]:

The HRG Rapporteur reported that PDTR 24718 [N435] was approved. There appear to be no comments but there is some concern that the balloting report might be incomplete. In any case, the document will be prepared in the format determined by the convener and submitted for DTR ballot [N442].

Resolution 46-5:

WG9 delegates to its HRG the authority to perform comment disposition on the PDTR approval ballot for ISO/IEC TR 24718, Ravenscar Guide. The convener of WG9 is authorized to review the comment disposition, determine if consensus has been achieved on the comment disposition and document revision, and forward the resulting draft for DTR approval balloting.

From email note of Convener, 21 August 2004:

The final ballot on the Ravenscar Guide, DTR 24718, has begun in JTC1. As you know, a ballot within JTC1 is ruled to be invalid if the ballot return falls below a given percentage. Therefore, it is important that every national body represented in WG9 submits a vote on this document. Ballots are due by 2004-10-23.

From JTC1 N7652, 25 October 2004:

In balloting by JTC1, DTR 24718 was approved without any NB comments.

From email note of Convener, 29 October 2004:

DTR 24718 was submitted for publication.

Report

Email from Alan Burns, 28 October 2004:

The HRG has not met since the last meeting of WG9. It has been monitoring the progress of its Ravenscar Guide and is pleased to note that this has now been accepted by ISO as a technical report.

Discussion
Resolutions None

[Agenda]


Project Editor Maintenance Reports

[Agenda]


Project Editor Maintenance Report, ISO/IEC 8652

Document Status

ISO/IEC 8652:1995 Information Technology--Programming Languages--Ada, 22.10.01, Randy Brukardt and Erhard Ploedereder, Project Editors, supported by the Ada Rapporteur Group.

ISO/IEC 8652:1995/COR.1:2001, Technical Corrigendum to Information Technology--Programming Languages--Ada, 22.10.01, Randy Brukardt and Erhard Ploedereder, Project Editors, supported by the Ada Rapporteur Group.

Project Status

Working Draft, 8652:1995/AMD.1, Randy Brukardt and Pascal Leroy, Project Editors, supported by the Ada Rapporteur Group

The request for subdivision [N388] of Project 22.10.01 was endorsed by WG9 Resolution 40-7 [N389], and approved by SC22 N3310 on 2001-09-12.

Prior Discussion

From Minutes of Meeting #46 [N440]:

The convener noted that the decision to publish ISO/IEC 8652 as a merged document or separately as base standard, corrigendum, and amendment would be a business decision made by ISO Central Secretariat. If Central Secretariat requests a merged document, the project editor should be prepared to provide one by merging the official ISO standard, corrigendum, and amendment.

Oral Report The editor noted that a draft of the Amendment document is near completion.
Discussion

[Agenda]


Project Editor Maintenance Report, ISO/IEC 13813 and 13814

Document Status

ISO/IEC 13813:1998, Information Technology--Programming Languages--Generic Packages of Real and Complex Type Declarations and Basic Operations for Ada (including Vector and Matrix Types), 22.10.04, Don Sando and Ken Dritz, Project Editors

The standard addresses the Ada 87 language. WG9 plans to incorporate the substance of this standard in the Amendment to ISO/IEC 8652:1995. WG9 has recommended that the 1998 standard be confirmed during the period while the Amendment is under preparation.

ISO/IEC 13814:1998, Information Technology--Programming Languages--Generic Package of Complex Elementary Functions for Ada, 22.10.05, Jon Squire and Ken Dritz, Project Editors

WG9 has voted to withdraw this standard by year-end 2004. (The action awaits approval by JTC1.) The standard addressed the Ada 87 language and is effectively replaced by the 1995 language standard.

Open Items
Resolution 40-6:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period: 

  • ISO/IEC 13813:1998 Generic packages of real and complex type declarations and basic operations for Ada (including vector and matrix types) 

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be withdrawn when it reaches the end of its five-year review period: 

  • ISO/IEC 13814:1998 Generic package of complex elementary functions for Ada 

Status: OPEN. The recommendations above were endorsed by SC22 Resolution 01-07 at their September 2001 plenary meeting. They have been forwarded to JTC1 for approval (during 2003) and implementation by ITTF (during 2004). This year, however, JTC1 voted to confirm ISO/IEC 13814 rather than withdraw it as requested by WG9 and SC22. The SC22 Secretariat conducted a letter ballot authorizing it to request that JTC1 reconsider its action. Accordingly, the request was sent to JTC1 and JTC1 has responded by circulating a letter ballot (J1N7405) to withdraw the standard. The ballot ended on 22 June 2004 with the decision to recommend withdrawal (22N7451). Implementation awaits action by ITTF.

Report
Discussion   

[Agenda]


Project Editor Maintenance Report, ISO/IEC 15291

Document Status ISO/IEC 15291:1999, Information Technology--Programming Languages--Ada Semantic Interface Specification (ASIS), 22.15291, Steve Blake and Greg Gicca, Project Editors, supported by the ASIS Rapporteur Group.
Open Item

Resolution 45-7:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period:

  • ISO/IEC 15291:1999, Information Technology--Programming Languages--Ada Semantic Interface Specification (ASIS)

Status: SC22 endorsed this recommendation at its September 2003 plenary. The request has been forwarded to JTC1.

Prior Discussion

From Minutes of Meeting #44 [N428]:

It was decided to confirm the standard for now although eventual revision is desired. It was reported that Clyde Roby is willing to remain as co-editor.

From Minutes of Meeting #45 [N434]:

Greg Gicca was nominated by the ASIS RG and by WG9 to replace Steve Blake as project editor.

Email from Convener to SC22 Secretariat, 19 December 2003:

SC22/WG9 has nominated Greg Gicca to serve as co-editor of ISO/IEC 15291, replacing Steve Blake. Clyde Roby continues to serve as a co-editor of the project.

Please place this item on the agenda for action by SC22 at its next plenary. Because the next plenary does not occur for nine months, I am advising you that Gicca will replace Blake and serve in an acting capacity beginning immediately.

From SC22 N3813, Resolutions of the Sep 2004 Plenary Meeting:

Resolution 04-10: Appointment of Project Editors ... JTC 1/SC 22 approves the following appointments as SC 22 Project Editors ... Greg Gicca (US) for ISO/IEC 15291 Ada Semantic Interface Specification.

From 14 Sep 2004 email from WG9 Convener to SC22 Secretariat:

I must inform you that Mr. Gicca was not nominated by the US. Ultimately, I suspect that the US will decline to confirm him as project editor. Mr. Gicca was actually nominated by ACM SIGAda, a Category C liaison to SC22/WG9.

Report  
Discussion  
Resolution

[Agenda]


Project Editor Maintenance Report, ISO/IEC TR 15942

Document Status ISO/IEC TR 15942:2000, Guidance for the Use of Ada in High Integrity Systems, 22.15942, Brian Wichmann, Project Editor, supported by the Annex H Rapporteur Group.
Open Item

From 2004 SC22 Plenary: Resolution 04-05: Standards for 2005 Periodic Review

JTC 1/SC 22 recommends to JTC 1 that at the end of their 5-year review period, the
following standards and technical report be confirmed … ISO/IEC TR 15942: 2000,
Guidance for the use of Ada Programming Language in High-Integrity Systems.

Status: The request has been forwarded to JTC1 for action.

[Agenda]


Project Editor Maintenance Report, ISO/IEC 18009

Document Status ISO/IEC 18009:1999, Conformity Assessment of an Ada Language Processor, 22.18009, Erhard Ploedereder, Project Editor, supported by the Ada Rapporteur Group.
Open Item

Resolution 45-6:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period:

  • ISO/IEC 18009:1999, Conformity Assessment of an Ada Language Processor

Status: SC22 endorsed this recommendation at its September 2003 plenary. The request has been forwarded to JTC1.

Prior Discussion

From Minutes of Meeting #46 [N440]:

It was asked if the document should be "stabilized" rather than confirmed. The convener replied that the JTC1 Secretariat has interpreted the directives as requiring that a document must first be confirmed before it can be stabilized.

[Agenda]


Unfinished Business

There was no unfinished business.

[Agenda]


New Business

Response to SC22 Instruction Regarding Character Set Coding

Background

From 2004 SC22 Plenary Meeting:

"Resolution 04-15: Coded Character Sets: JTC 1/SC 22 agrees that the proposed implementation of coded character set support described in document N 3758 agrees with the principles for coded character set support previously adopted by SC 22, notably resolution 02-24. JTC 1/SC 22 instructs WG 9 to consider referencing ISO/IEC TR 10176 Annex A in the revision of the Ada language standard."

From Convener's Email, 18 Sep 2004:

... SC22 approved our approach to character set coding but explicitly instructed us to "consider" referencing TR10176. Referencing 10176, though, would diverge from our planned approach.

Kiyoshi Ishihata and Steve Michell, who attended the plenary, advise me that no response is necessary beyond describing our approach in a document such as the planned Ada rationale. I, however, am concerned about the existence of formal written comments questioning our approach. I believe that such comments should be addressed in a formal explanatory report.

We will resolve this question at the next meeting of WG9. To enable that discussion, I have drafted a suitable explanatory report [N445] and have attached it for your consideration.

Discussion

CA suggested change of final word of explanatory report from "instead" to "alone". Erhard asked if this is too much mud thrown at them - there are opinionated statements and factual statements; remove the opinionated ones. Strike "already", "moving target", etc. At very beginning, 1st bullet of Purpose should be more positive, "but has decided to reference the more recent...". Also add that there is cooperation among WG9 and ... in updating 10176.
direct Convenor to send an edited revision of this document to SC22 - Jim will update this and distribute it for comment
Erhard will report back to DIN that we are working with editor of 10176.

Convener's note: Immediately following the meeting, N445 was edited as directed. The revised document [N447] will be quickly circulated to ensure that the requested changes were implemented and then it will be sent to SC22.

Possible Resolution  [Resolution 47-6]

Possible high integrity work in SC22

The Chair of SC22 noted that it has not started a new group in several years; Jim, due to some work he's done at MITRE, suggests that SC22 look again at language/subsets concerning high integrity. It went to an ad hoc WG which recommended appointment of a subgroup of adhoc to make a proposal to be sent to the adhoc in March, which might be sent to SC22 as a NWI. Steve: If it's done, it's not clear what form it might take. Jim is looking for ideas and has received several proposals from all over the map. There is some support for a document similar to TR 15942 but for multiple languages. After Xmas, will work on some sort of proposal. Next meeting is end of March, thus must have it by end of January. It was suggested that WG9 should lead this work. Alan: not really the language helping HI, but the language helping to support verification. NOTE: HRG plans to offer a strategy for revising 15942 at the next meeting of WG9.

[Agenda]


Administrative Actions

Action:

We appreciate the comfortable accommodations provided by SIGAda. The resolution expresses WG9's gratitude.

[Resolution 47-10]

Action:

We appreciate the services of the meeting Secretary. The resolution expresses WG9's gratitude.

[Resolution 47-11]

Action:

We appreciate the continuing services of the WG9 Web Master. The resolution expresses WG9's gratitude.

[Resolution 47-12]

Action:

According to the JTC1 Directives, Rapporteur Groups serve from meeting to meeting of the parent body. The following resolution continues the existing RGs and appoints their membership until the next meeting of WG9.

[Resolution 47-2]

[Agenda]


Review of New Action Items

Action Item 47-1 [Convener] Request SC22 to endorse free availability of the Ravenscar Guide, ISO/IEC TR 24718.
Action Item 47-2 [Convener] Determine if processing of the Amendment can be accelerated by combining votes at the SC22 level.
Action Item 47-3 [ASIS Rapporteur] At next meeting of WG9, report on vitality of ASIS RG and recommend any changes in duties to facilitate the update of ASIS to Ada 2005.

[Agenda]


Final Consideration of Resolutions

All resolutions were approved unanimously except as noted.

Administration

Resolution 47-1:

The minutes of Meeting #46 as contained in document N440 are approved.

[Discussion] [Agenda]

Resolution 47-2:

ISO/IEC JTC1/SC22/WG9 continues its three Rapporteur Groups until the next plenary meeting and expresses its grateful appreciation to the Rapporteurs and members for their continuing service. The following are continued as Rapporteurs:

The membership of the ARG is designated to be: Steve Baird, Ted Baker, John Barnes, Randy Brukardt, Alan Burns, Robert Dewar, Gary Dismukes, Robert Duff, Kiyoshi Ishihata, Pascal Leroy, Steve Michell, Erhard Ploedereder, Jean-Pierre Rosen, Ed Schonberg, Tucker Taft, and Joyce Tokar.

The membership of the ASIS Rapporteur Groups is continued.

The membership of the Annex H Rapporteur Group is continued.

The Convener of WG9 is authorized to act for WG9 between meetings in appointing additional members of Rapporteur Groups. In doing so, he shall consult with the Rapporteur and the National Body or Liaison Organization nominating the member.

Rapporteurs are instructed that they may permit other individuals to observe the deliberations of the Rapporteur Group. The admission of observers and the extent of participation permitted to observers are at the discretion of the Rapporteur with the concurrence of the membership of the Rapporteur Group.

[Discussion] [Agenda]

Resolution 47-3:

WG9 schedules future meetings as follows:

[Discussion] [Agenda]

Work Programme

Resolution 47-6:

WG9 directs its convener to respond to SC22 Resolution 04-15 by sending an edited revision of document WG9 N445 to the Secretariat of SC22.

Convener's note: The edited revision of the document is N447.

[Discussion] [Agenda]

Resolution 47-9

WG9 approves the following AIs as written by the ARG, subject to their final editorial correction by the ARG, for incorporation into the planned Amendment to ISO/IEC 8652:

AI95-00266-02/08 04-11-09 -- Task termination procedure
AI95-00284-02/03 04-11-09 -- New reserved words
AI95-00285-01/11 04-11-10 -- Support for 16-bit and 32-bit characters
AI95-00286-01/09 04-11-08 -- Assert pragma
AI95-00287-01/09 04-11-08 -- Limited aggregates allowed
AI95-00297-01/10 04-11-12 -- Timing events
AI95-00317-01/10 04-11-09 -- Partial parameter lists for formal packages
AI95-00318-02/07 04-11-05 -- Limited and anonymous access return types
AI95-00327-01/07 04-11-10 -- Dynamic ceiling priorities
AI95-00344-01/07 04-11-07 -- Allow nested type extensions
AI95-00345-01/07 04-11-11 -- Protected and task interfaces
AI95-00355-01/07 04-11-11 -- Priority Specific Dispatching including Round Robin
AI95-00362-01/05 04-11-08 -- Some predefined packages should be recategorized
AI95-00363-01/05 04-11-07 -- Eliminating access subtype problems
AI95-00364-01/04 04-11-07 -- Fixed-point multiply/divide
AI95-00368-01/04 04-11-09 -- Restrictions for obsolescent features
AI95-00381-01/03 04-11-09 -- New Restrictions identifier No_Dependence
AI95-00384-01/04 04-11-09 -- Conversion rules should be symmetric

In addition, WG9 approves the following "normal AIs":

AI95-00051-01/14 04-11-08 -- Size and Alignment clauses
AI95-00100-01/05 04-04-22 -- Truncation required for static expressions if Machine_Rounds is false
AI95-00133-01/05 04-09-28 -- Controlling bit ordering
AI95-00204-01/06 04-11-08 -- Language interfacing support is optional
AI95-00214-01/04 04-11-08 -- Distinct Names for Compilation Units (again).
AI95-00239-01/04 04-11-08 -- Controlling inherited default expressions
AI95-00269-01/06 04-11-03 -- Generic formal objects can be static in the instance
AI95-00279-01/07 04-11-08 -- Tag read by T'Class'Input
AI95-00280-01/05 04-11-04 -- Allocation, deallocation, and use of objects after finalization
AI95-00294-01/04 04-04-22 -- Instantiating with abstract operations
AI95-00320-01/04 04-11-09 -- Violating Ada semantics with an interfacing pragma
AI95-00333-01/06 04-11-09 -- Other Locking_Policies can be used with FIFO_Within_Priorities
AI95-00334-01/03 04-11-08 -- Is overriding of abstract equality required?
AI95-00335-01/03 04-11-08 -- Stream attributes may be dispatching subprograms
AI95-00341-01/02 03-11-08 -- Primitive subprograms are frozen with a tagged type
AI95-00349-01/02 03-11-07 -- Equality on private extensions
AI95-00376-01/02 04-11-09 -- Interfaces.C works for C++ as well
AI95-00378-01/02 04-11-09 -- The bounds of Ada.Exceptions.Exception_Name

France voted against the approval of AI95-00266.

[Discussion] [Agenda]

Appreciation

Resolution 47-10:

ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to ACM SIGAda for their gracious accommodations in hosting Meeting #47.

[Discussion] [Agenda]

Resolution 47-11

ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Clyde Roby for serving as Secretary of Meeting #47.

[Discussion] [Agenda]

Resolution 47-12:

ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Clyde Roby for his continuing service in maintaining the WG9 Web Page.

[Discussion] [Agenda]


Adjournment

The meeting was recessed at approximately 5:00 pm. HODs may anticipate email ballots to be conducted during the months between this meeting and the next one.

[Agenda]


References

WG9 Documents

N388, Request for Subdivision of Project ISO/IEC 8652:1995

N389, Minutes, Meeting #40 of ISO/IEC JTC1/SC22/WG9, Friday, 18 May 2001, Leuven, Belgium

N400Minutes, Meeting #41 of ISO/IEC JTC1/SC22/WG9, Friday, 5 October 2001, Bloomington, Minnesota, USA

N404Working Draft, Revision of ISO/IEC 13813

N405, Recommendation on ISO/IEC 13813 from the UK

N406, Procedures of the Ada Rapporteur Group

N409r, Minutes, Meeting #42, ISO/IEC JTC1/SC22/WG9, Friday, 21 June 2002, Vienna, Austria

N412, Instructions to the Ada Rapporteur Group from SC22/WG9 for Preparation of the Amendment to ISO/IEC 8652, 10 October 2002

N414, Notification of Approval of Category C Liaisons between SC 22/WG 9 and Ada-Europe and SIGAda

N416, Charter of the Annex H Rapporteur Group (HRG)

N417, Charter of the ASIS Rapporteur Group (ASISRG)

N418, Minutes, Meeting #43, ISO/IEC JTC1/SC22/WG9, Friday, 13 December 2002, Houston, Texas, USA

N419, SIGAda's Approach to the Management of Ada Bindings to Application Program Interfaces (APIs), Clyde Roby, SIGAda, Presented to ISO/WG9, December 13, 2002

N423, Convener's Comments on Instructions to the Ada Rapporteur Group from SC22/WG9 for Preparation of the Amendment to ISO/IEC 8652, December 2002

N424, University of York Technical Report YCS-2003-348, Guide for the use of the Ada Ravenscar Profile in high integrity systems

N426, Proposed New Work Item, Guide for the use of the Ada Ravenscar Profile in High-Integrity Systems

N428r, DRAFT Minutes, Meeting #44 of ISO/IEC JTC1/SC22/WG9, 20 June 2003, Toulouse, France

N434, Minutes, Meeting #45 ISO/IEC JTC1/SC22/WG9, Friday, 12 December 2003, San Diego, California, USA

N435, Draft for PDTR Approval Ballot, ISO/IEC TR 24718, Guide for the use of the Ada Ravenscar Profile in high integrity systems, 14 Feb 2004

N437, ARG Rapporteur's Proposal for Defining Scope of Amendment to ISO/IEC 8652:1995, 9 April 2004

N439r, Convener's Report, 2004, ISO/IEC JTC1/SC22/WG9 (Ada)

DRAFT N440, Minutes, Meeting #46 ISO/IEC JTC1/SC22/WG9, Friday, 18 June 2004, Palma de Mallorca, Spain

N441, SC22 N3758, WG9 Request for National Body Contributions on Implementation of Coded Character Sets in Ada (text document),

N442, Draft submitted for DTR Approval Ballot, ISO/IEC TR 24718, Guide for the use of the Ravenscar Profile in high integrity systems, 20 July 2004 (PDF file, 626 KBytes)

N443, Announcement and Draft Agenda, Meeting #47 of ISO/IEC JTC1/SC22/WG9, Thursday, 18 November 2004 Atlanta, Georgia, USA

N444, Meeting Report: ISO/IEC JTC1/SC22, 6-10 September 2004, Jeju, Republic of Korea

N445, DRAFT Explanatory Report re SC22 Resolution 04-15

N446, Draft Detailed Agenda, Meeting #47 of ISO/IEC JTC1/SC22/WG9, Thursday, 18 November 2004, Atlanta, Georgia, USA

N447, Explanatory Report re SC22 Resolution 04-15 (Revision of N445)

External Web Sites

ISO Web Site: http://www.iso.ch/

ITTF Web site of publicly available standards: http://isotc.iso.ch/livelink/livelink/fetch/2000/2489/Ittf_Home/PubliclyAvailableStandards.htm. (Click on "Proceed to Public Areas". No username or password is required.)

JTC1 Web Site: http://www.jtc1.org/

SC22 Web Site: http://www.open-std.org/JTC1/SC22/

WG9 Web Site: http://www.open-std.org/JTC1/SC22/WG9/

ACAA Web Site: http://www.ada-auth.org/

ACAA Web Site for ARG Minutes: http://www.ada-auth.org/arg-minutes.html

ACAA Web Site for AIs: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/

ACAA Web Site for Amendment: http://www.ada-auth.org/amendment.html

Ada-Europe Web Site: http://www.ada-europe.org/

Ada-Europe 2004 Conference Web Site: http://dmi.uib.es/~AE2004/

SIGAda Web Site: http://www.acm.org/sigada/

SIGAda 2004 Conference Web Site: http://www.sigada.org/conf/sigada2004/

[Agenda]


End of Document