These minutes are not yet approved.
Draft 2, 16 July 2003: incorporates editorial corrections suggested
by John Barnes
Draft 3, 29 July 2003: incorporates editorial corrections suggested
by Pascal Leroy
The meeting of ISO/IEC JTC1/SC22/WG9 was collocated with the Ada-Europe conference. It began at approximately 9:00 am on Friday, 20 June 2003 in the Salon Club room.
The announcement and preliminary agenda for this meeting were circulated as N425. The detailed agenda is N427.
The meeting was called to order at 9:15 am.
Erhard Ploedereder, the President of Ada-Europe, welcomed the delegates on behalf of the organization.
Tucker Taft (US) agreed to serve as meeting secretary.
The agenda was approved with the submission of two items of new business:
| Background | The draft minutes of Meeting #43 are recorded in document N418. |
| Discussion | Approved without comment. |
| Resolution | [Resolution 44-1] |
[Agenda]
| Canada | Steve Michell (HOD) | |
| France | Jean-Pierre Rosen (HOD), Pascal Leroy | [Report] |
| Germany | Erhard Ploedereder (HOD) | |
| Italy | Tullio Vardanega (HOD) | [Report] |
| Japan | Kiyoshi Ishihata (HOD) | |
| Russia | (Sergey Rybin was unable to attend) | |
| Switzerland | (Alfred Strohmeier was unable to attend) | |
| UK | John Barnes (HOD), Alan Burns | [Report] |
| USA | Joyce Tokar (HOD), Currie Colket, Randy Brukardt, Tucker Taft | [Report] |
| Ada-Europe | Erhard Ploedereder |
| SIGAda | Currie Colket |
| Convener | Jim Moore |
| Webmaster | (Clyde Roby was unable to attend) |
| ARG Rapporteur | Pascal Leroy |
| ASIS RG Rapporteur | Currie Colket |
| HRG Rapporteur | Alan Burns |
| Project Editors |
|
| Observers: | Arnaud Lecanu |
| Those sending regrets include: | Clyde Roby (Webmaster), Alfred Strohmeier (Switzerland) |
[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 my request, the US National Body has objected to the reclassification to prevent its automatic forwarding to JTC1. On 16 June 2003, the SC22 Secretariat advised France to the issue should be discussed in WG9 and asked the convener to add the item to the agenda. 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. |
| Discussion |
Algol is an example of a standard suitable for the status of "stabilized." The delegate of the French NB and the convener have collaborated on drafting a resolution addressing the status of ISO/IEC 12227. It will be considered under new business. When visiting the web site of publicly available standards, one must ignore the request for userid and password and simply click on the link for the list of standards. The systematic review of standards will be considered as their individual reports appear in the agenda. The subject of the convener's term will be address in a meeting of the Committee of the Whole. |
[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 will occur on Friday, 12 December 2003. Ada-Europe 2004 has been scheduled for 14-18 June 2004, in Palma de Mallorca, Spain. Following the usual practice, the WG9 meeting would occur on Friday, 18 June 2004. |
| Resolution | [Resolution 44-3] |
[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. From the ARG Chair, 26 May 2003: "At the Padua ARG meeting I discussed this with Tucker and we agreed that the two of us needed to write a memo covering all the issues and the technical implications of the possible resolutions. We also had the feeling that, while this is an issue that must be addressed in the context of the Amendment, it is not particularly urgent. At this point in time it seems more important to make progress (and try to achieve consensus) on the "big" AIs. Once the scope of the Amendment is frozen (which is at the end of this year) we'll do research on the more pathological and obscure issues." |
| Written Report |
Received from Pascal Leroy, 4 June 2003: The ARG met in Padua, Italy, in February. As is customary, most of this meeting was devoted to amendment AIs. Good progress was made on a number of amendments: some of them are ready for consideration by WG9 (see list below) while a number of other important new features (e.g. generalized use of anonymous access types, timing events, execution time clocks, etc.) are getting very close to completion. Two amendments have proven quite difficult, though. One has to do with mutually-dependent types across packages, the other with accidental overloading. Mutually-dependent types have been studied by the ARG for years, and no less than seven proposals have been submitted on this topic. A good deal of the Padua meeting was devoted to weighting the pros and cons of each of these proposals. Some of them were eliminated, but there are still three candidates, and it seems quite difficult to find a consensus on which approach is best. It is hoped that, with more detailed technical analysis made (in particular by implementers) since the Padua meeting, it will be possible to reach a consensus at the Toulouse meeting. Accidental overriding is a topic for which an AI was submitted to WG9 (and approved) a few years ago. This AI was using pragmas to mark declarations that are expected to be overrides. However, the ARG realized since then that a number of deep semantic issues had been missed, and that, to properly deal with these issues, a syntax-based solution will be necessary. Such a solution would also have the advantage of being better integrated in the language. However it appears to be difficult to converge on a satisfactory syntax, so progress on this topic has been quite slow. The ARG has its "usual" motion for the June meeting for approval of a series of AIs. See Resolution 44-9. A pointer to retrieve the AIs is included. The Rapporteur proposes the following list of members for the ARG: Baird, Baker, Barnes, Brosgol, Brukardt, Burns, Dewar, Dismukes, Duff, Gargaro, Ishihata, Leroy, Michell, Ploedereder, Rosen, Taft, Tokar. (This list is unchanged from the last meeting.) See Resolution 44-2. The cited AIs can be retrieved from the ACAA Web Site for AIs. |
| Oral Report | Some troublesome Ada Issues may have to be elevated to WG9 for resolution because it has been difficult to reach consensus within the ARG. |
| Discussion | There had been a comment from an NB representative that one of the AIs created a Section H.6 when no H.5 existed; it was noted that H.5 was created by the resolution of a different AI. |
| Resolutions | [ Resolution 44-9 ] [ Resolution 44-2 ] |
[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. |
| Oral Report | There has been no meeting of the ASIS RG since last WG9 meeting. They are in the process of updating their web site. They plan to work with the ARG to update ASIS along with the Ada standard. |
| Discussion | Website contains information about ASIS, examples, tutorials, conference papers, etc. Vendors are identified and tools can be mentioned if requested. It was suggested that the web site should have a link to and from the ARA web site. |
| 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]. |
| Oral Report |
The HRG met in October at York University. A paper regarding guidelines for the use of the Ravenscar profile was published. It will be submitted to be processed as an ISO/IEC Technical Report. 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." |
| Discussion |
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. The Convener noted that the draft Technical Report will be attached to the New Work Item for concurrent PDTR registration. The New Work Item calls for a Type 3 Technical Report -- a document that is inherently unsuited for standardization. It was noted that any typographical errors in the Report should be fixed prior to submission. |
| Resolutions | [Resolution 44-5] |
[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 to a 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. |
| Oral Report | Another draft of the amendment was posted in March. The content includes anything approved by the ARG (even if not yet approved by WG9.) There have been no updates to the ARM because of lack of funding. It is important to do this to make sure that there are no errors in integrating the amendment into the base standard. When the Corrigendum was developed, some errors were discovered at this stage. |
| Discussion |
There was some discussion of the advisability of updating the rationale. Leroy suggested that books may be more useful to end users than the rationale. Taft suggested that we may not have to produce as many products for end users -- perhaps some existing paper and other products could be combined. A web site might the appropriate vehicle. Ploedereder suggested that individual rationale articles, devoted to specific issues, could be published in the Ada Journal. They could then be collected in a book. The schedule for the amendment includes: WG9 approval of scope in spring 2004 and approval of the wording of the amendment in spring 2005. |
[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). |
| Discussion | John Barnes said that he had heard that some National Body had attempted to place ISO/IEC 13814 into "stabilized" status. The convener said that he would check this. |
[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. |
| Discussion | 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. |
| Resolution | [Resolution 44-7] |
[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. |
| Discussion | It was decided that the standard should be confirmed. |
| Resolution | [Resolution 44-6] |
[Agenda]
| Background | Ada-Europe is a Category C Liaison to WG9 [See N414] |
| Open Items | None |
| Oral Report | Will offer comments during discussion of convenership. |
[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. |
| Oral Report |
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. |
[Agenda]
WG9 recessed 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?"
At the conclusion of the Committee meeting, WG9 resumed its meeting. The Convener reported that he is willing to remain in his position as a result of financial arrangements discussed during the Committee meeting. He will seek to resolve any outstanding procedural problems to accept a third term as convener.
There was none.
[Agenda]
Two items were tabled: one submitted by France and the second delegated by SC22:
| Item of New Business |
From the report of the French National Body: It was felt that there is a scheduling problem in the current process for AIs submitted to WG9. A NB can meet for a WG9 preparation meeting only when the agenda has been received. However, at that time, it is too late to correct or withdraw a proposed AI, if an objection is raised, therefore leading to a "no" vote at WG9 level, as happened in Houston. On the other hand, as happened here, if the AIs are circulated early, it is possible to comment and change the AI. The problem is that there is currently no official notification of which AIs will be proposed to WG9 until the agenda is sent. In order to make "official" the process that worked for this meeting, AFNOR proposes the following resolution: "That the convener directs the chair of the ARG to send the list of AIs intended for submission to WG9 to all HOD at the time they enter the 'editorial review' state. It would then be the duty of each HOD to circulate this information within its own NB for action as appropriate". |
| Discussion | Michell noted that most HODs are already members of the ARG and receive adequate notice. Rosen responded that the official notification would trigger formal consideration by the National Body. It was suggested that the term "HOD" in the proposed resolution should be changed to "NB representatives." The discussion centered on how to treat comments that might result from the circulation of the AI. It was agreed that they should go to the ARG. Editorial comments could be immediately implemented and substantive comments could lead to further processing by the ARG. It was noted, though, that the purpose of the procedure is not to process comments but to assist in forming national positions. |
| Resolution | [ Resolution 44-4 ] |
| Item of New Business |
From the convener's report: JTC1 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 my request, the US National Body has objected to the reclassification to prevent its automatic forwarding to JTC1. On 16 June 2003, the SC22 Secretariat advised France to the issue should be discussed in WG9 and asked the convener to add the item to the agenda. |
| Recent Activity |
Email from F. Maillard (AFNOR) to M. Deane (SC22 Secretariat), 18 June 2003: I'm in charge of the secretariat of the mirror committee SC22/WG9
- ADA, the object of this email is to clarify the French request
regarding "Proposal for Re-adoption of Withdrawn Standard
(ISO/EC Last Friday (2003-06-13) the mirror committee met and discussed
the "Proposal for Re-adoption of Withdrawn Standard (ISO/EC
12227:1995) and Simultaneous Transition to Stabilized Status",
the French position has been reviewed and the mirror committee
has decided to withdraw its request for reinstatement of the
standard. The WG9's convener, in agreement with the French delegation,
will publish a resolution to rule on this proposal. |
| Resolution | [ Resolution 44-8 ] |
[Agenda]
We appreciate the comfortable accommodations provided by Ada-Europe. 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 final resolution was added during final consideration. All resolutions were approved unanimously.
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 each of the Rapporteur Groups 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 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 future meetings as follows:
[Discussion] [Agenda]
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.
[Discussion] [Agenda]
WG9 authorizes the convener to forward N426 (with editorial corrections) to SC22 for approval as a New Work Item. The convener is also authorized to attach N424 (with editorial corrections) to the NP with a request for concurrent registration as a PDTR.
[Discussion] [Agenda]
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:
[Discussion] [Agenda]
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:
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 directs its convener to report to SC22 as follows: "At the request of SC22 and AFNOR, WG9 has reviewed its recommendation regarding the status of ISO/IEC 12227. As a result of this review, WG9 has decided to confirm its prior recommendation and AFNOR has decided to withdraw its request for reinstatement of the standard."
[Discussion] [Agenda]
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-00216-01/12 2003-05-03 -- Unchecked unions -- variant records with no run-time discriminant
AI95-00224-01/09 2003-05-22 -- pragma Unsuppress
AI95-00265-01/08 2003-05-02 -- Partition Elaboration Policy for High-Integrity Systems
AI95-00270-01/05 2003-05-03 -- Stream item size control
AI95-00287-01/05 2003-05-22 -- Limited Aggregates Allowed
AI95-00310-01/04 2003-05-22 -- Ignore abstract nondispatching subprograms during overloading
In addition, the following "Normal" AIs are approved:
AI95-00167-01/04 2003-05-03 -- Scalar unchecked conversion can be used with 'Valid to prevent erroneousness
AI95-00178-01/04 2003-05-03 -- Which I/O operations are potentially blocking?
AI95-00228-01/05 2003-05-03 -- Premature use of "shall be overridden" subprograms
AI95-00256-01/08 2003-05-02 -- Various wording changes to the standard
AI95-00259-01/05 2003-05-02 -- Can accesses to volatile objects be combined?
AI95-00283-01/03 2003-05-03 -- Truncation of stream files by Close and Reset
AI95-00306-01/03 2003-05-22 -- Class-wide extension aggregate expressions
AI95-00316-01/02 2003-05-22 -- Return accessibility checks and value conversions
[Discussion] [Agenda]
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 Tucker Taft 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]
WG9 expresses its grateful appreciation to Jim Moore for his continuing service as convener of WG9.
[These remarks were originally prepared as a farewell by the Convener. Noting the decision of the Convener to seek another term, it was suggested that the remarks should remain as a status report.]
My second full term as convener of SC22/WG9 ends with the SC22 plenary meeting in September 2003. Counting a year as Acting Convener, I will have convened WG9 for seven years -- fourteen meetings.
I assumed the role of Convener at Meeting #31 in Philadelphia, Pennsylvania, November 1996. Nine National Bodies participated in that meeting. All but one -- Sweden -- continue to participate in some form. In overall terms, though, we have widened participation by admitting two organizations -- Ada-Europe and SIGAda -- as Category C liaisons.
In 1996, WG9 had four completed standards. All but one of those have since been withdrawn, but another five projects have been completed.
In 1996, our collection consisted of a newly updated language standard. It was supplemented by two numerics standards and one binding which were obsolescent, having been written in the old version of the language. Since then, we have:
In addition, we have withdrawn four obsolescent documents.
In 1996, the Ada Joint Program Office was about to disband, marking an inexorable decline in Defense Department support. WG9 played a crucial role in stabilizing the Ada industry infrastructure by reinventing the compiler conformity assessment process.
WG9 has made contributions to the standardization process itself. Our defect reporting procedures were generalized and adopted by SC22, and ultimately JTC1. At our request, JTC1 now permits O-members of subcommittees to fully participate at the working group level. Our continuing pressure for public availability of key documents has caused JTC1 to designate entire classes of documents as publicly available.
Under the leadership of Erhard Ploedereder and now Pascal Leroy, the ARG continues to maintain the vitality of the Ada language.
Under the leadership of Brian Wichmann and now Alan Burns, the HRG continues to improve the focus on Ada on the high-integrity niche.
Under the leadership of Currie Colket, the ASIS RG continues to champion support for compiler-independent tooling.
Under the leadership of Clyde Roby, WG9 developed an award-winning web site to inform the community and provide timely reporting to WG9's participants.
I thank each of my friends here for the support they have provided to me and to WG9 for these past seven years. I wish all of you the best of fortune in the years to come.
The meeting adjourned at approximately 12:30 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
N427, Detailed Agenda, Meeting #44 of ISO/IEC JTC1/SC22/WG9, 20 June 2003, Toulouse, France
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