Draft 3, 27 February 2005, Jim Moore: Includes corrections suggested by Pascal Leroy and Joyce Tokar
These minutes will be considered for approval at Meeting #48.
Following its usual practice, ISO/IEC JTC1/SC22/WG9 colocated with the SIGAda conference. In a change from our usual practice, the meeting was scheduled to begin at 2:00 pm.
Conference and venue information can be found at the conference web site.
The announcement and preliminary agenda for this meeting were circulated as N443. The detailed agenda was circulated as N446.
The meeting was called to order at 2:16 pm.
Currie Colket, as SIGAda's liaison representative and as Chair of SIGAda, welcomed us to the conference.
Clyde Roby volunteered to serve as meeting Secretary.
The distributed agenda [N446] was approved with a few changes. Two AIs were withdrawn from the list the be considered. The date of Meeting #48 was added to the proposed motion for the schedule of meetings. A discussion of proposed new work in SC22 was added to new business.
The UK noted that some formatting defects in the distributed agenda caused some inconvenience in printing. Germany requested that the convener resume the practice of distributing a zip file containing all logged documents related to the meeting.
| Background | The draft minutes of Meeting #46 are recorded in document N440. |
| 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 |
|
| 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 |
Oral Report: Erhard Ploedereder reported that Ada Europe has reached agreement with Randy Brukardt on the publication of a consolidated Ada 2005 language reference manual to be published by Springer. He mentioned that the Ada Europe conference is scheduled for 20-24 June 2005, in York, UK, and welcomed WG9 to colocate its meeting. |
[Agenda]
| Background | SIGAda is a Category C Liaison to WG9 [See N414] |
| Prior Discussion |
From Minutes of Meeting #43 [N418]: Clyde Roby made a presentation on a method to deal with APIs. Clyde's presentation will be posted on the WG9 web site as N419. There were some comments regarding the assurance that SIGAda has the proper rights to republish the artifacts. Erhard noted that an API may be an Ada binding to an implementation in another language or a standalone Ada implementation. Jim noted that "Stamp of Approval" concept might lead to anti-trust problems. "Choosing or Judging" would be an antitrust problem. This should be done under WG9 auspices. Erhard noted that there should be a long-term program to collect APIs; and a short-term program to select some APIs into Ada 200Y. Make sure that this is clear to participants. Only a few will be selected for the Ada Amendment. From Minutes of Meeting #44 [N428]: Clyde Roby reported on the formation of a SIGAda API WG at WG9's last meeting. This work is proceeding. Information has been posted to a web page. Material from previous groups is being gathered. They are starting work on CGI and XML interfaces. XML seems to be active also. Some issues remain regarding licensing. API WG will be formally approved soon. SIGAda is looking at an organization to provide comments on WG9 documents. They should collaborate with the convener and the Ada-Europe liaison representative on a procedure for doing this. Comments must be vetted and formed into a consistent position. It was noted that comments on technical documents are generally unwelcome at the WG9 level and should be submitted at the Rapporteur Group level. The convener suggested that the liaison organizations might want to designate formal representatives to the RGs. From Minutes of Meeting #45 [N434]: Clyde Roby (SIGAda APIWG Chair): There was a meeting of the APIWG. One of the major subjects was the method for progressing APIs toward standardization. There is a desire to develop the APIs outside the standardization groups so that they can be developed quickly and then transpose them into the standardization process, perhaps as TRs. There may be something to submit by summer. |
| Report |
Oral Report: Currie Colket reported that SIGAda has named a chair, Geoff Smith, of its APIWG (Application Programming Interface Working Group) to replace Clyde Roby who has been acting in the role. Geoff will lead an effort to update the draft charter and to gain its approval by SIGAda. The next SIGAda conference will again be in Atlanta, 13-17 November 2005. Currie invited WG9 to colocate its meeting with the conference. |
[Agenda]
| 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, SC22 also instructed us to "consider" referencing TR 10176--a departure from our approach. Under New Business, I have tabled a discussion of our response. In addition, the editor of TR 10176, Marc Wilhelm Kuester, has requested the assistance of WG9 in revising the technical report to regain its consistency with the documents that informed the WG9 approach to character set coding. The convener, supported by the ARG Rapporteur, is corresponding with Kuester in support of this goal. |
| Discussion |
Re: Format and Balloting of Ravenscar Guide It was noted that we should begin working immediately to seek free availability of the Ravenscar Guide, 24718. The Convener accepted Action Item 47-1. Re: Endorsement of Project Editors It was noted that SIGAda has not submitted its endorsements of Clyde Roby and Greg Gicca as editors of ISO/IEC 15291. The endorsement was due by November 9. The convener requested that Currie Colket do this immediately. Re: SC22 Terminology The Ada language standard, 8652, has its terms embedded in its text rather than separated into a distinct clause. The convener has excused its editor from the action item. However, Randy is concerned that the terminology document might become a standard and imposed on the various language standards to the detriment of Ada. Jean-Pierre Rosen pointed out that the planned glossary is English only; AFNOR will object. |
[Agenda]
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. The convener remarked that the action items should be easy to accomplish--about 15 minutes. He said that if it is harder than that, then the editor should contact him for discussion.
[Agenda]
| Background |
Resolution 46-3 [see N440] scheduled future meetings as follows:
The resolution offered below merely confirms the previous resolution and adds the date of Meeting #49. |
| 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 18 amendment AIs and 18 normal AIs. This reflects the fact that the Amendment is maturing and that a satisfactory solution has now be found to many of the topics studied during the revision. It is worth noting that AI95-00285-01 (support for 16-bit and 32-bit characters) has been updated to comply with the SC22 resolution approved at the Jeju plenary meeting. Also, AI95-00284-02 (new reserved words) is compliant with the letter ballot taken by WG9 in August. Finally, the ARG decided not to pursue AI95-00315-01 (full support for IEC 559:1989), an AI which was included in the Scope Document approved at the June meeting. It was felt that this AI would have too big an impact on implementations for relatively little user benefits. Of course, the approach proposed by this AI may be used by an implementation which would want to provide IEC 559 support in a nonstandard mode of operations. At this point there are only 7 significant amendment AIs that are still in the works. However, a number of minor changes are being considered to make the final language more consistent and easier to use. AIs are being created to track these changes, but it is likely that these AIs will not be forwarded as such to WG9; instead they will be directly included in the draft Amendment. The current plan is for the ARG to produce a draft Amendment during the Spring of 2005. To review the draft, the ARG plans to meet in Paris in February and, if necessary, in the US in April. If all goes well, an Amendment document would be circulated to the WG9 Officers and Heads of Delegations in May for a vote at the June meeting. The list of AIs for approval at the November meeting can be found below. A pointer to retrieve the AIs is included. The Rapporteur proposes the following list of members for the ARG: Baird, Baker, Barnes, Brukardt, Burns, Dewar, Dismukes, Duff, Ishihata, Leroy, Michell, Ploedereder, Rosen, Schonberg, Taft, Tokar. The cited AIs can be retrieved from the ACAA Web Site for AIs: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/ Amendment AIs: AI95-00266-02/08 04-11-09 -- Task termination procedure Normal AIs: AI95-00051-01/14 04-11-08 -- Size and Alignment clauses |
| Oral Report | The Ada Rationale will include a note explaining why the Amendment references IS 10646 regarding character set coding rather than TR 10176. |
| Discussion |
It was noted that WG9 (and its parent organizations) will actually vote on the Amendment to ISO/IEC 8652, not the document that results from merging the Amendment and the Corrigendum into ISO/IEC 8652:1995. Jean-Pierre Rosen requested a separate discussion of AI-0266. The AI concerns task termination procedure - seemingly useful for RT people and High Integrity people, but doesn't seem to be the case that HI people have requested/supported this AI. If nobody has any concerns, then we can move on. Alan Burns gave a technical explanation of this AI. RT/HI people did request that a task termination procedure be included, though. A separate AI looked at a fuller proposal but IRTAW thought it was really too much. So, the current AI is somewhat of a compromise. The basic mechanism did come through the Ravenscar discussions in the past. Tucker thinks it odd that an interesting event, task termination, is not there. This should really be there, even in a RT system. Implementation is not a burden. Is it more complex than you need? For Ravenscar it is, but for what is there currently in Ada, this is a natural follow-on notion. Pascal's concern is not with implementation, but with conceptual complexity of the model. Not a clear picture of the usage model. Debugging is not a justification. This is no safer than exception handling. In terms of reliability of language, it doesn't help too much. It does give information of tasks terminating in case of abort, but in RT there is usually no abort statement given. Stephen Michel of Canada indicated that there hasn't been a real analysis; perhaps ambiguities might show that it's inappropriate. Even if it's put in, it's questionable for HI. Agrees with Tucker that completion of tasks is an important event and some form of notification is appropriate. Perhaps go back to ARG for further discussion. Tucker had an interesting conversation with a customer recently who said that there is a daemon task for each running task and restart it if it terminates. Justification for tasks to not signal its own termination. There are times when you might want to know when a task died, especially that a task dies with an unhandled exception. Erhard: the community believes that silent termination of a task is bad. Some say that you can determine when a task goes away silently with current means, but some say that you should do it with this new mechanism. Tasks need something added to define this protocol. But current Ada model has no means of something outside knowing when a task died. Not a language feature here, but an API. In favor of this AI. Joyce: Purpose of this is a lightweight solution. Separate issue when initially looked at Ravenscar. Is an issue in real world for RT. The convener restated the groundrules adopted at Meeting #46 for dealing with AIs in the Amendment. He said that our choices are to accept it now, reject it now, or have a 30-day email ballot on those choices. There is no time to send it back to the ARG for more work. The convener suggested that we vote now. Pascal Leroy is concerned that Italy is not represented here and would like to see what his feeling is concerning this AI; J-P Rosen suggests a letter ballot. Joyce said that this AI was on the list and Tullio had the opportunity to see it, including France's objection. The convener conducted a straw poll with the following results: UK is leaning in favor of approving; US approve; Germany in favor; Belgium leaning in favor; Canada in favor; France leaning towards oppose. Erhard suggests that ARG be given the opportunity to bring France back into the fold this week; discussion to be at the ARG. Pascal leaning towards a letter ballot. If this group thinks there might be technical issues, it should be back to ARG. Erhard wants the opportunity to make vote unanimous. AFNOR probably won't change it. Further discussion ensued. Pascal's gut feeling is that it's not ready for prime time, but we haven't seen a better proposal. US moved to vote, no objections: AFNOR voted no - result is that this AI is approved. All other AIs were approved. Alan Burns asked about the schedule for processing the Amendment. The convener replied that WG9 must approve the amendment--either at a meeting or by an email ballot. Then the processing is similar to approving a standard. Approval by JTC1 would probably occur in early 2006. The Convener took an action item, 47-2, to determine if processing could be accelerated by combining votes at the SC22 level. |
| Resolutions | [ Resolution 47-2 ] [ Resolution 47-9 ] |
[Agenda]
| Background | WG9 N417: Charter of the ASIS Rapporteur Group (ASISRG) |
| Open Item: Action Item 46-1 |
(Rapporteur of ASIS RG): Draft a new work item proposal for the revision of the ASIS standard, ISO/IEC 15291. Status: None |
| Prior Discussion |
From Minutes of Meeting #41 [N400]: ASIS RG is considering the preparation of a New Work Item Proposal to revise and extend ASIS to keep pace with Ada 2005. The ASIS RG may reconsider some of the design goals for the specification. From Minutes of Meeting #42 [N409r]: Currie Colket reported that the ASIS RG has begun planning for the development of amendments to the ASIS standard in coordination with the planned amendment to the Ada standard. Steve Blake cannot continue as project editor; however, he has agreed to continue serving until a replacement is found. |
| Discussion |
It was noted that Action Item 46-1, NWI for revision of ASIS, has not been done by Currie; France concerned about timeframe for obtaining new ASIS; we really should have started by now; Ada 200Y is sufficiently stabilized now that work can go on; if IBM doesn't get an ASIS in a reasonable time after Ada 200Y, then they will be forced to define their own - what can we do to accelerate progress? Currie will send NWI to ASISWG. France concerned that the new ASIS should be started now - Ada is pretty well defined now. IBM is willing to have someone participate (Gary Barnes), but needs to be an active group. Currie will try to get some activities jump-started before Xmas. After Jim asked Currie if there's still life in ASISWG, he responded that he had been overloaded for awhile. If ASISRG is lacking resources, maybe ARG could help out with resources. Canada suggested that if ARG set aside 1/2-day for ASISRG. France said that if we don't see any progress in 6 months or so, the work might be under ARG, possibly disbanding ASISRG. Athough Currie has taken blame, his heavy activities were SIGAda related. Currie has not asked for help in ASISRG; thus, we conclude that nobody else is working in ASISRG (Jim) and that's the real problem. Currie hasn't been pushing anything to ASISRG because he hasn't seen anything coming out of new Ada related to syntax. We will see where Currie is at at the next meeting. Currie Colket was assigned action item 47-3, to report on the vitality of the ASIS RG at the next meeting of WG9. |
| Resolutions |
[Agenda]
| 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. |
| Oral Report | The editor noted that a draft of the Amendment document is near completion. |
| 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]
There was 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 |
CA suggested change of final word of explanatory report from
"instead" to "alone". Erhard asked if this
is too much mud thrown at them - there are opinionated statements
and factual statements; remove the opinionated ones. Strike "already",
"moving target", etc. At very beginning, 1st bullet
of Purpose should be more positive, "but has decided to
reference the more recent...". Also add that there is cooperation
among WG9 and ... in updating 10176. Convener's note: Immediately following the meeting, N445 was edited as directed. The revised document [N447] will be quickly circulated to ensure that the requested changes were implemented and then it will be sent to SC22. |
| Possible Resolution | [Resolution 47-6] |
| The Chair of SC22 noted that it has not started a new group in several years; Jim, due to some work he's done at MITRE, suggests that SC22 look again at language/subsets concerning high integrity. It went to an ad hoc WG which recommended appointment of a subgroup of adhoc to make a proposal to be sent to the adhoc in March, which might be sent to SC22 as a NWI. Steve: If it's done, it's not clear what form it might take. Jim is looking for ideas and has received several proposals from all over the map. There is some support for a document similar to TR 15942 but for multiple languages. After Xmas, will work on some sort of proposal. Next meeting is end of March, thus must have it by end of January. It was suggested that WG9 should lead this work. Alan: not really the language helping HI, but the language helping to support verification. NOTE: HRG plans to offer a strategy for revising 15942 at the next meeting of WG9. |
[Agenda]
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 | [Convener] Request SC22 to endorse free availability of the Ravenscar Guide, ISO/IEC TR 24718. |
| Action Item 47-2 | [Convener] Determine if processing of the Amendment can be accelerated by combining votes at the SC22 level. |
| Action Item 47-3 | [ASIS Rapporteur] At next meeting of WG9, report on vitality of ASIS RG and recommend any changes in duties to facilitate the update of ASIS to Ada 2005. |
[Agenda]
All resolutions were approved unanimously except as noted.
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 schedules future meetings as follows:
[Discussion] [Agenda]
WG9 directs its convener to respond to SC22 Resolution 04-15 by sending an edited revision of document WG9 N445 to the Secretariat of SC22.
Convener's note: The edited revision of the document is N447.
[Discussion] [Agenda]
WG9 approves the following AIs as written by the ARG, subject to their final editorial correction by the ARG, for incorporation into the planned Amendment to ISO/IEC 8652:
AI95-00266-02/08 04-11-09 -- Task termination procedure
AI95-00284-02/03 04-11-09 -- New reserved words
AI95-00285-01/11 04-11-10 -- Support for 16-bit and 32-bit characters
AI95-00286-01/09 04-11-08 -- Assert pragma
AI95-00287-01/09 04-11-08 -- Limited aggregates allowed
AI95-00297-01/10 04-11-12 -- Timing events
AI95-00317-01/10 04-11-09 -- Partial parameter lists for formal
packages
AI95-00318-02/07 04-11-05 -- Limited and anonymous access return
types
AI95-00327-01/07 04-11-10 -- Dynamic ceiling priorities
AI95-00344-01/07 04-11-07 -- Allow nested type extensions
AI95-00345-01/07 04-11-11 -- Protected and task interfaces
AI95-00355-01/07 04-11-11 -- Priority Specific Dispatching including
Round Robin
AI95-00362-01/05 04-11-08 -- Some predefined packages should be
recategorized
AI95-00363-01/05 04-11-07 -- Eliminating access subtype problems
AI95-00364-01/04 04-11-07 -- Fixed-point multiply/divide
AI95-00368-01/04 04-11-09 -- Restrictions for obsolescent features
AI95-00381-01/03 04-11-09 -- New Restrictions identifier No_Dependence
AI95-00384-01/04 04-11-09 -- Conversion rules should be symmetric
In addition, WG9 approves the following "normal AIs":
AI95-00051-01/14 04-11-08 -- Size and Alignment clauses
AI95-00100-01/05 04-04-22 -- Truncation required for static expressions
if Machine_Rounds is false
AI95-00133-01/05 04-09-28 -- Controlling bit ordering
AI95-00204-01/06 04-11-08 -- Language interfacing support is optional
AI95-00214-01/04 04-11-08 -- Distinct Names for Compilation Units
(again).
AI95-00239-01/04 04-11-08 -- Controlling inherited default expressions
AI95-00269-01/06 04-11-03 -- Generic formal objects can be static
in the instance
AI95-00279-01/07 04-11-08 -- Tag read by T'Class'Input
AI95-00280-01/05 04-11-04 -- Allocation, deallocation, and use
of objects after finalization
AI95-00294-01/04 04-04-22 -- Instantiating with abstract operations
AI95-00320-01/04 04-11-09 -- Violating Ada semantics with an interfacing
pragma
AI95-00333-01/06 04-11-09 -- Other Locking_Policies can be used
with FIFO_Within_Priorities
AI95-00334-01/03 04-11-08 -- Is overriding of abstract equality
required?
AI95-00335-01/03 04-11-08 -- Stream attributes may be dispatching
subprograms
AI95-00341-01/02 03-11-08 -- Primitive subprograms are frozen
with a tagged type
AI95-00349-01/02 03-11-07 -- Equality on private extensions
AI95-00376-01/02 04-11-09 -- Interfaces.C works for C++ as well
AI95-00378-01/02 04-11-09 -- The bounds of Ada.Exceptions.Exception_Name
France voted against the approval of AI95-00266.
[Discussion] [Agenda]
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 was recessed at approximately 5:00 pm. HODs may anticipate email ballots to be conducted during the months between this meeting and the next one.
[Agenda]
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
N447, Explanatory Report re SC22 Resolution 04-15 (Revision of N445)
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