Draft 5, 12 November 2004, Jim Moore
The next meeting of ISO/IEC JTC1/SC22/WG9 will colocate with the SIGAda conference. In a change from our usual practice, the meeting is scheduled to begin at 2:00 pm on Thursday, 18 November 2004 in the conference hotel and may run into the early evening. I am expecting that a data projector will be provided for the meeting. I expect that refreshments will be provided although I'm not sure whether it will be in our room or in some general area.
Conference and venue information can be found at the conference web site.
The announcement and preliminary agenda for this meeting were circulated as N443.
The meeting is scheduled to begin at 2:00 pm.
Our host for the meeting is ACM SIGAda.
Clyde Roby has volunteered to serve as meeting Secretary.
This is the meeting agenda
| Background |
The draft minutes of Meeting #46 are recorded in document N440 . |
| Discussion | |
| Resolution | [Resolution 47-1] |
[Agenda]
| Belgium | Dirk Craeynest (HOD) | Report |
| Canada | Steve Michell (HOD) | Report |
| France | Jean-Pierre Rosen (HOD), Pascal Leroy | Report |
| Germany | Erhard Ploedereder (HOD) | Report |
| Italy | Tullio Vardanega (unable to attend) | Report |
| Japan | Kiyoshi Ishihata (unable to attend) | Report |
| Russia | Sergey Rybin (unable to attend) | Report |
| Switzerland | Urs Mauer (unable to attend) | Report |
| UK | John Barnes (HOD), Alan Burns | Report |
| USA | Joyce Tokar (HOD), Tucker Taft, Randy Brukardt | Report |
| Ada-Europe | Erhard Ploedereder |
| SIGAda | Currie Colket, Clyde Roby |
| Convener | Jim Moore |
| Webmaster | Clyde Roby |
| ARG Rapporteur | Pascal Leroy |
| ASIS RG Rapporteur | Currie Colket |
| HRG Rapporteur | Alan Burns |
| Project Editors |
|
| Observers: |
| Those sending regrets include: | Ken Dritz, Greg Gicca, Kiyoshi Ishihata, Urs Mauer, Tullio Vardanega |
[Agenda]
| Background | Ada-Europe is a Category C Liaison to WG9 [See N414] |
| Report | |
| Discussion |
[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. From Minutes of Meeting #44 [N428]: Clyde Roby reported on the formation of a SIGAda API WG at WG9's last meeting. This work is proceeding. Information has been posted to a web page. Material from previous groups is being gathered. They are starting work on CGI and XML interfaces. XML seems to be active also. Some issues remain regarding licensing. API WG will be formally approved soon. SIGAda is looking at an organization to provide comments on WG9 documents. They should collaborate with the convener and the Ada-Europe liaison representative on a procedure for doing this. Comments must be vetted and formed into a consistent position. It was noted that comments on technical documents are generally unwelcome at the WG9 level and should be submitted at the Rapporteur Group level. The convener suggested that the liaison organizations might want to designate formal representatives to the RGs. From Minutes of Meeting #45 [N434]: Clyde Roby (SIGAda APIWG Chair): There was a meeting of the APIWG. One of the major subjects was the method for progressing APIs toward standardization. There is a desire to develop the APIs outside the standardization groups so that they can be developed quickly and then transpose them into the standardization process, perhaps as TRs. There may be something to submit by summer. |
| Report | |
| Discussion |
[Agenda]
| Report |
Plenary Meeting of SC22The plenary meeting of SC22 was conducted in Jeju, Korea, 6-10 September, 2004. I was unable to attend but Kiyoshi Ishihata and Steve Michell represented the interests of WG9. I appreciate their efforts and results. My written report to SC22 is N439. My report of the meeting is N444. Reconsideration of JTC1 Confirmation of ISO/IEC 13814After a somewhat convoluted series of events, JTC1 has agreed with WG9's request to withdraw ISO/IEC 13814. The result of their voting is documented in 22N3752, Summary of Voting on JTC 1 N 7405, SC 22 Request to JTC 1 to Reconsider the Decision to Confirm ISO/IEC 13814. Format and Balloting of Ravenscar GuideISO Central Secretariat has agreed that DTR 24718, Ravenscar Guide, may be published in the form contributed by the University of York, with the addition of some ISO front matter. With that problem solved, as authorized by Resolution 46-5, the convener and the project editor submitted DTR 24718 for balloting [N442]. The document was approved by JTC1 and has been submitted for publication. Result of Email ballot on (Non)Reserved KeywordsAs a result of an email ballot conducted on the issue, WG9 has determined that the new keywords created by the amendment to the Ada standard should be reserved as are other Ada keywords. The ARG has incorporated this decision in their drafting of the Amendment. Endorsement of Project EditorsJTC1 works on the principle that project editors must be endorsed by their national bodies. In some countries, such as the US, this requires that the editor be a participant in the national body's "mirror" organization for WG9. In some countries, this requires the payment of fees. There have historically been two questions regarding this policy: (1) Can liaison organizations provide editors; (2) Is the editor endorsed only once when originally nominated, or is reendorsement required periodically? The latest Directives have clarified that liaisons can provide editors. JTC1 administrative policy is requiring occasional re-endorsement. SC22 is currently going through the process of requiring re-endorsement of all of its editors. The impact on WG9 is this. Five editors must be endorsed by national bodies by 9 November 2004:
Two editors must be endorsed by ACM SIGAda:
Three individuals are editors of standards that are short-lived. The SC22 Secretariat has agreed that no action is required:
The administrative procedures for endorsement by liaisons is not yet clear. I will provide information as it becomes available. By the way, the resolution granting SC22 approval of Greg Gicca's appointment as project editor listed his affiliation as US rather than SIGAda. I have corresponded with the SC22 Secretariat on this error. SC22 TerminologyThe responsibility for maintaining terminology standards has devolved to the various subcommittees. Roger Scowen of the UK has agreed to lead an SC22 Ad Hoc Group to maintain vocabularies. He will also serve as SC22's representative to a similar Ad Hoc Group at the JTC1 level. Our project editors have a responsibility to contribute to the vocabularies. I have created Action Items for this purpose. Confirmation of ISO/IEC TR 15942The plenary meeting of SC22 confirmed ISO/IEC TR 15942 for another five-year period. New Directions for SC22At the SC22 plenary, a study group was created to consider possible new projects for SC22. The WG9 Convener serves as a member of this study group and is leading a sub-group to consider standards or technical reports regarding language subsets or usage guidelines in software systems with critical characteristics, such as safety or security. Approach to Character Set CodingWG9's attempt to defuse the character set coding issue at SC22 has apparently succeeded. The plenary meeting of SC22 has approved a resolution agreeing with our approach. Because of a national body comment, though, WG9 also instructed us to "consider" referencing TR 10176--a departure from our approach. Under New Business, I have tabled a discussion of our response. In addition, the editor of TR 10176, Marc Wilhelm Kuester, has requested the assistance of WG9 in revising the technical report to regain its consistency with the documents that informed the WG9 approach to character set coding. The convener, supported by the ARG Rapporteur, is corresponding with Kuester in support of this goal. |
| Discussion |
[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 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 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:
Status: CLOSED at Meeting #46. |
| Resolution 44-6: |
ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period:
For status, see [ Project Editor Maintenance Report, ISO/IEC 18009 ] |
| Resolution 44-7: |
ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period:
For status, see [ Project Editor Maintenance Report, ISO/IEC 15291 ] |
| Resolution 45-6: |
WG9 endorses the use of Technical Reports, International Workshop Agreements, or other light-weight documents to record and publish agreements on API definitions, while retaining the possibility for eventual international standardization. The ARG is requested to nominate AIs to be treated in this manner. Status: CLOSED at Meeting #46. |
| Action Item 46-1: |
(Rapporteur of ASIS RG): Draft a new work item proposal for the revision of the ASIS standard, ISO/IEC 15291. For status, see [ Report of ASIS Rapporteur Group ] |
| Action Item 46-2: |
(France): Prepare an alternative to AI-284. Submit it to the convener by July 19 for an email ballot conducted in accordance with the procedure outlined in the Convener's Report. Status: CLOSED prior to meeting. AFNOR submitted the alternative and the convener conducted an email ballot closing on 27 August 2004. |
| Action Item 46-3: |
(Convener): Post the project schedule for the Amendment on the WG9 web site. Status: CLOSED prior to meeting. The schedule was posted on the WG9 web site page, "Standards and Projects". |
The following Action Items were created as a result of the 2004 SC22 plenary:
[Agenda]
| Background |
Resolution 46-3 [see N440] scheduled future meetings as follows:
The resolution offered below merely confirms the previous resolution. |
| Resolution | [Resolution 47-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 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: SC22 Resolution 04-15: Coded Character Sets: From Minutes of Meeting #46 [N440]: At its San Diego meeting, WG9 considered the best way to proceed with standardization of APIs, and recommended the use of Technical Reports or International Workshop Agreements to reach agreement on APIs (see resolution 45-6). ... At this point it appears that AI95-00302-03 will likely be part of the Amendment, and that there is no need to start an alternative standardization process. As directed by WG9, the Rapporteur has prepared a document presenting the scope of the Amendment. In general, the AIs mentioned in this document either have either been approved by WG9 or are very close to approval. However, some of them still require technical refinement before the ARG can decide whether to include them in the Amendment. Others are controversial. In both cases, the AIs have been included in the scope document with the understanding that this inclusion is provisional. Resolution 46-8: WG9 approves the scope of Amendment 1 to ISO/IEC 8652:1995 as defined by N437 and requests the ARG to initiate preparation and circulation of draft text of the Amendment. Email from Pascal Leroy, 6 October 2004: In compliance with resolution 44-4 of WG9, this message is to inform you that the AIs listed below have entered Editorial Review, and are intended to be submitted to WG9 for approval at the next meeting (meeting #47 in Atlanta, GA, USA). ... |
| Report |
Email from Pascal Leroy, 9 and 10 November 2004: The ARG met in Palma de Mallorca, Spain, in June, and in Madison, WI, USA, in September. As is customary, the meetings were mostly devoted to amendment AIs, although a significant number of normal AIs were resolved. The list of AIs for consideration at the November meeting is particularly long, containing 20 amendment AIs and 18 normal AIs. This reflects the fact that the Amendment is maturing and that a satisfactory solution has now be found to many of the topics studied during the revision. It is worth noting that AI95-00285-01 (support for 16-bit and 32-bit characters) has been updated to comply with the SC22 resolution approved at the Jeju plenary meeting. Also, AI95-00284-02 (new reserved words) is compliant with the letter ballot taken by WG9 in August. Finally, the ARG decided not to pursue AI95-00315-01 (full support for IEC 559:1989), an AI which was included in the Scope Document approved at the June meeting. It was felt that this AI would have too big an impact on implementations for relatively little user benefits. Of course, the approach proposed by this AI may be used by an implementation which would want to provide IEC 559 support in a nonstandard mode of operations. At this point there are only 5 significant amendment AIs that are still in the works. However, a number of minor changes are being considered to make the final language more consistent and easier to use. AIs are being created to track these changes, but it is likely that these AIs will not be forwarded as such to WG9; instead they will be directly included in the draft Reference Manual. The current plan is for the ARG to produce a draft Reference Manual during the Spring of 2005. To review the draft, the ARG plans to meet in Paris in February and, if necessary, in the US in April. If all goes well, this draft would be circulated to the WG9 Officers and Heads of Delegations in May for a vote at the June meeting. The list of AIs for approval at the November meeting can be found below. A pointer to retrieve the AIs is included. The Rapporteur proposes the following list of members for the ARG: Baird, Baker, Barnes, Brukardt, Burns, Dewar, Dismukes, Duff, Ishihata, Leroy, Michell, Ploedereder, Rosen, Schonberg, Taft, Tokar. The cited AIs can be retrieved from the ACAA Web Site for AIs: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/ Amendment AIs: AI95-00266-02 -- Task termination procedure Normal AIs: AI95-00051-01 -- Size and Alignment clauses Convener's note: AFNOR has advised me that they desire a separate discussion of AI-00266-02. |
| Discussion | |
| Resolutions | [ Resolution 47-2 ] [ Resolution 47-9 ] |
[Agenda]
| Background | WG9 N417: Charter of the ASIS Rapporteur Group (ASISRG) |
| Open Item: Action Item 46-1 |
(Rapporteur of ASIS RG): Draft a new work item proposal for the revision of the ASIS standard, ISO/IEC 15291. Status: None |
| Prior Discussion |
From Minutes of Meeting #41 [N400]: ASIS RG is considering the preparation of a New Work Item Proposal to revise and extend ASIS to keep pace with Ada 2005. The ASIS RG may reconsider some of the design goals for the specification. From Minutes of Meeting #42 [N409r]: Currie Colket reported that the ASIS RG has begun planning for the development of amendments to the ASIS standard in coordination with the planned amendment to the Ada standard. Steve Blake cannot continue as project editor; however, he has agreed to continue serving until a replacement is found. |
| Report | |
| Discussion | |
| Resolutions |
[Agenda]
| Background | WG9 N416, Charter of the HRG |
| Open Item |
Resolution 45-5: WG9 delegates to its HRG the authority to perform comment disposition on the New Work Item proposal ballot for the Ravenscar Guide as well as its PDTR registration ballot, and to revise the draft document appropriately. The convener of WG9 is authorized to review the comment disposition, determine if consensus has been achieved on the disposition of the comments and the revision of the document, and forward the resulting draft for PDTR approval balloting. Status: CLOSED. The HRG and the convener performed the directed actions. In error, the new SC22 Secretariat initially forwarded the document for DTR ballot, but quickly corrected the error. PDTR balloting is due to close on 11 June 2004. |
| Prior Discussion |
From Minutes of Meeting #40, [N389]: The HRG ... discussed the continuing role of Annex H of ISO/IEC 8652. They discussed the desirability of changing its title to High-Integrity rather than Safety and Security. The HRG might recommend that the fourth section of Annex H should be reworked to better fit with the recently completed TR 15942. They also considered tracking the usage of relevant pragmas implemented by various vendors. It is understood that the HRG may work with the University of York or other institutions in obtaining material that might be incorporated into a Technical Report. From Minutes of Meeting #44 [N428]: The HRG met again on June 16 to discuss possible changes to Annex H. It concluded that the title of the annex should be changed from "Safety and Security" to "High Integrity Systems." The HRG Rapporteur was asked to summarize why the title should be changed. He replied that "High Integrity" has become the accepted name for this category of issues; there is nothing in the annex related to security; and the current contents are broader than safety. Feedback on the proposed name change was favorable. The HRG will submit an AI to change the name. From Minutes of Meeting #46 [N440]: The HRG Rapporteur reported that PDTR 24718 [N435] was approved. There appear to be no comments but there is some concern that the balloting report might be incomplete. In any case, the document will be prepared in the format determined by the convener and submitted for DTR ballot [N442]. Resolution 46-5: WG9 delegates to its HRG the authority to perform comment disposition on the PDTR approval ballot for ISO/IEC TR 24718, Ravenscar Guide. The convener of WG9 is authorized to review the comment disposition, determine if consensus has been achieved on the comment disposition and document revision, and forward the resulting draft for DTR approval balloting. From email note of Convener, 21 August 2004: The final ballot on the Ravenscar Guide, DTR 24718, has begun in JTC1. As you know, a ballot within JTC1 is ruled to be invalid if the ballot return falls below a given percentage. Therefore, it is important that every national body represented in WG9 submits a vote on this document. Ballots are due by 2004-10-23. From JTC1 N7652, 25 October 2004: In balloting by JTC1, DTR 24718 was approved without any NB comments. From email note of Convener, 29 October 2004: DTR 24718 was submitted for publication. |
| Report |
Email from Alan Burns, 28 October 2004: The HRG has not met since the last meeting of WG9. It has been monitoring the progress of its Ravenscar Guide and is pleased to note that this has now been accepted by ISO as a technical report. |
| Discussion | |
| Resolutions | None |
[Agenda]
[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 #46 [N440]: The convener noted that the decision to publish ISO/IEC 8652 as a merged document or separately as base standard, corrigendum, and amendment would be a business decision made by ISO Central Secretariat. If Central Secretariat requests a merged document, the project editor should be prepared to provide one by merging the official ISO standard, corrigendum, and amendment. |
| Report | |
| Discussion |
[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). This year, however, JTC1 voted to confirm ISO/IEC 13814 rather than withdraw it as requested by WG9 and SC22. The SC22 Secretariat conducted a letter ballot authorizing it to request that JTC1 reconsider its action. Accordingly, the request was sent to JTC1 and JTC1 has responded by circulating a letter ballot (J1N7405) to withdraw the standard. The ballot ended on 22 June 2004 with the decision to recommend withdrawal (22N7451). Implementation awaits action by ITTF. |
| Report | |
| Discussion |
[Agenda]
| Document Status | ISO/IEC 15291:1999, Information Technology--Programming Languages--Ada Semantic Interface Specification (ASIS), 22.15291, Steve Blake and Greg Gicca, Project Editors, supported by the ASIS Rapporteur Group. |
| Open Item |
Resolution 45-7: ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period:
Status: SC22 endorsed this recommendation at its September 2003 plenary. The request has been forwarded to JTC1. |
| Prior Discussion |
From Minutes of Meeting #44 [N428]: It was decided to confirm the standard for now although eventual revision is desired. It was reported that Clyde Roby is willing to remain as co-editor. From Minutes of Meeting #45 [N434]: Greg Gicca was nominated by the ASIS RG and by WG9 to replace Steve Blake as project editor. Email from Convener to SC22 Secretariat, 19 December 2003: SC22/WG9 has nominated Greg Gicca to serve as co-editor of ISO/IEC 15291, replacing Steve Blake. Clyde Roby continues to serve as a co-editor of the project. Please place this item on the agenda for action by SC22 at its next plenary. Because the next plenary does not occur for nine months, I am advising you that Gicca will replace Blake and serve in an acting capacity beginning immediately. From SC22 N3813, Resolutions of the Sep 2004 Plenary Meeting: Resolution 04-10: Appointment of Project Editors ... JTC 1/SC 22 approves the following appointments as SC 22 Project Editors ... Greg Gicca (US) for ISO/IEC 15291 Ada Semantic Interface Specification. From 14 Sep 2004 email from WG9 Convener to SC22 Secretariat: |
| Report | |
| Discussion | |
| Resolution |
[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 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 Status: The request has been forwarded to JTC1 for action. |
[Agenda]
| Document Status | ISO/IEC 18009:1999, Conformity Assessment of an Ada Language Processor, 22.18009, Erhard Ploedereder, Project Editor, supported by the Ada Rapporteur Group. |
| Open Item |
Resolution 45-6: ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period:
Status: SC22 endorsed this recommendation at its September 2003 plenary. The request has been forwarded to JTC1. |
| Prior Discussion |
From Minutes of Meeting #46 [N440]: It was asked if the document should be "stabilized" rather than confirmed. The convener replied that the JTC1 Secretariat has interpreted the directives as requiring that a document must first be confirmed before it can be stabilized. |
[Agenda]
<PLACEHOLDER>
[The convener knows of no unfinished business.]
[Agenda]
| Background |
From 2004 SC22 Plenary Meeting: "Resolution 04-15: Coded Character Sets: JTC 1/SC 22 agrees that the proposed implementation of coded character set support described in document N 3758 agrees with the principles for coded character set support previously adopted by SC 22, notably resolution 02-24. JTC 1/SC 22 instructs WG 9 to consider referencing ISO/IEC TR 10176 Annex A in the revision of the Ada language standard." From Convener's Email, 18 Sep 2004: ... SC22 approved our approach to character set coding but
explicitly instructed us to "consider" referencing
TR10176. Referencing 10176, though, would diverge from our planned
approach. |
| Discussion | |
| Possible Resolution | [Resolution 47-6] |
[The convener knows of no other items of new business.]
[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]
| Action Item 47-1 |
[Agenda]
[Numbering of resolutions is provisional and will be changed following the meeting.]
The minutes of Meeting #46 as contained in document N440 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 ARG is designated to be: Steve Baird, Ted Baker, John Barnes, Randy Brukardt, Alan Burns, Robert Dewar, Gary Dismukes, Robert Duff, Kiyoshi Ishihata, Pascal Leroy, Steve Michell, Erhard Ploedereder, Jean-Pierre Rosen, Ed Schonberg, Tucker Taft, and Joyce Tokar.
The membership of the ASIS Rapporteur Groups is continued.
The membership of the Annex H Rapporteur Group is continued.
The Convener of WG9 is authorized to act for WG9 between meetings in appointing additional members of Rapporteur Groups. In doing so, he shall consult with the Rapporteur and the National Body or Liaison Organization nominating the member.
Rapporteurs are instructed that they may permit other individuals to observe the deliberations of the Rapporteur Group. The admission of observers and the extent of participation permitted to observers are at the discretion of the Rapporteur with the concurrence of the membership of the Rapporteur Group.
[Discussion] [Agenda]
WG9 confirms its future meeting schedule as follows:
[Discussion] [Agenda]
WG9 directs its convener to respond to SC22 Resolution 04-15 by sending document WG9 N445 to the Secretariat of SC22.
[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-00266-02 -- Task termination procedure
AI95-00284-02 -- New reserved words
AI95-00285-01 -- Support for 16-bit and 32-bit characters
AI95-00286-01 -- Assert pragma
AI95-00287-01 -- Limited aggregates allowed
AI95-00297-01 -- Timing events
AI95-00307-01 -- Execution-Time Clocks
AI95-00317-01 -- Partial parameter lists for formal packages
AI95-00318-02 -- Limited and anonymous access return types
AI95-00327-01 -- Dynamic ceiling priorities
AI95-00344-01 -- Allow nested type extensions
AI95-00345-01 -- Protected and task interfaces
AI95-00354-01 -- Group execution-time budgets
AI95-00355-01 -- Priority Specific Dispatching including Round
Robin
AI95-00362-01 -- Some predefined packages should be recategorized
AI95-00363-01 -- Eliminating access subtype problems
AI95-00364-01 -- Fixed-point multiply/divide
AI95-00368-01 -- Restrictions for obsolescent features
AI95-00381-01 -- New Restrictions identifier No_Dependence
AI95-00384-01 -- Conversion rules should be symmetric
In addition, WG9 approves the following "normal AIs":
AI95-00051-01 -- Size and Alignment clauses
AI95-00100-01 -- Truncation required for static expressions if
Machine_Rounds is false
AI95-00133-01 -- Controlling bit ordering
AI95-00204-01 -- Language interfacing support is optional
AI95-00214-01 -- Distinct Names for Compilation Units (again).
AI95-00239-01 -- Controlling inherited default expressions
AI95-00269-01 -- Generic formal objects can be static in the instance
AI95-00279-01 -- Tag read by T'Class'Input
AI95-00280-01 -- Allocation, deallocation, and use of objects
after finalization
AI95-00294-01 -- Instantiating with abstract operations
AI95-00320-01 -- Violating Ada semantics with an interfacing pragma
AI95-00333-01 -- Other Locking_Policies can be used with FIFO_Within_Priorities
AI95-00334-01 -- Is overriding of abstract equality required?
AI95-00335-01 -- Stream attributes may be dispatching subprograms
AI95-00341-01 -- Primitive subprograms are frozen with a tagged
type
AI95-00349-01 -- Equality on private extensions
AI95-00376-01 -- Interfaces.C works for C++ as well
AI95-00378-01 -- The bounds of Ada.Exceptions.Exception_Name
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to ACM SIGAda for their gracious accommodations in hosting Meeting #47.
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Clyde Roby for serving as Secretary of Meeting #47.
[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 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]
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, Charter of the ASIS Rapporteur Group (ASISRG)
N418, Minutes, Meeting #43, ISO/IEC JTC1/SC22/WG9, Friday, 13 December 2002, Houston, Texas, USA
N419, SIGAda's Approach to the Management of Ada Bindings to Application Program Interfaces (APIs), Clyde Roby, SIGAda, Presented to ISO/WG9, December 13, 2002
N423, Convener's Comments on Instructions to the Ada Rapporteur Group from SC22/WG9 for Preparation of the Amendment to ISO/IEC 8652, December 2002
N424, University of York Technical Report YCS-2003-348, Guide for the use of the Ada Ravenscar Profile in high integrity systems
N426, Proposed New Work Item, Guide for the use of the Ada Ravenscar Profile in High-Integrity Systems
N428r, DRAFT Minutes, Meeting #44 of ISO/IEC JTC1/SC22/WG9, 20 June 2003, Toulouse, France
N434, Minutes, Meeting #45 ISO/IEC JTC1/SC22/WG9, Friday, 12 December 2003, San Diego, California, USA
N435, Draft for PDTR Approval Ballot, ISO/IEC TR 24718, Guide for the use of the Ada Ravenscar Profile in high integrity systems, 14 Feb 2004
N437, ARG Rapporteur's Proposal for Defining Scope of Amendment to ISO/IEC 8652:1995, 9 April 2004
N439r, Convener's Report, 2004, ISO/IEC JTC1/SC22/WG9 (Ada)
DRAFT N440, Minutes, Meeting #46 ISO/IEC JTC1/SC22/WG9, Friday, 18 June 2004, Palma de Mallorca, Spain
N441, SC22 N3758, WG9 Request for National Body Contributions on Implementation of Coded Character Sets in Ada (text document),
N442, Draft submitted for DTR Approval Ballot, ISO/IEC TR 24718, Guide for the use of the Ravenscar Profile in high integrity systems, 20 July 2004 (PDF file, 626 KBytes)
N443, Announcement and Draft Agenda, Meeting #47 of ISO/IEC JTC1/SC22/WG9, Thursday, 18 November 2004 Atlanta, Georgia, USA
N444, Meeting Report: ISO/IEC JTC1/SC22, 6-10 September 2004, Jeju, Republic of Korea
N445, DRAFT Explanatory Report re SC22 Resolution 04-15
N446, Draft Detailed Agenda, Meeting #47 of ISO/IEC JTC1/SC22/WG9, Thursday, 18 November 2004, Atlanta, Georgia, USA
ISO Web Site: http://www.iso.ch/
ITTF Web site of publicly available standards: http://isotc.iso.ch/livelink/livelink/fetch/2000/2489/Ittf_Home/PubliclyAvailableStandards.htm. (Click on "Proceed to Public Areas". No username or password is required.)
JTC1 Web Site: http://www.jtc1.org/
SC22 Web Site: http://www.open-std.org/JTC1/SC22/
WG9 Web Site: http://www.open-std.org/JTC1/SC22/WG9/
ACAA Web Site: http://www.ada-auth.org/
ACAA Web Site for ARG Minutes: http://www.ada-auth.org/arg-minutes.html
ACAA Web Site for AIs: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/
ACAA Web Site for Amendment: http://www.ada-auth.org/amendment.html
Ada-Europe Web Site: http://www.ada-europe.org/
Ada-Europe 2004 Conference Web Site: http://dmi.uib.es/~AE2004/
SIGAda Web Site: http://www.acm.org/sigada/
SIGAda 2004 Conference Web Site: http://www.sigada.org/conf/sigada2004/
[Agenda]
End of Document