[These minutes are not official until approved at the subsequent meeting.]
The next meeting of ISO/IEC JTC1/SC22/WG9 was colocated with the SIGAda conference. The meeting began at approximately 2:00 pm and ran into the early evening.
Conference and venue information can be found at the conference web site.
The announcement and preliminary agenda for this meeting were circulated as N453. The draft detailed agenda was circulated as N455.
The meeting began at approximately 2:00 pm.
Our host for the meeting was SIGAda. John McCormick, its new President, made brief welcoming remarks.
Clyde Roby volunteered to take notes of the meeting.
The meeting agenda was approved with the addition of two items.
| Background |
The draft minutes of Meeting #48 are recorded in document N451 . |
| Resolution | [Resolution 49-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 (HOD) (unable to attend) | . |
| Japan | Kiyoshi Ishihata (unable to attend) | . |
| Switzerland | Urs Mauer (HOD) (unable to attend) | . |
| UK | John Barnes (HOD) | Report |
| USA | Joyce Tokar (HOD), Randy Brukardt, Tucker Taft | Report |
| Ada-Europe | Erhard Ploedereder |
| SIGAda | Currie Colket, John McCormick, Geoff Smith, Clyde Roby, Greg Gicca |
| Convener | Jim Moore |
| Webmaster | Clyde Roby |
| ARG Rapporteur | Pascal Leroy |
| HRG Rapporteur | Alan Burns (unable to attend) |
| Project Editors |
|
[Agenda]
| Background | Ada-Europe is a Category C Liaison to WG9 [See N414] |
[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. From Minutes of Meeting #47 [N448]: Currie Colket reported that SIGAda has named a chair, Geoff Smith, of its APIWG (Application Programming Interface Working Group) to replace Clyde Roby who has been acting in the role. Geoff will lead an effort to update the draft charter and to gain its approval by SIGAda. |
| Report |
Oral Report: The SIGAda Extended Executive Committee has approved the creation of an Application Programming Interface Working Group (APIWG). Geoff Smith chairs the group. A new chair has been appointed for the ASISWG, Bill Thomas. John McCormick, the SIGAda President, will serve as its liaison representative to WG9. |
[Agenda]
| Report |
End of Convener's TermIt should be noted that my third term as convener will end with the SC22 plenary of September 2006. Considering the two years spent as acting convener, I will have served for eleven years in all. The procedure for filling the position is for the US to nominate a person who must then be confirmed by SC22. If the US cannot find a candidate, then the convenership will be made available to other national bodies. Recent Plenary Meeting of SC 22 Because of unusual rules regarding the participation of conveners in US delegations, I chose to attend this meeting as a member of the US delegation rather than as convener of WG 9. I thank Steve Michell (Canada) for representing the interests of WG 9 in the meeting. All of the requests of WG 9 were favorably considered:
The SC 22 meeting provided other developments that may be of interest to participants in WG 9:
Retirement of Kiyoshi Ishihata from WG 9Kiyoshi Ishihata has moved up to serve as the Head of the Japanese delegation to SC 22. As a result, he will no longer attend meetings of WG 9. I appreciate his long service and many contributions to WG 9. This MeetingOf course, the most important topic for this meeting is to determine the next steps for the processing of the amendment to ISO/IEC 8652. This will be discussed during the report of the Rapporteur of the ARG. An additional item of importance is to develop a plan for the revision of ISO/IEC 15291, ASIS, to deal with the revised Ada language. This duty has been assigned to the ARG. I have scheduled a discussion under new business to discuss a plan for accomplishing this work. |
| Discussion | Regarding the end of the convener's term ... An item was added to New Business to discuss this issue. |
[Agenda]
This summarizes the status of the "To Do" list for WG9 as it enters the meeting. 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] |
| Action Item 46-1: |
(Reassigned to Rapporteur of ARG): Draft a new work item proposal for the revision of the ASIS standard, ISO/IEC 15291. For status, see [Report of Ada Rapporteur Group] |
| Action Item 47-1 |
[Convener] Request SC22 to endorse free availability of the Ravenscar Guide, ISO/IEC TR 24718. For status, see: [Project Editor Maintenance Report, 24718] |
| Action Item 47-1A |
[Editor, TR 24718] Monitor implementation by ITTF of free availability for ISO/IEC TR 24718. For status, see: [Project Editor Maintenance Report, 24718] |
| Action Item 47-3 |
[ASIS Rapporteur] At next meeting of WG9, report on vitality of ASIS RG and recommend any changes in duties to facilitate the update of ASIS to Ada 2005. Status: CLOSED administratively by convener. |
| Action Item 48-1 |
[US, Joyce Tokar] If practical, prepare a submission to the HOPL conference regarding Ada 95. Status: CLOSED. Joyce Tokar and John Barnes submitted a paper. |
| Resolution 48-4: |
WG9 requests the project editor of the 8652 amendment to remain prepared to respond to any request from ITTF for a manuscript of a third edition to 8652. For status: See [Project Editor Maintenance Report, 8652] |
| Resolution 48-7 |
ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period: ISO/IEC 8652:1995, Information Technology--Programming Languages--Ada, as amended by COR.1:2001. This recommendation is made with the understanding that WG9 is currently preparing an amendment to the standard with completion expected during 2006. For status: See [Project Editor Maintenance Report, 8652] |
| Resolution 48-8 |
In order to begin work on a revision of the ASIS standard appropriate to Ada 2005, WG9 assigns the scope of ASIS to the Ada RG. The WG9 convener is requested to provide a proposal by the November 2005 meeting of WG9, including scope of work, plan of work, schedule and personnel. WG9 encourages SIGAda to formulate proposals for extending the ASIS specification to include the new language elements of Ada 2005. For status: See [New Business: Future of ASIS] |
The following are new items assigned by SC 22:
| Action Item 48a-1 |
[Convener] (Assigned by SC22 Resolution 5-14) Identify one or more WG 9 representatives to OWG:Vulnerability. Determine whether to invite the OWG to colocate with a WG9 meeting. For status: See [New Business: OWG:Vulnerability] |
| Action Item 48a-2 |
[Editor of 8652] (Assigned by SC22 Resolution 5-15) Review the work of the Free University of Amsterdam on "Grammar Engineering" at http://www.cs.vu.nl/grammars/browsable (and as discussed in JTC 1/SC 22 N 3977), investigate areas for cooperation, and report upon progress made and issues found. For status: See [Project Editor Maintenance Report, 8652] |
[Agenda]
| Background |
Resolution 48-3 scheduled "Meeting #50 in conjunction with the 2006 Ada-Europe conference, on the morning of Friday, 9 June 2006, Porto, Portugal" The resolution below merely confirmed the previous resolution and added the intent to meet with SIGAda in 2006. |
| Resolution | [Resolution 49-4] |
[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: WG9 N447, Explanatory Report re SC22 Resolution 04-15 From Minutes of Meeting #46 [N440]: At its San Diego meeting, WG9 considered the best way to proceed with standardization of APIs, and recommended the use of Technical Reports or International Workshop Agreements to reach agreement on APIs (see resolution 45-6). ... At this point it appears that AI95-00302-03 will likely be part of the Amendment, and that there is no need to start an alternative standardization process. Resolution 46-8: WG9 approves the scope of Amendment 1 to ISO/IEC 8652:1995 as defined by N437 and requests the ARG to initiate preparation and circulation of draft text of the Amendment. From Minutes of Meeting #47 [N448]: The Ada Rationale will include a note explaining why the Amendment references IS 10646 regarding character set coding rather than TR 10176. [Document N447 is relevant.] ... From email note from convener, 22 March 2005: ...Pascal Leroy has advised me that the preparation of the amendment to 8652 may not be completed by mid-May. He has suggested that I prepare an alternative plan for moving forward. That is the subject of this note. I believe that it is necessary for WG9 to review the document in two stages. The first stage is a constructive review, intended to find any remaining blemishes in the document. During this stage, it might be appropriate to "socialize" the draft by giving it wider circulation within the nations represented in WG9. (Formally, this socialization occurs at the "enquiry" stage of SC22 balloting -- but that's too late for us.) The second stage is the formal approval by WG9. If this falls after our meeting, it would be an email ballot. Because of ISO rules, the ballot would have a minimum length of 30 days. I would not expect comments from this ballot, simply a position: yes/no/abstain. From email note of convener, 16 May 2005: As we approach the end-game for the Amendment to ISO/IEC 8652, it is
important for us to handle the document so that intellectual property
rights are appropriately conveyed. This is performed through a
"contribution" to ISO/IEC JTC 1/SC 22/ WG 9. In this case, the
contribution is made by the US National Body. From the minutes of Meeting #48 [N451]: It was noted that speedy processing crucially depends on receiving comments early in the cycle (e.g. during the first informal review) rather than later (e.g. during balloting by SC22). To improve these prospects, HODs were encouraged to achieve the widest possible circulation to interested parties during the informal review. In addition, it was decided to make the draft available on the WG9 web site with instructions for sending comments to Heads of Delegation. It was noted that comments may still result from SC22 balloting despite WG9's best efforts. The convener said that he may have to schedule comment disposition meetings; this would have the effect of delaying progress toward JTC1 approval. From Meeting Report: ISO/IEC JTC 1/SC 22, 29 September to 2 October 2005, Mont Tremblant, Quebec, Canada [N454]: Resolution 05-29: Authorization to Initiate an FPDAM Ballot for
Ada |
| Action Item 46-1: |
(Reassigned to Rapporteur of ARG): Draft a new work item proposal for the revision of the ASIS standard, ISO/IEC 15291. Status: None |
| Report |
Email from Pascal Leroy, 4 November 2005: The ARG met in York, UK, in June. The meeting was mostly devoted to studying and validating the corrections made during the preparation of draft 12 of the Amendment document and the Reference Manual. A number of significant integration issues were identified, which were resolved after the meeting and incorporated into later drafts. It was agreed not to have a meeting before SIGAda, but instead to handle subsequent lists of corrections through letter ballots. Draft 12 (released immediately before the York ARG meeting) was complete through the end of section 11. Draft 13 was released at the end of August and was complete through the end of Annex D. Finally, draft 14, which is the first complete draft, was released at the end of October. The list of corrections made between drafts 12 and 13 was made available at the same time as draft 13, and a letter ballot took place from September 23rd to October 7th to approved these corrections. Of the 16 official ARG members 12 responded, all in favors. Two members made comments which were incorporated into draft 14. While it had been anticipated that all corrections would be handled by letter ballot, the timing of the release of draft 14 is such that this procedure is not necessary: the corrections made between drafts 13 and 14, as well as new AIs dealing with integration issues, will be discussed in person at the upcoming ARG meeting, to be held in Atlanta, GA, immediately after the WG9 meeting. The plan at this point is that after the ARG meeting any changes needed to reflect the decisions of the ARG will be integrated into a new draft 15. Hopefully these changes will be rather minor, so this work should be completed quickly, and draft 15 should be released to WG9 by the end of November. While it is understood that the document delivered to WG9 is the Amendment document, the ARG, in compliance with resolution 48-3, is prepared to provide an integrated document (known in the vernacular as Reference Manual), and special care has been taken to ensure the consistency of these documents. The ARG doesn't have a list of AIs for approval at this meeting. As explained above, all of the new AIs are addressing integration problems, and approving them in isolation doesn't make much sense. The Rapporteur proposes the following list of members for the ARG: Baird, Barnes, Brukardt, Burns, Dewar, Dismukes, Duff, Ishihata, Leroy, Michell, Ploedereder, Rosen, Schonberg, Taft, Thomas, Tokar, Vardanega. |
| Discussion of Amendment |
If the amendment completes its current review in the ARG without comments requiring substantial remark then it should be possible for the ARG to make an informational distribution in early December. The process is long past the stage when the ARG would accept comments from the "public". However, the ARG would desire that the informational distribution be distributed broadly by Heads of Delegation and Liaison Representatives in order to ensure that no problems remain with it. Comments should be submitted directly to the Axe Consulting. Following the informational distribution and the implementation of any changes resulting from it, the Axe Consulting would forward the document to the USNB for contribution to WG9. WG9 would conduct a letter ballot to approve submssion to SC22 for formal NB balloting. Possible schedule:
Action Item: [ARG Rapporteur} Invite Axe Consulting to circulate its contracted draft materials related to the proposed amendment to the National Bodies and Liaison Organizations of WG9 for review and comment on the draft of the proposed amendment prior to the formal contribution of the proposed amendment to WG9 by the US National Body. The period of review will be approximately 60 days. Circulated documents will be PDF in A4 paper size and will include a draft ISO Foreword. Action Item: [Convener] Following contribution of the proposed draft amendment by the US National Body, the convener is requested to conduct a letter ballot of WG9 to authorize submission of the document to SC22 for FPDAM ballot. Action Item: [Convener] Advise AXE Consulting of appropriate wording for a note advising ISO that it expects the AXE copyright to be removed from the ISO amendment. |
| Resolutions | [ Resolution 49-2 ] |
[Agenda]
| Background | WG9 N416, Charter of the HRG |
| Prior Discussion |
From email note of Convener, 19 March 2005: I see that the Ravenscar Guide has been published by ISO Central Secretariat and is available for the price of 176 CHF. ISO/IEC TR 24718:2005, Information technology -- Programming languages
-- Guide for the use of the Ada Ravenscar Profile in high integrity
systems, From the minutes of Meeting #48 [N451]: The Annex H Rapporteur made an oral report: After the current language revision effort is complete, the HRG will consider whether to update ISO/IEC TR 15942. The Rapporteur will take steps to update the membership of the Rapporteur Group at that time. |
| Report |
The HRG has not met since the last meeting of WG9. It has reviewed (by email) its future agenda and has decided that it should revisit the Guidelines for use of Ada in High Integrity Applications report with a view to updating it for Ada 2005. A plan to review this report will be drawn up once the Ada 2005 definition has been passed by WG9. The current membership of the HRG is Canada: Stephen Michell, Mark Saaltink |
| Resolutions | [ Resolution 49-3 ] |
[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. Maintenance action is due in 2005. |
| Project Status |
Working Draft, 8652:1995/AMD.1, Randy Brukardt and Pascal Leroy, Project Editors, supported by the Ada Rapporteur Group The request for subdivision [N388] of Project 22.10.01 was endorsed by WG9 Resolution 40-7 [N389], and approved by SC22 N3310 on 2001-09-12. |
| Open Item |
Resolution 48-4: WG9 requests the project editor of the 8652 amendment to remain prepared to respond to any request from ITTF for a manuscript of a third edition to 8652. Status: Continuing |
| Open Item |
Resolution 48-7: ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period: ISO/IEC 8652:1995, Information Technology--Programming Languages--Ada, as amended by COR.1:2001. This recommendation is made with the understanding that WG9 is currently preparing an amendment to the standard with completion expected during 2006. Status: Resolution 05-33 of the 2005 Plenary Meeting of SC 22 scheduled a letter ballot on systematic review requests, including this one. |
| Open Item |
Action Item 48a-2: [Editor of 8652] (Assigned by SC22 Resolution 5-15) Review the work of the Free University of Amsterdam on "Grammar Engineering" at http://www.cs.vu.nl/grammars/browsable (and as discussed in JTC 1/SC 22 N 3977), investigate areas for cooperation, and report upon progress made and issues found. Status: None |
[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 implementation by ITTF.) The standard addressed the Ada 87 language and is effectively replaced by the 1995 language standard. |
| Open Items: Resolution 40-6: |
ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period:
ISO/IEC 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 responded by circulating a letter ballot (J1N7405) to withdraw the standard. The ballot ended on 22 June 2004 with the decision to recommend withdrawal (22N7451). At its 2005 plenary meeting, SC 22 approved resolution 05-05: "JTC 1/SC 22, noting JTC 1/SC 22 Resolution 01-07 and that this withdrawal request has not been completed and that this standard is listed as confirmed on the ISO website, requests that the withdrawal of ISO/IEC 13814: 1998 be implemented." |
[Agenda]
| Document Status |
ISO/IEC 15291:1999, Information Technology--Programming Languages--Ada Semantic Interface Specification (ASIS), 22.15291, Clyde Roby and Greg Gicca, Project Editors, supported by the ASIS Rapporteur Group. This document was "confirmed" by JTC 1 in its 2004 systematic review. |
[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. Maintenance action is due in 2005. |
| Open Item |
From 2004 SC22 Plenary: Resolution 04-05: Standards for 2005 Periodic Review JTC 1/SC 22 recommends to JTC 1 that at the end of their 5-year review
period, the Status: The request has been forwarded to JTC1 for action during 2005. |
[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. This document was "confirmed" by JTC 1 in its 2004 systematic review. |
[Agenda]
| Document Status |
ISO/IEC TR 24718:2005, Guide for the use of the Ada Ravenscar Profile in high integrity systems 22.24718, Alan Burns, Project Editor, supported by the Annex H Rapporteur Group This is a Type 3 Technical Report providing guidance for users. It is due for maintenance action in 2010. |
| Open Item: |
Action Item 47-1A: [Editor, TR 24718] Monitor implementation by ITTF of free availability for ISO/IEC TR 24718. Status: The 2005 JTC1 letter ballot on free availability for TR 24718 (the Ravenscar Guide) completed with no objections. The request has been forwarded to ITTF for implementation. At its 2005 plenary meeting, SC22 approved resolution 05-01 reiterating the request. |
[Agenda]
[The convener knows of no unfinished business.]
[Agenda]
| Open Item |
Resolution 48-8 In order to begin work on a revision of the ASIS standard appropriate to Ada 2005, WG9 assigns the scope of ASIS to the Ada RG. The WG9 convener is requested to provide a proposal by the November 2005 meeting of WG9, including scope of work, plan of work, schedule and personnel. WG9 encourages SIGAda to formulate proposals for extending the ASIS specification to include the new language elements of Ada 2005. Status: The convener prepared such a proposal and distributed it as N456. |
| Prior Discussion |
From the minutes of Meeting #48 [N451]: There was general agreement that the revision effort should be conducted under the supervision of the ARG in order to ensure consistency with the language revision. It was also agreed, though, that the ARG should devote all of its energy during the next few months to completing the language amendment. |
| Discussion |
There was discussion of the appropriate scope of the revision: update enough to permit access to the new Ada language features or restructure the interfaces to exploit the new language features. It was suggested that it might be appropriate to ask the users of ASIS what they prefer. (Several papers at the SIGAda conference mentioned the use of ASIS.) The work should minimize impact on existing ASIS programs by paying attention to backward compatibility. Two changes were made to the Convener's proposal as a result of discussion. Item #3 of the recommendations was changed as shown below. Added text is marked by italics. Deleted text is delimited with square brackets.
Item #7 of the recommendations was changed slightly. The phrase "an Ada Issue" was changed to "one or several Ada Issues". The amended document was retitled as "Approved Plan for the Revision of the ASIS Standard, ISO/IEC 15291" and renumbered as N457. |
| Open Item |
Action Item 48a-1 [Convener] (Assigned by SC22 Resolution 5-14) Identify one or more WG 9 representatives to OWG:Vulnerability. Determine whether to invite the OWG to colocate with a WG9 meeting. Status: None |
| Background | The web site of the SC22 High Integrity Ad Hoc Group (which led to the formation of OWG:Vulnerability) is located here. |
| Discussion |
Germany mentioned that the HRG should develop a relationship to this work. [Action Item]: The HRG is requested to suggest a relationship to OWG:Vulnerability. A remark by the US resulted in the following action item: [Action Item]: [Convener] The convener is requested to convey a concern to SC7, to SC22 and to OWG:Vulnerability that modeling languages and automatic code generation are not treated by the current terms of reference of OWG:Vulnerability and SC22 itself. It is suggested that JTC1 work on modeling languages and automatic code generation should be transferred to SC22. Both Steve Michell and Erhard Ploedereder stated that they planned to participated in OWG:Vulnerability representing Canada and Germany respectively. In response to Action Item 48a-1 (see above), WG9 approved the resolution below: |
| Resolution | [ Resolution 49-6 ] |
| Background |
Draft JTC1 2005 Plenary Resolution on Teleconferencing JTC 1 encourages its SCs to utilize the provisions of clause 7.11 of the JTC 1 Directives with respect to teleconferencing. To facilitate the SCs use of this tool, JTC 1 extends the provisions of clause 7.11 as follows until the 2007 JTC 1 Plenary meeting:
JTC 1 SCs are asked to inform JTC 1 of their experiences with the use of teleconferencing no later than the 2007 JTC 1 Plenary meeting. |
| Discussion |
Canada reported that the recent meeting of JTC1 had liberalized rules on the use of teleconferencing and had requested reactions from working groups. As a result WG9 assigned the following action item: Action Item: [Convener] Report to SC22 that WG9 colocates its meetings with major Ada conferences and has been successful in attracting the physical attendance of a large proportion of its participants. WG9 anticipates no immediate role for teleconferencing in its works. Of course, WG9 does not oppose the use of teleconferencing if the need arises. |
| Request from ARG | The ARG Rapporteur posed the following question: Should it be permitted to select AIs of the amendment and implement them upon Ada 95? |
| Discussion |
The ARG Rapporteur reported that there has been email discussion of applying some of the AIs of the amendment to the unamended language. It has been suggested that the AIs that constitute "corrections" or "clarifications" should be applied to old compilers. The Convener stated that AIs become part of the standard only when incorporated into a Corrigendum or an Amendment. AIs that are not incorporated but result in changing tests indicate only that the test was incorrect. Randy Brukardt (who operates the Ada Conformity Assessment Authority noted that currently the ACATS suite is updated only for the Technical Corrigendum and has not been updated as a result of any AIs since then. As this is the operational test of conformity, it would not be possible to certify a compiler as conforming if it were to apply AIs processed since that date, but short of the full amendment. As a result of the discussion, the following resolution was approved. |
| Resolution | [ Resolution 49-7 ] |
| From Report of French NB | A question arose recently regarding the format used for the distribution of the upcoming amendment. Only "read-only" formats (PDF and HTML) formats are used, to preserve the authenticity of the documents. However, this precludes other formats, notably ASCII, that are convenient for some uses. AFNOR suggests to allow the distribution of such formats, provided a signature is published to allow authentication of the document. AFNOR proposes to add a discussion about this issue to the agenda of the meeting. |
| Discussion |
The convener summarized his investigation of the subject thusly: It has been determined that WG9 has provided no guidance on this subject. The issue should be treated with the contractor and the funding organizations. As a result France withdrew the request for discussion. |
| Discussion | Regarding the end of the convener's term ... The convener noted that US and ISO rules discourage "life-long" tenure as a convener. He has approaching the end of his third term plus two years of service as acting convener--11 years in all. Currently, SIGAda and Ada-Europe subsidize his travel to meetings, so they have a stake in the subject. No one knew of other candidates for the job. |
[Agenda]
We appreciate the comfortable accommodations provided by SIGAda. The resolution expresses WG9's gratitude.
We appreciate the services of the meeting Secretary, Clyde Roby. The resolution expresses WG9's gratitude.
We appreciate the continuing services of the WG9 Web Master. The resolution expresses WG9's gratitude.
Noting the retirement of Kiyoshi Ishihata from attendance at WG9 meetings and noting the announced retirement of Currie Colket as representative of the SIGAda liaison, France proposed a resolution of appreciation.
[Agenda]
These action items already existed prior to the meeting. The status of some have changed as a result of the meeting.
| 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] |
| Action Item 46-1: |
(Reassigned to Rapporteur of ARG): Draft a new work item proposal for the revision of the ASIS standard, ISO/IEC 15291. For status, see [Report of Ada Rapporteur Group] |
| Action Item 47-1 |
[Convener] Request SC22 to endorse free availability of the Ravenscar Guide, ISO/IEC TR 24718. Status: CLOSED. SC22 approved a resolution on this subject. |
| Action Item 47-1A |
[Editor, TR 24718] Monitor implementation by ITTF of free availability for ISO/IEC TR 24718. For status, see: [Project Editor Maintenance Report, 24718] |
| Action Item 47-3 |
[ASIS Rapporteur] At next meeting of WG9, report on vitality of ASIS RG and recommend any changes in duties to facilitate the update of ASIS to Ada 2005. Status: CLOSED administratively by convener. |
| Action Item 48-1 |
[US, Joyce Tokar] If practical, prepare a submission to the HOPL conference regarding Ada 95. Status: CLOSED. Joyce Tokar and John Barnes submitted a paper. |
| Resolution 48-4: |
WG9 requests the project editor of the 8652 amendment to remain prepared to respond to any request from ITTF for a manuscript of a third edition to 8652. For status: See [Project Editor Maintenance Report, 8652] |
| Resolution 48-7 |
ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Standard be confirmed when it reaches the end of its five-year review period: ISO/IEC 8652:1995, Information Technology--Programming Languages--Ada, as amended by COR.1:2001. This recommendation is made with the understanding that WG9 is currently preparing an amendment to the standard with completion expected during 2006. For status: See [Project Editor Maintenance Report, 8652] |
| Resolution 48-8 |
In order to begin work on a revision of the ASIS standard appropriate to Ada 2005, WG9 assigns the scope of ASIS to the Ada RG. The WG9 convener is requested to provide a proposal by the November 2005 meeting of WG9, including scope of work, plan of work, schedule and personnel. WG9 encourages SIGAda to formulate proposals for extending the ASIS specification to include the new language elements of Ada 2005. Status: CLOSED. The convener submitted N456 which was accepted with changes. The accepted version has since been reissued as N457. |
The following are new items assigned by SC 22 prior to the meeting:
| Action Item 48a-1 |
[Convener] (Assigned by SC22 Resolution 5-14) Identify one or more WG 9 representatives to OWG:Vulnerability. Determine whether to invite the OWG to colocate with a WG9 meeting. Status: CLOSED. Erhard Ploedereder was named as the WG9 Representative and the group was invited to colocate with the Porto meeting of WG9. |
| Action Item 48a-2 |
[Editor of 8652] (Assigned by SC22 Resolution 5-15) Review the work of the Free University of Amsterdam on "Grammar Engineering" at http://www.cs.vu.nl/grammars/browsable (and as discussed in JTC 1/SC 22 N 3977), investigate areas for cooperation, and report upon progress made and issues found. For status: See [Project Editor Maintenance Report, 8652] |
The following action items were created at the meeting.
[Agenda]
All resolutions were approved unanimously.
The minutes of Meeting #48 as contained in document N451 are approved.
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 continues its Ada Rapporteur Group until the next plenary meeting and expresses its grateful appreciation to the Rapporteur and the members for their continuing service.
Pascal Leroy (France) is continued as Rapporteur.
The membership of the ARG is designated to be: Steve Baird (SIGAda), John Barnes (UK), Randy Brukardt (US), Alan Burns (UK), Robert Dewar (US), Gary Dismukes (US), Robert Duff (US), Kiyoshi Ishihata (Japan), Pascal Leroy (France), Steve Michell (Canada), Erhard Ploedereder (Germany), Jean-Pierre Rosen (France), Ed Schonberg (US), Tucker Taft (US), Bill Thomas (SIGAda), Joyce Tokar (US), and Tullio Vardanega (Italy).
The Convener of WG9 is authorized to act for WG9 between meetings in appointing additional members of the ARG. In doing so, he shall consult with the Rapporteur and the National Body or Liaison Organization nominating the member.
Rapporteurs are instructed that they may permit other individuals to observe the deliberations of the Rapporteur Group. The admission of observers and the extent of participation permitted to observers are at the discretion of the Rapporteur with the concurrence of the membership of the Rapporteur Group.
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 continues its Annex H Rapporteur Group until the next plenary meeting and expresses its grateful appreciation to the Rapporteur and the members for their continuing service.
Alan Burns (UK) is continued as Rapporteur.
The membership of the HRG is designated to be: Peter Amey (UK), John Barnes (UK), Patrick de Bondeli (France), Alan Burns (UK), Rod Chapman (UK), Robert Dewar (US), Bob Duff (US), Michael Holloway (SIGAda), Stephen Michell (Canada), Michael Pickett (UK), Erhard Ploedereder (Germany), Juan Antonio de la Puente (Ada Europe), George Romanski (SIGAda), Jean-Pierre Rosen (France), Mark Saaltink (Canada), Joyce Tokar (US), Tullio Vardanega (Italy), and Brian Wichmann (UK).
The Convener of WG9 is authorized to act for WG9 between meetings in appointing additional members of the HRG. In doing so, he shall consult with the Rapporteur and the National Body or Liaison Organization nominating the member.
Rapporteurs are instructed that they may permit other individuals to observe the deliberations of the Rapporteur Group. The admission of observers and the extent of participation permitted to observers are at the discretion of the Rapporteur with the concurrence of the membership of the Rapporteur Group.
[Discussion] [Agenda]
WG9 schedules future meetings as follows:
[Discussion] [Agenda]
[There is no Resolution 49-5.]
Pending determination of the relationship of the HRG to OWG:Vulnerability, Erhard Ploedereder (Germany) is appointed to represent the interests of WG9 in OWG:Vulnerability. OWG:Vulnerability is invited to colocate its meeting with the Ada-Europe Conference, 5-9 June 2006, and the meeting of WG9, 9 June 2006, both in Porto Portugal.
[Discussion] [Agenda]
WG9 recommends that all effort in enhancing the ACATS should be dedicated to tests appropriate for assessing conformance to Ada 2005.
[Discussion] [Agenda]
[There is no Resolution 49-8.]
WG9 expresses its grateful appreciation to Kiyoshi Ishihata and Currie Colket for their participation and contributions in WG9, the ARG, and the ASIS RG and wish them well in their future endeavours.
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to SIGAda for their gracious accommodations in hosting Meeting #49.
[Discussion] [Agenda]
ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Clyde Roby for serving as Secretary of Meeting #49.
[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 6:15 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)
N440, Minutes, Meeting #46 ISO/IEC JTC1/SC22/WG9, Friday, 18 June 2004, Palma de Mallorca, Spain
N441, SC22 N3758, WG9 Request for National Body Contributions on Implementation of Coded Character Sets in Ada (text document),
N442, Draft submitted for DTR Approval Ballot, ISO/IEC TR 24718, Guide for the use of the Ravenscar Profile in high integrity systems, 20 July 2004 (PDF file, 626 KBytes)
N443, Announcement and Draft Agenda, Meeting #47 of ISO/IEC JTC1/SC22/WG9, Thursday, 18 November 2004 Atlanta, Georgia, USA
N444, Meeting Report: ISO/IEC JTC1/SC22, 6-10 September 2004, Jeju, Republic of Korea
N445, DRAFT Explanatory Report re SC22 Resolution 04-15
N446, Draft Detailed Agenda, Meeting #47 of ISO/IEC JTC1/SC22/WG9, Thursday, 18 November 2004, Atlanta, Georgia, USA
N447, Explanatory Report re SC22 Resolution 04-15
N448, Minutes, Meeting #47 of ISO/IEC JTC1/SC22/WG9, Friday, 18 November 2004, Atlanta, Georgia, USA
N449, Announcement and Draft Agenda, Meeting #48 of ISO/IEC JTC1/SC22/WG9, Friday, 24 June 2005, York, UK
N450, Detailed Agenda, Meeting #48 of ISO/IEC JTC1/SC22/WG9, Friday, 24 June 2005, York, UK
N451, Minutes, Meeting #48, ISO/IEC JTC1/SC22/WG9, Friday, 24 June 2005, York, UK
N452r, Convener's Report, 2005, ISO/IEC JTC1/SC22/WG9 (Ada)
N453, Announcement and Draft Agenda, Meeting #49 of ISO/IEC JTC1/SC22/WG9, 17 November 2005, Atlanta, Georgia, USA
N454, Meeting Report: ISO/IEC JTC 1/SC 22 (Programming Languages, Operating Systems and Environments), 29 September to 2 October 2005, Mont Tremblant, Quebec, Canada
N455, Draft Detailed Agenda, Meeting #49 of ISO/IEC JTC1/SC22/WG9, 17 November 2005, Atlanta, Georgia, USA
N456, Convener Proposal for the Revision of the ASIS Standard, ISO/IEC 15291
N457, Approved Plan for the Revision of the ASIS Standard, ISO/IEC 15291
N458, Minutes, Meeting #49 of ISO/IEC JTC1/SC22/WG9, 17 November 2005, 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/
SC22 High Integrity Ad Hoc Group Web Site: http://www.aitcnet.org/isai/
WG9 Web Site: http://www.open-std.org/JTC1/SC22/WG9/
SC22 High Integrity Ad Hoc Group Web Site: http://www.aitcnet.org/isai/
ACAA Web Site: http://www.ada-auth.org/
ACAA Web Site for ARG Minutes: http://www.ada-auth.org/arg-minutes.html
ACAA Web Site for AIs: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/
ACAA Web Site for Amendment: http://www.ada-auth.org/amendment.html
Ada-Europe Web Site: http://www.ada-europe.org/
Ada-Europe 2005 Conference Web Site: http://www.cs.york.ac.uk/rts/adaeurope/
SIGAda Web Site: http://www.acm.org/sigada/
SIGAda 2005 Conference Web Site: http://www.sigada.org/conf/sigada2005/
[Agenda]
End of Document