ISO/IEC JTC1/SC22/WG9 N455

Draft 4, 9 November 2005, Jim Moore.

Draft Detailed Agenda
Meeting #49 of ISO/IEC JTC1/SC22/WG9
17 November 2005
Atlanta, Georgia, USA

The next meeting of ISO/IEC JTC1/SC22/WG9 will colocate with the SIGAda conference. The meeting is scheduled to begin at 2:00 pm and may run into the early evening. I am expecting that a data projector will be provided for the meeting.

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

The announcement and preliminary agenda for this meeting were circulated as N453.


Agenda

References


Detailed Agenda Items


Opening Orders, Jim Moore, Convener

Call to Order

The meeting is scheduled to begin at 2:00 pm.

Welcoming Remarks by Host

Our host for the meeting is SIGAda.

Appointment of Meeting Secretary

The convener would appreciate a volunteer to take notes during the meeting.

Approval of Agenda

The meeting agenda is shown here.

Approval of Minutes of Meeting #48

Background

The draft minutes of Meeting #48 are recorded in document N451

.

Resolution [Resolution 49-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 (HOD) (unable to attend) Report
Japan Kiyoshi Ishihata (unable to attend) Report
Switzerland Urs Mauer (HOD) (unable to attend) Report
UK John Barnes (HOD) Report
USA Joyce Tokar (HOD), Randy Brukardt Report

Liaison Representatives

Ada-Europe Erhard Ploedereder
SIGAda Currie Colket, John McCormick, Geoff Smith

WG9 Officers:

Convener Jim Moore
Webmaster Clyde Roby
ARG Rapporteur Pascal Leroy
HRG Rapporteur Alan Burns (unable to attend)
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
ISO/IEC TR 15942: Brian Wichman (unable to attend)
ISO/IEC 18009: Erhard Ploedereder
ISO/IEC TR 24718: Alan Burns (unable to attend)

Other Attendees:

 Observers:  

HOD Reports:

Belgium [No written report.]
Canada [No written report.]
France

Email from Jean-Pierre Rosen, 3 November 2005:

The Ada group of AFNOR met on 2005/11/03, in preparation of the upcomming meeting of WG9.

The future of the group remains uncertain, as some sponsors may be discontinuing their support.

The group reviewed the documents sent by the convenor of WG9.

A question arose recently regarding the format used for the distribution of the upcomming amendment. Only "read-only" formats (PDF and HTML) formats are used, to preserve the authenticity of the documents. However, this precludes other formats, notably ASCII, that are convenient for some uses. AFNOR suggests to allow the distribution of such formats, provided a signature is published to allow authentication of the document. AFNOR proposes to add a discussion about this issue to the agenda of the meeting.

Germany [No written report.]
Italy [No written report.]
Japan [No written report.]
Switzerland [No written report.]
UK

Email from John Barnes, 3 November 2005:

The BSI Ada Panel met recently. They were very pleased with the choice of vernacular name for the language and general progress. One member had doubts regarding some aspects of the package Calendar and its children but this had resulted from confusion regarding the nature of time and the rotation of the Earth. Some suggestions regarding additional terms for the glossary were made as a result of comparison with glossaries for other languages. These suggestions were taken heed of by the Editor.

US  [No written report.]

[Agenda]


Liaison Reports


Report of Ada-Europe Liaison Representative, Erhard Ploedereder

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

[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.

From Minutes of Meeting #47 [N448]:

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.

[Agenda]


Convener's Report

Report 

End of Convener's Term

It should be noted that my third term as convener will end with the SC22 plenary of September 2006. Considering the two years spent as acting convener, I will have served for eleven years in all. The procedure for filling the position is for the US to nominate a person who must then be confirmed by SC22. If the US cannot find a candidate, then the convenership will be made available to other national bodies.

Recent Plenary Meeting of SC 22

Because of unusual rules regarding the participation of conveners in US delegations, I chose to attend this meeting as a member of the US delegation rather than as convener of WG 9. I thank Steve Michell (Canada) for representing the interests of WG 9 in the meeting. All of the requests of WG 9 were favorably considered:

  • An SC 22 letter ballot will be issued to recommend confirmation of ISO/IEC 8652 (along with many other standards needing systematic review in 2006).
  • A resolution reiterated the request of WG 9 and SC 22 to withdraw ISO/IEC 13814.
  • A resolution reiterated the request of free availability for ISO/IEC TR 24718 (along with several other documents in similar situations).
  • A resolution approved our request to skip PDAM balloting and move directly to FPDAM ballot when the amendment to ISO/IEC 8652 is submitted to SC 22.

The SC 22 meeting provided other developments that may be of interest to participants in WG 9:

  • A new project on programming language vulnerabilities has been approved. It has been assigned to the so-called "OWG:Vulnerabilities" to be convened by James Moore. SC 22 working groups have been asked to assign representatives as participants in the OWG and to invite the OWG to colocate with their meetings. I have placed an item on our agenda under New Business.
  • The Free University of Amsterdam has been doing work on "browsable" grammars. SC 22 has asked its working groups to consider the relevance to their work. I have assigned an action item to the editor of ISO/IEC 8652.
  • SC 22 is making the transition to a document repository managed by the LiveLink tool. However, it will continue its current website as a mirror for the time being and has authorized its working groups to continue their own arrangements for web sites.
  • Last year at the request of SC 22, we provided information on the terminology contained in our standards. After considering the results, SC 22 concluded that a consolidated descriptive (versus prescriptive) vocabulary might be useful.

Retirement of Kiyoshi Ishihata from WG 9

Kiyoshi Ishihata has moved up to serve as the Head of the Japanese delegation to SC 22. As a result, he will no longer attend meetings of WG 9. I appreciate his long service and many contributions to WG 9.

This Meeting

Of course, the most important topic for this meeting is to determine the next steps for the processing of the amendment to ISO/IEC 8652. This will be discussed during the report of the Rapporteur of the ARG.

An additional item of importance is to develop a plan for the revision of ISO/IEC 15291, ASIS, to deal with the revised Ada language. This duty has been assigned to the ARG. I have scheduled a discussion under new business to discuss a plan for accomplishing this work.

[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]

Action Item 46-1:

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

For status, see [Report of Ada Rapporteur Group]

Action Item 47-1

[Convener] Request SC22 to endorse free availability of the Ravenscar Guide, ISO/IEC TR 24718.

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

Action Item 47-1A

[Editor, TR 24718] Monitor implementation by ITTF of free availability for ISO/IEC TR 24718.

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

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.

Status: CLOSED administratively by convener.

Action Item 48-1

[US, Joyce Tokar]

If practical, prepare a submission to the HOPL conference regarding Ada 95.

Status: CLOSED. Joyce Tokar and John Barnes submitted a paper.

Resolution 48-4: 

WG9 requests the project editor of the 8652 amendment to remain prepared to respond to any request from ITTF for a manuscript of a third edition to 8652. 

For status: See [Project Editor Maintenance Report, 8652]

Resolution 48-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 8652:1995, Information Technology--Programming Languages--Ada, as amended by COR.1:2001. This recommendation is made with the understanding that WG9 is currently preparing an amendment to the standard with completion expected during 2006. 

For status: See [Project Editor Maintenance Report, 8652]

Resolution 48-8 

In order to begin work on a revision of the ASIS standard appropriate to Ada 2005, WG9 assigns the scope of ASIS to the Ada RG. The WG9 convener is requested to provide a proposal by the November 2005 meeting of WG9, including scope of work, plan of work, schedule and personnel. WG9 encourages SIGAda to formulate proposals for extending the ASIS specification to include the new language elements of Ada 2005. 

For status: See [New Business: Future of ASIS]

The following are new items assigned by SC 22:

Action Item 48a-1

[Convener] (Assigned by SC22 Resolution 5-14) Identify one or more WG 9 representatives to OWG:Vulnerability. Determine whether to invite the OWG to colocate with a WG9 meeting.

For status: See [New Business: OWG:Vulnerability]

Action Item 48a-2

[Editor of 8652] (Assigned by SC22 Resolution 5-15) Review the work of the Free University of Amsterdam on "Grammar Engineering" at http://www.cs.vu.nl/grammars/browsable (and as discussed in JTC 1/SC 22 N 3977), investigate areas for cooperation, and report upon progress made and issues found.

For status: See [Project Editor Maintenance Report, 8652]

[Agenda]


Scheduling of Meetings

Background

Resolution 48-3 scheduled "Meeting #50 in conjunction with the 2006 Ada-Europe conference, on the morning of Friday, 9 June 2006, Porto, Portugal"

The resolution offered below merely confirms the previous resolution and adds the intent to meet with SIGAda in 2006.

Resolution [Resolution 49-4

[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.

WG9 N447, Explanatory Report re SC22 Resolution 04-15

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.

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.

From Minutes of Meeting #47 [N448]:

The Ada Rationale will include a note explaining why the Amendment references IS 10646 regarding character set coding rather than TR 10176. [Document N447 is relevant.] ...

From email note from convener, 22 March 2005:

...Pascal Leroy has advised me that the preparation of the amendment to 8652 may not be completed by mid-May. He has suggested that I prepare an alternative plan for moving forward. That is the subject of this note.

I believe that it is necessary for WG9 to review the document in two stages. The first stage is a constructive review, intended to find any remaining blemishes in the document. During this stage, it might be appropriate to "socialize" the draft by giving it wider circulation within the nations represented in WG9. (Formally, this socialization occurs at the "enquiry" stage of SC22 balloting -- but that's too late for us.)

The second stage is the formal approval by WG9. If this falls after our meeting, it would be an email ballot. Because of ISO rules, the ballot would have a minimum length of 30 days. I would not expect comments from this ballot, simply a position: yes/no/abstain.

From email note of convener, 16 May 2005:

As we approach the end-game for the Amendment to ISO/IEC 8652, it is important for us to handle the document so that intellectual property rights are appropriately conveyed. This is performed through a "contribution" to ISO/IEC JTC 1/SC 22/ WG 9. In this case, the contribution is made by the US National Body.

The text of the draft amendment is currently the property of AXE Consultants. It was prepared under a contract initiated by The MITRE Corporation at the direction of the US Department of Defense. AXE Consultants has been coordinating with WG9's Ada Rapporteur Group (ARG) to ensure that the draft meets the requirements of the ARG as specified in their disposition of Ada Issues. The document will also be informally circulated to WG9 for comment. After dealing with the comments, a draft will be produced that carries the copyright of AXE Consultants.

When the time is appropriate to make the contribution, AXE Consultants will provide the document to the TAG Administrator, Robert Pritchard, of the IEEE. The document will be covered by a letter that explains that the document carries the AXE copyright in order to clarify the unfettered right of AXE Consultants to make the contribution, that AXE Consultants understands that the AXE copyright statement will be removed, and that an ISO copyright statement will be affixed to the document resulting from the JTC 1 balloting process.

Dr. Pritchard will forward the document to the "ISO Team" at ANSI. ANSI will send the document to the SC22 Secretariat--the formal "contribution". The SC22 Secretariat will forward the document to the Convener of WG9. The Convener will cover the document with a note explaining the situation with the AXE copyright and will then commence a formal WG ballot to approve sending the draft to SC22 for balloting.

From the minutes of Meeting #48 [N451]:

Germany asked the convener to update the previous schedule based on the assumption that [the draft amendment would be delivered by WG 9 by the ARG on] 1 October. The convener replied as follows:

  • 1 to 31 October: Informal review by member bodies and "socialization" to the public, resulting in minor comments.
  • 1 to 30 November: ARG makes changes based on received comments.
  • 1 to 31 December: Email letter ballot for WG9 approval.
  • After these steps, the document goes to SC22 and then JTC1 for their approval. The "speed of light" for these steps is 6 months. So, if the ARG releases the draft for informal review by member bodies on October 1, the earliest possible date for approval of the amendment by JTC1 would be 30 June 2006. In practice, administrative delays would add another month or two to this date.
  • Publication of the resulting amendment would occur after an indeterminate period of time. (In answer to a question, the convener noted that the amendment is dated according to its date of publication, not its date of approval.)

It was also noted that if the load of comments from the initial informal review is light and the comments are easily disposed, then it might be possible for WG9 to provide its approval at Meeting #49 in November rather than by conducting an email ballot. This would serve to accelerate the schedule by about 6 weeks.

It was noted that speedy processing crucially depends on receiving comments early in the cycle (e.g. during the first informal review) rather than later (e.g. during balloting by SC22). To improve these prospects, HODs were encouraged to achieve the widest possible circulation to interested parties during the informal review. In addition, it was decided to make the draft available on the WG9 web site with instructions for sending comments to Heads of Delegation.

It was noted that comments may still result from SC22 balloting despite WG9's best efforts. The convener said that he may have to schedule comment disposition meetings; this would have the effect of delaying progress toward JTC1 approval.

From Meeting Report: ISO/IEC JTC 1/SC 22, 29 September to 2 October 2005, Mont Tremblant, Quebec, Canada [N454]:

Resolution 05-29: Authorization to Initiate an FPDAM Ballot for Ada
JTC 1/SC 22 instructs its Secretariat to initiate an FPDAM ballot for ISO/IEC 8652: 1995, Ada, upon receipt of the text from the WG 9 (Ada) Convener.

Action Item 46-1:

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

Status: None

Report

Email from Pascal Leroy, 4 November 2005:

The ARG met in York, UK, in June. The meeting was mostly devoted to studying and validating the corrections made during the preparation of draft 12 of the Amendment document and the Reference Manual. A number of significant integration issues were identified, which were resolved after the meeting and incorporated into later drafts. It was agreed not to have a meeting before SIGAda, but instead to handle subsequent lists of corrections through letter ballots.

Draft 12 (released immediately before the York ARG meeting) was complete through the end of section 11. Draft 13 was released at the end of August and was complete through the end of Annex D. Finally, draft 14, which is the first complete draft, was released at the end of October.

The list of corrections made between drafts 12 and 13 was made available at the same time as draft 13, and a letter ballot took place from September 23rd to October 7th to approved these corrections. Of the 16 official ARG members 12 responded, all in favors. Two members made comments which were incorporated into draft 14.

While it had been anticipated that all corrections would be handled by letter ballot, the timing of the release of draft 14 is such that this procedure is not necessary: the corrections made between drafts 13 and 14, as well as new AIs dealing with integration issues, will be discussed in person at the upcoming ARG meeting, to be held in Atlanta, GA, immediately after the WG9 meeting.

The plan at this point is that after the ARG meeting any changes needed to reflect the decisions of the ARG will be integrated into a new draft 15. Hopefully these changes will be rather minor, so this work should be completed quickly, and draft 15 should be released to WG9 by the end of November.

While it is understood that the document delivered to WG9 is the Amendment document, the ARG, in compliance with resolution 48-3, is prepared to provide an integrated document (known in the vernacular as Reference Manual), and special care has been taken to ensure the consistency of these documents.

The ARG doesn't have a list of AIs for approval at this meeting. As explained above, all of the new AIs are addressing integration problems, and approving them in isolation doesn't make much sense.

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

Resolutions [ Resolution 49-2 ]

[Agenda]


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

Background WG9 N416, Charter of the HRG
Prior Discussion

From email note of Convener, 19 March 2005:

I see that the Ravenscar Guide has been published by ISO Central Secretariat and is available for the price of 176 CHF.

ISO/IEC TR 24718:2005, Information technology -- Programming languages -- Guide for the use of the Ada Ravenscar Profile in high integrity systems,
Technologies de l'information -- Langages de programmation -- Guide pour l'usage de "Ada Ravenscar Profile" dans les systèmes de haute intégrité
(disponible en anglais seulement)

From the minutes of Meeting #48 [N451]:

The Annex H Rapporteur made an oral report: After the current language revision effort is complete, the HRG will consider whether to update ISO/IEC TR 15942. The Rapporteur will take steps to update the membership of the Rapporteur Group at that time.

Report

The HRG has not met since the last meeting of WG9. It has reviewed (by email) its future agenda and has decided that it should revisit the Guidelines for use of Ada in High Integrity Applications report with a view to updating it for Ada 2005. A plan to review this report will be drawn up once the Ada 2005 definition has been passed by WG9.

The current membership of the HRG is

Canada: Stephen Michell, Mark Saaltink
France: Jean-Pierre Rosen, Patrick de Bondeli
Germany: Erhard Ploedereder
Italy: Tullio Vardanega
UK: Alan Burns, Brian Wichmann, Peter Amey, Michael Pickett, John Barnes, Rod Chapman
US: Joyce Tokar, Robert Dewar, Bob Duff
Ada Europe: Juan Antonio de la Puente
SIGAda: George Romanski, Michael Holloway

Resolutions [ Resolution 49-3 ]

[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.

Maintenance action is due in 2005.

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.

Open Item

Resolution 48-4: 

WG9 requests the project editor of the 8652 amendment to remain prepared to respond to any request from ITTF for a manuscript of a third edition to 8652. 

Status: Continuing

Open Item

Resolution 48-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 8652:1995, Information Technology--Programming Languages--Ada, as amended by COR.1:2001. This recommendation is made with the understanding that WG9 is currently preparing an amendment to the standard with completion expected during 2006. 

Status: Resolution 05-33 of the 2005 Plenary Meeting of SC 22 scheduled a letter ballot on systematic review requests, including this one.

Open Item

Action Item 48a-2:

[Editor of 8652] (Assigned by SC22 Resolution 5-15) Review the work of the Free University of Amsterdam on "Grammar Engineering" at http://www.cs.vu.nl/grammars/browsable (and as discussed in JTC 1/SC 22 N 3977), investigate areas for cooperation, and report upon progress made and issues found.

Status: None

Report [No written report.]
Resolution .

[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 implementation by ITTF.) 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 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). At its 2005 plenary meeting, SC 22 approved resolution 05-05: "JTC 1/SC 22, noting JTC 1/SC 22 Resolution 01-07 and that this withdrawal request has not been completed and that this standard is listed as confirmed on the ISO website, requests that the withdrawal of ISO/IEC 13814: 1998 be implemented."

Report [No written report.]

[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, Clyde Roby and Greg Gicca, Project Editors, supported by the ASIS Rapporteur Group.

This document was "confirmed" by JTC 1 in its 2004 systematic review.

Report [No written report.]

[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.

Maintenance action is due in 2005.

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 during 2005.

Report [No written report.]

[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.

This document was "confirmed" by JTC 1 in its 2004 systematic review.

Report [No written report.]

[Agenda]


Project Editor Maintenance Report, ISO/IEC TR 24718

Document Status

ISO/IEC TR 24718:2005, Guide for the use of the Ada Ravenscar Profile in high integrity systems

22.24718, Alan Burns, Project Editor, supported by the Annex H Rapporteur Group

This is a Type 3 Technical Report providing guidance for users. It is due for maintenance action in 2010.

Open Item:

Action Item 47-1A:

[Editor, TR 24718] Monitor implementation by ITTF of free availability for ISO/IEC TR 24718.

Status: The 2005 JTC1 letter ballot on free availability for TR 24718 (the Ravenscar Guide) completed with no objections. The request has been forwarded to ITTF for implementation. At its 2005 plenary meeting, SC22 approved resolution 05-01 reiterating the request.

Report [No written report.]

[Agenda]


Unfinished Business

[The convener knows of no unfinished business.]

[Agenda]


New Business

The Future of ASIS

Open Item

Resolution 48-8 

In order to begin work on a revision of the ASIS standard appropriate to Ada 2005, WG9 assigns the scope of ASIS to the Ada RG. The WG9 convener is requested to provide a proposal by the November 2005 meeting of WG9, including scope of work, plan of work, schedule and personnel. WG9 encourages SIGAda to formulate proposals for extending the ASIS specification to include the new language elements of Ada 2005. 

Status: The convener prepared such a plan and distributed it as N456.

Prior Discussion

From the minutes of Meeting #48 [N451]:

There was general agreement that the revision effort should be conducted under the supervision of the ARG in order to ensure consistency with the language revision. It was also agreed, though, that the ARG should devote all of its energy during the next few months to completing the language amendment.

OWG:Vulnerability

Open Item

Action Item 48a-1

[Convener] (Assigned by SC22 Resolution 5-14) Identify one or more WG 9 representatives to OWG:Vulnerability. Determine whether to invite the OWG to colocate with a WG9 meeting.

Status: None

Format for Distribution of Amendment

From Report of French NB  A question arose recently regarding the format used for the distribution of the upcomming amendment. Only "read-only" formats (PDF and HTML) formats are used, to preserve the authenticity of the documents. However, this precludes other formats, notably ASCII, that are convenient for some uses. AFNOR suggests to allow the distribution of such formats, provided a signature is published to allow authentication of the document. AFNOR proposes to add a discussion about this issue to the agenda of the meeting.

[Agenda]


Administrative Actions

Action:

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

[Resolution 49-10]

Action:

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

[Resolution 49-11]

Action:

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

[Resolution 49-12]

[Agenda]


Review of New Action Items

Action Item 49-1  TBD 

[Agenda]


Final Consideration of Resolutions

[Numbering of resolutions is provisional and will be changed following the meeting.]

Administration

Resolution 49-1:

The minutes of Meeting #48 as contained in document N451 are approved.

[Discussion] [Agenda]

Resolution 49-2:

ISO/IEC JTC1/SC22/WG9 continues its Ada Rapporteur Group until the next plenary meeting and expresses its grateful appreciation to the Rapporteur and the members for their continuing service.

Pascal Leroy (France) is continued as Rapporteur.

The membership of the ARG is designated to be: Steve Baird (SIGAda), John Barnes (UK), Randy Brukardt (US), Alan Burns (UK), Robert Dewar (US), Gary Dismukes (US), Robert Duff (US), Kiyoshi Ishihata (Japan), Pascal Leroy (France), Steve Michell (Canada), Erhard Ploedereder (Germany), Jean-Pierre Rosen (France), Ed Schonberg (US), Tucker Taft (US), Bill Thomas (SIGAda), Joyce Tokar (US), and Tullio Vardanega (Italy).

The Convener of WG9 is authorized to act for WG9 between meetings in appointing additional members of the ARG. 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 49-3:

ISO/IEC JTC1/SC22/WG9 continues its Annex H Rapporteur Group until the next plenary meeting and expresses its grateful appreciation to the Rapporteur and the members for their continuing service.

Alan Burns (UK) is continued as Rapporteur.

The membership of the HRG is designated to be: Peter Amey (UK), John Barnes (UK), Patrick de Bondeli (France), Alan Burns (UK), Rod Chapman (UK), Robert Dewar (US), Bob Duff (US), Michael Holloway (SIGAda), Stephen Michell (Canada), Michael Pickett (UK), Erhard Ploedereder (Germany), Juan Antonio de la Puente (Ada Europe), George Romanski (SIGAda), Jean-Pierre Rosen (France), Mark Saaltink (Canada), Joyce Tokar (US), Tullio Vardanega (Italy), and Brian Wichmann (UK).

The Convener of WG9 is authorized to act for WG9 between meetings in appointing additional members of the HRG. 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 49-4:

WG9 schedules future meetings as follows:

[Discussion] [Agenda]

Work Programme

Appreciation

Resolution 49-10:

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

[Discussion] [Agenda]

Resolution 49-11

ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to [TBD] for serving as Secretary of Meeting #49.

[Discussion] [Agenda]

Resolution 49-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]


Recess

The meeting is expected to end during the early evening. It is the convener's intention to recess the meeting subject to his call. 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)

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

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

N449, Announcement and Draft Agenda, Meeting #48 of ISO/IEC JTC1/SC22/WG9, Friday, 24 June 2005, York, UK

N450, Detailed Agenda, Meeting #48 of ISO/IEC JTC1/SC22/WG9, Friday, 24 June 2005, York, UK

N451, Minutes, Meeting #48, ISO/IEC JTC1/SC22/WG9, Friday, 24 June 2005, York, UK

N452r, Convener's Report, 2005, ISO/IEC JTC1/SC22/WG9 (Ada)

N453, Announcement and Draft Agenda, Meeting #49 of ISO/IEC JTC1/SC22/WG9, 17 November 2005, Atlanta, Georgia, USA

N454, Meeting Report: ISO/IEC JTC 1/SC 22 (Programming Languages, Operating Systems and Environments), 29 September to 2 October 2005, Mont Tremblant, Quebec, Canada

N455, Draft Detailed Agenda, Meeting #49 of ISO/IEC JTC1/SC22/WG9, 17 November 2005, Atlanta, Georgia, USA

N456, Convener Proposal for the Revision of the ASIS Standard, ISO/IEC 15291

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/

SC22 High Integrity Ad Hoc Group Web Site: http://www.aitcnet.org/isai/

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 2005 Conference Web Site: http://www.cs.york.ac.uk/rts/adaeurope/

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

SIGAda 2005 Conference Web Site: http://www.sigada.org/conf/sigada2005/

[Agenda]


End of Document