Drafted, 24 May 2003, Jim Moore
The next meeting of ISO/IEC JTC1/SC22/WG9 will be collocated with the Ada-Europe conference. It is scheduled to begin at 9:00 am on Friday, 20 June 2003.
Conference and venue information can be obtained at the conference web site.
The announcement and preliminary agenda for this meeting were circulated as N425.
The meeting is scheduled to begin at 9:00 am.
We need a volunteer to serve as meeting secretary.
| Background | The draft minutes of Meeting #43 are recorded in document N418. |
| Resolution | [Resolution 44-B] |
[Agenda]
| Canada | x | |
| France | ||
| Germany | ||
| Italy | ||
| Japan | ||
| Russia | ||
| Switzerland | ||
| UK | John Barnes (HOD), Alan Burns | |
| USA |
| Ada-Europe | |
| SIGAda |
| Convener | Jim Moore |
| Webmaster | |
| ARG Rapporteur | |
| ASIS RG Rapporteur | |
| HRG Rapporteur | Alan Burns |
| Project Editors |
| Those sending regrets include: |
[Agenda]
| Report |
Possible Reinstatement of ISO/IEC 12227JTC1 has established a new category of standards called "stabilized" to indicate standards that are no longer maintained but should nevertheless remain on the rolls because they are referenced by other standards or for historical reasons. When JTC1 established this category, they invited nations to nominate recently withdrawn standards for designation as stabilized. France has nominated ISO/IEC 12227. [SC22 N3576] ISO/IEC 12227 was completed and approved in 1995, the same
year that the Ada Resolution 36-3: ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following
standard be ISO/IEC 12227:1995 SQL/Ada Module Description Language (SAMeDL), Project JTC1.22.31 In due course, this recommendation was acted upon by SC22,
JTC1 and ultimately Recently, JTC1 created a new category of "stabilized"
standards. Some NBs AFNOR has nominated ISO/IEC 12227. At this time, this status of this request is not clear. Free Availability of TR 15942All approvals have been received and TR15942 is now included in the web site of publicly available standards. Systematic Review of StandardsEvery year, JTC1 reviews its work programme, notably those standards approved five years prior, hence requiring action to confirm, revise or withdraw. In advance of this consideration, WG9 is required to make a recommendation that is forwarded to SC22 for endorsement. This year, we must consider ISO/IEC 15291, ASIS, and ISO/IEC 18009, Conformity Assessment. Convener's TermMy second three-year term as convener is scheduled to end with the SC22 plenary meeting in September 2003. Because I served as acting Convener for a year prior to officially taking the job, my service in this regard will have spanned seven years. I have already announced that I will not seek another term as convener. I have advised the US National Body to initiate the search for a replacement. The procedure is that they will search for a candidate within the US. That candidate would be submitted to SC22 for approval at its 2003 plenary meeting. If the candidate is rejected (a truly rare occurrence), the US would look for a different candidate. If the US cannot find an acceptable candidate, the US would offer the convenership to other National Bodies. |
[Agenda]
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 38-4 |
ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Technical Report be withdrawn when it reaches the end of its five-year review period. The Technical Report is relevant to the 1987 version of the Ada language standard rather than the current version:
For status, see [Project Editor Maintenance Report, 11735] |
| Action Item 39-5 |
(HRG Rapporteur): Draft a New Work Item Proposal for the Technical Report providing guidelines and rationale for the use of the Ravenscar profile. Status: CLOSED. See N426. |
| 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 JTC1/SC22/WG9 recommends to SC22 that the following Standard be withdrawn when it reaches the end of its five-year review period:
For status, see: [Project Editor Maintenance Report, 13813] |
| Resolution 40-8 |
ISO/IEC JTC1/SC22/WG9 requests that SC22 request JTC1 and any other appropriate bodies to take action to ensure that ISO/IEC TR 15942 be made freely available on a web site. Status: CLOSED. All approvals have been received and TR15942 is now included in the web site of publicly available standards. |
| Action Item 42-3 |
(Convener and ASIS RG Rapporteur): Confer to develop a charter or other terms of reference defining the scope of work of the ASIS RG. Status: CLOSED. Resolution 43-3. |
| Action Item 42-4 |
(Convener and ASIS RG Rapporteur): Review ISO procedures for handling defects and develop an appropriate mechanism. Ensure that there are terms of reference for the ASIS RG. For status, see [ Report of ASIS Rapporteur Group ] |
| Action Item 42-6 |
(Currie Colket and Erhard Ploedereder) In cooperation with SIGAda, develop a proposal for a light-weight method for maintaining Ada APIs and present it to WG9. CLOSED. See N419. |
| 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:
For status, see [ Report of Ada Rapporteur Group ] |
| Action Item 43-1: |
(Convener) Forward a request to the ARG that it prepare a description of technical alternatives addressing the interaction of constrained access subtype and general access types. It is requested that the description include a discussion of tradeoffs among the proposed solutions. It is requested that this description be provided for the June 2003 meeting of WG9. For status, see [ Report of Ada Rapporteur Group ] |
[Agenda]
| Background |
Meeting #45 was tentatively scheduled by Resolution 43-4 [see N418]: WG9 tentatively schedules Meeting #45 in conjunction with the SIGAda 2003 conference on the Friday of the week that SIGAda 2003 is held and at the same place. The conference has now been scheduled for 7-11 December 2003 in San Diego, CA, USA. So the WG9 meeting would occur on Friday, 12 December 2003. |
| Resolution | [Resolution 44-H] |
[Agenda]
| 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 |
| Open Item |
Resolution 42-7WG9 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:
Status: OPEN. |
| Open Item |
Action Item 43-1: (Convener) Forward a request to the ARG that it prepare a description of technical alternatives addressing the interaction of constrained access subtype and general access types. It is requested that the description include a discussion of tradeoffs among the proposed solutions. It is requested that this description be provided for the June 2003 meeting of WG9. Status: OPEN |
| Written Report | |
| Resolutions |
[Agenda]
| Background | WG9 N417: Charter of the ASIS Rapporteur Group (ASISRG) |
| Open Items |
Item 42-4 (Convener and ASIS RG Rapporteur): Review ISO procedures for handling defects and develop an appropriate mechanism. Ensure that there are terms of reference for the ASIS RG. Status: OPEN. Convener and Rapporteur will continue to work on this item. |
| 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. |
| Report | |
| Resolutions |
[Agenda]
| Background | WG9 N416, Charter of the HRG |
| Open Items |
Action Item 39-5: (HRG Rapporteur): Draft a New Work Item Proposal for the Technical Report providing guidelines and rationale for the use of the Ravenscar profile. Status: CLOSED. A report has been published by the University of York [N424] A new work item proposal has been drafted to process the York report as an ISO/IEC Type 3 Technical Report [N426]. |
| 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 #41 [N400]: The HRG has produced an initial 35-page draft of a TR providing guidance on usage of the Ravenscar profile. At yesterday's meeting, they confirmed the structure and the style of the guide. By the next meeting of WG9, they will produce a substantially completed draft. They meeting also reviewed the contents of Annex H of ISO/IEC 8652:1995. The International Real-time Ada Workshop (IRTAW) will look at real-time issues during its meeting in April 2002. Alan mentioned that there were no plans to revise TR 15942. From Minutes of Meeting #42 [N409r]: The HRG continues to work with the ARG in developing exact text for the amendment to describe the incorporation of the Ravenscar profile. Work on the guidelines document is progressing. It is anticipated that the guidelines will first be published by the University of York and then contributed to WG9. There was a discussion regarding the "Free Availability" of Technical Reports. It was asked, on the one hand, why so many reports are available and, on the other hand, why it is so tedious to get permission to make 15942 available. The Convener responded that the initial implementation of free availability explicitly provided for a large backlog. However, new ones still go through formal JTC1 and IEC procedures. From Minutes of Meeting #43 [N418]: HRG met in October and finalized the Ravenscar Guide. We await WG9 acceptance of Ravenscar AIs to complete our Guide. This will then be published as a University of York report and offered to WG9 as a Technical Report. The procedure for treating the NWIP will be to attach the draft report to the NWIP and ask for immediate PDTR Registration. Email from Alan Burns, 15 May 2003: Now that the Ravenscar report has been completed and `published' by York [N424], I guess we would still like it to become an ISO technical report. I think, going on what you said before, this needs a new work item [N426]. |
| Written Report | |
| Resolutions | [Resolution 44-F] |
[Agenda]
[Agenda]
| 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 #43 [N418]: Draft 3 of the Amendment document is available at the ACAA Web Site. This document includes all of the AIs approved by the ARG as of the Bedford meeting; thus it is a snapshot of a work-in-progress rather than a finished document in any way. Work on the accompanying integrated Ada Reference Manual is proceeding slowly due a to lack of funding. Some work has been accomplished, but much more remains to be done. At this time, priority is being given to developing the proposals over editorial presentation of them. |
| Report |
[Agenda]
| Document Status |
ISO/IEC TR 11735:1996, Information Technology--EXTensions for Real-Time Ada, 22.35, Nasser Kettani, Project Editor The Technical Report addressed the Ada 87 language and is effectively replaced by the 1995 language standard. WG9 has requested withdrawal of the standard. |
| Open Items |
Resolution 38-4:ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Technical Report be withdrawn when it reaches the end of its five-year review period. The Technical Report is relevant to the 1987 version of the Ada language standard rather than the current version:
Status: OPEN. This resolution has been reported to SC22 and endorsed (Resolution 00-22) at their plenary meeting in September 2000. However, because of a defect in the wording of the SC22 resolution, JTC1 took no action. SC22 initiated a letter ballot, ending 6 December 2002, to correct the resolution. JTC1 approved the request in 2003. We await implementation. |
[Agenda]
| 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 JTC1/SC22/WG9 recommends to SC22 that the following Standard be withdrawn when it reaches the end of its five-year review period:
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). |
[Agenda]
| Document Status | ISO/IEC 15291:1999, Information Technology--Programming Languages--Ada Semantic Interface Specification (ASIS), 22.15291, Steve Blake and Clyde Roby, Project Editors, supported by the ASIS Rapporteur Group. |
| Open Item | JTC1, hence SC22, requires a recommendation for the five-year review of the standard: confirm, revise, withdraw. |
| Resolution | [Resolution 44-G] |
[Agenda]
| 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 Items |
ISO/IEC JTC1/SC22/WG9 requests that SC22 request JTC1 and any other appropriate bodies to take action to ensure that ISO/IEC TR 15942 be made freely available on a web site. Status: CLOSED. All approvals have been received and TR15942 is now included in the web site of publicly available standards. |
[Agenda]
| Document Status | ISO/IEC 18009:1999, Conformity Assessment of an Ada Language Processor, 22.18009, Erhard Ploedereder, Project Editors, supported by the Ada Rapporteur Group. |
| Open Item | JTC1, hence SC22, requires a recommendation for the five-year review of the standard: confirm, revise, withdraw. |
| Resolution | [Resolution 44-G] |
[Agenda]
| Background | Ada-Europe is a Category C Liaison to WG9 [See N414] |
| Open Items | None |
| Report |
[Agenda]
| 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. |
| Report |
[Agenda]
WG9 will recess to meet as a Committee of the Whole to discuss the following issue: "The current convener of WG9 has stated that he will not stand for election to another term. His term ends at the SC22 Plenary meeting of September 2003. No candidates have stepped forward to take the position of convener. What is the future of WG9 in these circumstances?" The Committee may draft resolutions for consideration by WG9. At the conclusion of the Committee meeting, WG9 will resume its meeting.
The convener knows of none.
[Agenda]
The convener knows of none.
[Agenda]
We appreciate the comfortable accommodations provided by SIGAda. The resolution expresses WG9's gratitude.
We appreciate the services of the meeting Secretary. The resolution expresses WG9's gratitude.
We appreciate the continuing services of the WG9 Web Master. The resolution expresses WG9's gratitude.
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.
[Agenda]
[Agenda]
The minutes of Meeting #43 as contained in document N418 are approved.
[Discussion] [Agenda]
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 Rapporteur Groups are 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 designating the member.
Rapporteurs are instructed that they may permit other individuals to observe the deliberations of the Rapporteur Group. The naming 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]
WG9 schedules Meeting #45 to occur in conjunction with the SIGAda 2003 conference in San Diego, California, USA on Friday, 12 December 2003.
[Discussion] [Agenda]
WG9 authorizes the convener to forward N426 to SC22 for approval as a New Work Item. The convener is also authorized to attach N424 to the NP with a request for concurrent registration as a PDTR.
ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standards be confirmed when they reach the end of their five-year review period:
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Ada-Europe for their gracious accommodations in hosting Meeting #44.
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to <WHO?> for serving as Secretary of Meeting #44.
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Clyde Roby for his continuing service in maintaining the WG9 Web Page.
[Discussion] [Agenda]
| The meeting is expected to adjourn at 3:00 pm. |
[Agenda]
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
N400, Minutes, Meeting #41 of ISO/IEC JTC1/SC22/WG9, Friday, 5 October 2001, Bloomington, Minnesota, USA
N404, Working 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, Proposed 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
N425, Announcement and Draft Agenda, Meeting #44 of ISO/IEC JTC1/SC22/WG9, Friday, 20 June 2003, Toulouse, France
N426, Proposed New Work Item, Guide for the use of the Ada Ravenscar Profile in High-Integrity Systems
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 2003 Conference Web Site: http://www.irit.fr/AdaEurope2003/
SIGAda Web Site: http://www.acm.org/sigada/
SIGAda 2003 Conference Web Site: http://www.acm.org/sigada/conf/sigada2003/
[Agenda]
End of Document