ISO/IEC JTC1/SC22/WG9 N418

These minutes will be corrected by email circulation and then approved at Meeting #44.

Draft version: 17 December 2002. I have added references to the items posted to the web site to describe the results of the WG9 Forum at the SIGAda conference and to describe SIGAda's plans for API management. I have made corrections to the UK report and have added some discussion related to the convener's report. I have expanded the record of the New Business discussion of the WG9 Forum.

Minutes
Meeting #43 of ISO/IEC JTC1/SC22/WG9
Friday, 13 December 2002
Houston, Texas, USA

Meeting #43 of ISO/IEC JTC1/SC22/WG9 was colocated with the SIGAda conference. Conference and venue information can be obtained at the conference web site.

The announcement and preliminary agenda for this meeting were circulated as N413. The detailed agenda was N415. These minutes were created by adding records of discussion to the detailed agenda.


Agenda

References


Detailed Agenda Items


Opening Orders, Jim Moore, Convener

Call to Order

The meeting was called to order at 9:11 am.

Welcoming Remarks by Host

Currie Colket, the Chair of SIGAda, welcomed WG9 on behalf of SIGAda and the SIGAda 2002 conference. SIGAda 2003 will be held in San Diego, CA; Robert Leif will be General Chair and Ricky Sward will be Program Chair. Possible dates are November (first choice) or October (second choice); a hotel still needs to be selected.

Appointment of Meeting Secretary

Clyde Roby agreed to serve as meeting secretary. 

Approval of Agenda

Since the final pre-meeting distribution of the draft agenda, written reports have been received from the project editor of the Amendment to ISO/IEC 8652 as well as France and Italy. The reports from France and Italy also included comments on the AIs. These reports and comments have been placed in the appropriate parts of the agenda. UK moved approval of the agenda and France seconded. The agenda was approved unanimously.

Approval of Minutes of Meeting #42

Background

The draft minutes of Meeting #42 are recorded in document N409r. The following correction has been submitted:

In the penultimate paragraph of the section labeled "Adjournment," delete the underlined portion of the following sentence: "Six nations voted to approve (Canada, Germany, Japan, Switzerland, UK, and USA), no nations; no nations voted to disapprove; no nations abstained; one nation was unable to respond (France)."

Discussion GE/FR moved to approve minutes; unanimously approved.
Resolution [Resolution 43-1]

[Agenda]


National Body Introductions and Reports

Attendees:

National Body Representatives:

Canada (Unable to attend)  
France Jean-Pierre Rosen (HOD) [Report]
Germany Erhard Ploedereder (HOD)  
Italy (Unable to attend) [Report]
Japan Kiyoshi Ishihata (HOD)  
Russia (Unable to attend)  
Switzerland (Unable to attend)  
UK John Barnes (HOD) [Report]
USA Joyce Tokar (HOD), Currie Colket [Report]

Liaison Representatives

Ada-Europe Erhard Ploedereder
SIGAda Currie Colket

WG9 Officers:

Convener Jim Moore
Webmaster Clyde Roby
ARG Rapporteur (Unable to attend)
ASIS RG Rapporteur Currie Colket
HRG Rapporteur (Unable to attend)
Project Editors Erhard Ploedereder, Clyde Roby

Other Attendees:

Those sending regrets include:  Randy Brukardt, Alan Burns, Pascal Leroy, Alfred Strohmeier, Tucker Taft, Tullio Vardanega

Reports:

France

Email from Jean-Pierre Rosen, 9 December 2002:

The Ada group of AFNOR met 2002/12/04.

Financing of the group is now granted; however the official restarting of the group was delayed due to administrative difficulties. Since AFNOR membership runs on a yearly basis, things should be settled by January 1st.

Most of the meeting was devoted to preparing the WG9 meeting.

[Convener: The remainder of the report from the French NB concerns the AIs proposed for approval by the ARG. It can be found following the report of the ARG Rapporteur.]

Oral Report:

As of this meeting, those administrative difficulties still exist; the group continues to work although officially the group will not resume until January 1st.

Italy

Email from Tullio Vardanega, 12 December 2002:

Apologies

Please, accept my apologies for not attending the meeting. (Which did not depend on not receiving WG9 communications for a while, but workload and funding constraints.)

Report

Activities since the last meeting followed three threads:

  • Active involvement in the HRG, including participation in the October meeting at York. I find the report to have high quality and to be useful (both informative and propositive) to the general public.
  • Listening mode on all ARG activities, with strong opinions only in AIs directly or indirectly related with the HRG domain of competence. As an aside, issue 23-4 of the Ada User Journal will feature a round-up of the AIs worked up by the ARG. My plan is to push a further couple of papers on specific AI highlights in volume 24 as well.
  • Continued search for individuals and groups interested in resuming Ada Italy. There is encouraging interest for the circulation of information. Much less energy for forming a true formal body.

[Convener: The remainder of the report from the Italian NB concerns the AIs proposed for approval by the ARG. It can be found following the report of the ARG Rapporteur.]

UK

Oral Report:

It is pleasing to report that the BSI WG is more active than formerly. They seemed to relish working on the multiple editions of the instructions to the ARG since it focussed their minds on the important matters. The UK HOD also noted that it was interesting to hear Dr McKay's talk regarding those annexes of the RM concerned with real-time embedded applications.

USA

Oral Report:

The US TAG is struggling with some of the financial and administrative requirements of the US National Body.

[Agenda]


Convener's Report

Report 

Plenary Meeting of SC22

ISO/IEC JTC1/SC22 held its plenary meeting in Saariselka, Finland, (250 kilometers north of the Arctic Circle) 26-30 August 2002. I submitted a report [N410] as Convener of WG9 and attended the meeting. My report of the results of the meeting is N411.

I entered the meeting with the following requests:

  • I noted that SC22's failure to act promptly at its previous plenary meeting on the WG9 request for public availability of TR 15942 caused a loss of confidence by WG9 in the willingness of SC22 to execute JTC1 policy on free availability. I requested SC22 to endorse the application of JTC1 policy on free availability of Technical Reports to the Technical Reports of SC22 and to delegate authority to the SC22 Secretariat to administratively grant SC22's endorsement of requests for free availability of SC22 Technical Reports.
  • I requested SC22's endorsement of the requests by Ada-Europe and SIGAda for Category C Liaison with WG9. (SC22 forwarded those requests on to JTC1 which also approved the requests. Both Ada-Europe and SIGAda received letters confirming approval of the requests on about 5 December.)

All of these requests were approved. In addition, SC22 took the following actions of relevance to WG9:

  • Pascal Leroy was appointed as co-editor of the Amendment to ISO/IEC 8652.
  • SC22 asked JTC1 to ask ITTF for a non-proprietary template, such as HTML, for NB comment submission in addition to proprietary formats such as MS Word or MS Excel files.
  • SC22 encouraged use of the new International Workshop Agreement method for preparing documents in cooperation with non-ISO parties.
  • SC22 encouraged its Working Group 20 to seek harmonization with the character sets of the Unicode Consortium. Ultimately, this may lead to a require to change the Ada standard to support Unicode, at least for the purposes of interoperability.
  • SC22/WG15 (POSIX) has been relatively inactive. Its convener was directed to report its status. It seems that this WG may disband.
  • SC22/WG13 (Modula 2) was disbanded.

Category C Liaison with Ada-Europe and SIGAda

Both SC22 and JTC1 promptly approved our requests for Category C Liaison with Ada-Europe and SIGAda. ITTF immediately implemented the liaison and confirmed its existence with letters to Ada-Europe and SIGAda [ N414 ]. I am pleased to welcome representatives of the two organizations at this meeting. The agenda includes an item for liaison reports from each organization. 

Increasing Participation in WG9

At the last meeting, the convener was instructed to invite Spain and Russia to begin participation in WG9. Upon investigation, the convener learned that Spain is not a member of SC22 (neither "P" nor "O"), hence is not permitted to participate. Russia is a "P" member. I sent a note to Sergey Rybin encouraging participation. He replied that he would attempt to increase his level of participation but that attendance at meetings was probably not practical for him. 

Membership of Rapporteur Groups

I anticipate that the first benefit of the liaison relationship will be the ability to more effectively staff the membership of our Rapporteur Groups. For some time, our Rapporteurs have permitted informal participation by individuals who have not been formally authorized by their National Bodies -- a practice that goes beyond the procedures of JTC1. Implementation of the liaisons with Ada-Europe and SIGAda permit us to rationalize the participation in our Rapporteur Groups, enabling us to conduct them in accordance with JTC1 Directives while retaining diverse technical participation.

I plan to take the following administrative steps:

  • I have asked each of the Rapporteurs to identify the active participants in each RG and to identify possibilities for representation of National Bodies or Liaison organizations.
  • At this meeting, I will consult with the Heads of Delegation to determine which of the participants are to be regarded as representatives of the National Bodies. I will ask the HODs to confirm these designations with whatever degree of formality is appropriate in their nation.
  • At this meeting, I will consult with our Category C liaison organizations to determine if they wish to designate participants in the Rapporteur Groups.
  • At this meeting, WG9 will officially "reappoint" the membership of each RG.

A portion of the agenda has been set aside as a "Committee of the Whole" to perform the necessary consultation. The Committee of the Whole will formulate the wording of the resolution appointing the membership of each RG. Resuming the meeting of WG9, we will consider the resolution. 

Free Availability of TR 15942

As you know, one year ago, WG9 requested free availability of Technical Report 15942. This request has not yet been implemented because of an unfortunate sequence of events. If the matter had gone according to plan, the request would have been approved at the plenary meeting of SC22 in September, then approved at the plenary meeting of JTC1 in November. Because of the events of September 11, the SC22 plenary was poorly attended, falling short of a quorum. It was agreed that any contested issue would be subjected to confirmation by letter ballot. Free availability for the Technical Report brought objection from one National Body -- on the principle of free availability rather than anything specific to the request. The request was approved by a subsequent letter ballot, but missed the JTC1 meeting. In the spring of 2002, it was approved by letter ballot of JTC1 and submitted to ITTF for implementation. ITTF requires authorization by both ISO council and the IEC Council. ISO has already delegated this authority to JTC1, but IEC considers each request individually. Implementation of our request for free availability awaits approval by IEC. 

Convener's Term

My second three-year term as convener is scheduled to end with the SC22 plenary meeting in September 2003. Because I served as acting Convener for a year prior to officially taking the job, my service in this regard will have spanned seven years. I have already announced that I will not seek another term as convener. Immediately following this meeting, I will advise the US National Body to initiate the search for a replacement. The procedure is that they will search for a candidate within the US. That candidate would be submitted to SC22 for approval at its 2003 plenary meeting. If the candidate is rejected (a truly rare occurrence), the US would look for a different candidate. If the US cannot find an acceptable candidate, the US would offer the convenership to other National Bodies. 

Discussion

The convener made additional comments on his report:

With respect to Unicode... There has been an ongoing tension in SC22/WG20 between proponents of Unicode and proponents of the different approach to character sets taken in ISO/IEC 10646. SC22 studied this issue at its plenary meeting. Its resolution on this subject should probably be interpreted as an instruction to WG20 to be more accommodating in seeking agreement with the Unicode Consortium.

[Agenda]


Summary of Action Items and Unimplemented Resolutions

This is the "To Do" list for WG9. Some are informal action items assigned to various participants. Some are formal resolutions, which are not yet implemented. Some are suspense items awaiting action by other groups.
 

Resolution 38-4

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Technical Report be withdrawn when it reaches the end of its five-year review period. The Technical Report is relevant to the 1987 version of the Ada language standard rather than the current version: 

  • ISO/IEC TR 11735:1996, EXTensions for real-time Ada 

For status, see [Project Editor Maintenance Report, 11735]

Action Item 39-5

(HRG Rapporteur): Draft a New Work Item Proposal for the Technical Report providing guidelines and rationale for the use of the Ravenscar profile. 

For status, see [Report of the Annex H Rapporteur Group]

Action Item 40-3

(ARG Rapporteur): Upon receipt of the UK recommendation, consider the packaging appropriate for the functionality of the current 13813. 

Status: CLOSED. Superseded by Resolution 42-7, listed below.

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 13813:1998 Generic packages of real and complex type declarations and basic operations for Ada (including vector and matrix types) 

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: 

  • ISO/IEC 13814:1998 Generic package of complex elementary functions for Ada 

For status, see: [Project Editor Maintenance Report, 13813]

Resolution 40-8

ISO/IEC JTC1/SC22/WG9 requests that SC22 request JTC1 and any other appropriate bodies to take action to ensure that ISO/IEC TR 15942 be made freely available on a web site. 

For status, see [Project Editor Maintenance Report, 15942]

Action Item 42-1

(Convener) Send a note to Spain (possibly Alexandro Alonso) suggesting that Spain might consider participation in WG9.

Status: CLOSED. The convener learned that Spain is not a member (neither "O" or "P") of SC22, hence ineligible for participation in WG9.

Action Item 42-2

(Convener) Send a note to Russia (possibly Sergey Rybin) suggesting that Russia might consider participation in WG9.

Status: CLOSED. The convener sent a note to Sergey Rybin, inviting participation by Russia. Rybin was unable to promise participation by Russia.

Action Item 42-3

(Convener and ASIS RG Rapporteur): Confer to develop a charter or other terms of reference defining the scope of work of the ASIS RG.

For status, see [ Report of ASIS Rapporteur Group ]

Action Item 42-4

(Convener and ASIS RG Rapporteur): Review ISO procedures for handling defects and develop an appropriate mechanism. Ensure that there are terms of reference for the ASIS RG.

For status, see [ Report of ASIS Rapporteur Group ]

Action Item 42-5 

(Convener): Receive a copy of the source files for 15942 and forward to HRG Rapporteur to ensure backup storage.

Status: CLOSED. The Convener and the HRG Rapporteur now have copies of the source files.

Action Item 42-6

(Currie Colket and Erhard Ploedereder) In cooperation with SIGAda, develop a proposal for a light-weight method for maintaining Ada APIs and present it to WG9.

For status, see [ Report of SIGAda Liaison Representative ]

Resolution 42-4

In accordance with 3.3.1.1 of the JTC1 Directives, ISO/IEC JTC1/SC22/WG9 confirms the Category C liaison request of Ada-Europe contained in N402 and forwards the request to SC22 for its consideration and any actions needed to effect approval of the liaison.

Status: CLOSED. Liaison status has been granted.

Resolution 42-5

In accordance with 3.3.1.1 of the JTC1 Directives, ISO/IEC JTC1/SC22/WG9 confirms the Category C liaison request of ACM SIGAda contained in N407 and forwards the request to SC22 for its consideration and any actions needed to effect approval of the liaison.

Status: CLOSED. Liaison status has been granted.

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:

  • The ARG is requested to prepare its recommendation regarding the appropriate packaging for the revised content of the standard. Alternatives to be considered include (but are not limited to) revision of ISO/IEC 13813, incorporation into an amended or revised ISO/IEC 8652, publication as a Technical Report, and publication external to ISO.
  • The convener is directed to circulate email ballots in WG9 to consider and implement any recommendations of the ARG.

For status, see [ Report of Ada Rapporteur Group ]

[Agenda]


Scheduling of Meetings #44 and #45

Background

Meeting #44 was previously scheduled by Resolution 42-3 [see N409r]:

WG9 schedules future meetings as follows: Meeting #44, Friday, June 20, 2003, Toulouse, France, in conjunction with the Ada-Europe conference.

Discussion WG9 tentatively schedules Meeting #45 in conjunction with the SIGAda 2003 conference on the Friday of the week that SIGAda 2003 is held and at the same place.
Resolution [Resolution 43-4

[Agenda]


Report of Ada Rapporteur Group, Pascal Leroy (Rapporteur)

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.

Open Items
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:

  • The ARG is requested to prepare its recommendation regarding the appropriate packaging for the revised content of the standard. Alternatives to be considered include (but are not limited to) revision of ISO/IEC 13813, incorporation into an amended or revised ISO/IEC 8652, publication as a Technical Report, and publication external to ISO.
  • The convener is directed to circulate email ballots in WG9 to consider and implement any recommendations of the ARG.

Status: OPEN.

Written Report

Email from Pascal Leroy, 6 December 2002:

Because of funding issues, the Rapporteur won't be able to attend the December WG9 meeting. He expresses his deepest apologies.

The ARG met in Vienna, Austria in June and in Bedford, MA in October. Most of the Vienna meeting was devoted to amendments, but during the Bedford meeting we focused our efforts on "normal" AIs, i.e. corrections to problems in the existing RM, as the queue of such AIs had been growing since the publication of the Corrigendum.

Excellent progress was made during these meetings on a number of amendments on which the ARG has been working for many years. A number of these amendments are now ready for approval by WG9, and they represent significant new capabilities for various application domains. The exact list of AIs submitted to WG9 will be found below, but it's worth mentioning that important proposals such as handling of mutually dependent types, the Ravenscar profile, private with clauses and package Directory_Operations are now technically complete. Good progress has also been made on some more controversial and speculative amendments like multiple inheritance through the use of interfaces or support of assertions.

The work done on normal AIs is certainly less spectacular and has more to do with routine maintenance of the language. One technical issue is worth noting, though: the ARG seems to be discovering a large number of problems due to the interaction between constrained access subtypes (an Ada 83 feature) and general access types (an Ada 95 feature). These problems represent serious language flaws and should be addressed by the revision. However it is unclear how this can be done compatibly. More technical work is needed, but the ARG may at some point in the future require guidance from WG9 on this safety vs. compatibility trade-off.

The ARG received excellent input from the real-time and safety-critical community, notably through the participation of the Rapporteur of the HRG and through AIs submitted as a result of the last IRTAW workshop. This input should help address the needs of a community where Ada has traditionally had a strong presence.

Before the Bedford meeting the ARG received the "Instructions to the ARG" document written by WG9, which gives guidelines regarding the revision of the language. While it is clear that this document contains language that is opened to some degree of interpretation (like "remedy shortcomings" or "judged to be acceptable") it was found useful in setting priorities, in eliminating or trimming proposals that were widely off the mark, or in evaluating potential incompatibilities. It is also hoped that these guidelines will help alleviate the concerns expressed by some vendors regarding the scope of the revision.

The Rapporteur proposes that WG9 appoint the following people as members of the ARG:

Baird, Baker, Barnes, Brosgol, Brukardt, Burns, Dewar, Dismukes, Duff, Gargaro, Ishihata, Leroy, Michell, Ploedereder, Rosen, Taft, Tokar.

The ARG has its "usual" motion for the December meeting for approval of a series of AIs. A pointer to retrieve the AIs is included. The Rapporteur would like to make it clear that he views approval of amendment AIs by WG9 as a recognition that the AIs in question are technically sound and complete. Whether each amendment AI will ultimately be part of the Amendment Document will have to be the subject of another vote later in the process, as issues such as the scope of the revision or the interactions between various AIs will have to be considered from a global perspective.

"Amendment" AIs:

  • AI95-00217-04/04 2002-12-02 -- Type stubs with package specifiers
  • AI95-00248-01/07 2002-12-03 -- Directory Operations
  • AI95-00249-01/09 2002-12-03 -- Ravenscar Profile for High-Integrity Systems
  • AI95-00262-01/06 2002-12-03 -- Access to private units in the private part
  • AI95-00284-01/04 2002-11-27 -- Nonreserved keywords
  • AI95-00305-01/04 2002-12-03 -- New pragma and additional restriction identifiers for Real-Time Systems

"Normal" AIs:

  • AI95-00147-01/12 2002-11-23 -- Optimization of Controlled Types
  • AI95-00195-01/14 2002-11-27 -- Streams
  • AI95-00196-01/03 2002-11-23 -- Assignment and tag-indeterminate calls with controlling results
  • AI95-00212-01/03 2002-11-27 -- Restrictions on configuration pragmas
  • AI95-00220-01/03 2002-11-27 -- Subprograms withing private compilation units
  • AI95-00243-01/02 2000-11-27 -- Is a subunit of a subunit of L also a subunit of L?
  • AI95-00255-01/03 2002-10-25 -- Object renaming of subcomponents of generic in out objects
  • AI95-00263-01/03 2002-11-27 -- Scalar formal derived types are never static
  • AI95-00276-01/02 2001-11-27 -- Interfaces.C.Strings.Chars_Ptr_Array has aliased components

The cited AIs can be retrieved from the ACAA Web Site for AIs

Written comments from France

Email from Jean-Pierre Rosen, 9 December 2002:

The following AIs raised issues [in the AFNOR meeting]:

AI243 [Normal]: YES with comment
typo:
package [body] Sep is separate;

AI248 [Amendment]: YES with comment
AFNOR agrees with the proposed package. However, it is possible that other packages similarly linked to common OS operations may appear in the future. As a consequence, it is understood that this package may become a part of a more general units tree, rather than a direct child of Ada.

AI249 [Amendment]: YES with comment
It would be useful for a pragma Profile to be allowed as a program unit pragma as well as a configuration pragma. This would allow reusable components to be checked for profile conformance, even if used in a non-restricted environment.

AI284 [Amendment]: NO.
AFNOR does not agree with the notion of non-reserved keywords for the following reasons:

  • It appears clearly as an "ad hoc" dirty solution, inconsistent with the rest of the language. No other modern programming language has non-reserved keywords.
  • From a pedagogical point of view, it breaks the general elegance of the language design and seems hard to justify.
  • Industrial users did not express too much concern about the non-portability introduced by new reserved keywords. The reason is that a compiler is normally not changed in the middle of a project. Only project that undergo very substantial changes, or suffer rehosting or retargetting, could be candidates to migrating from an Ada95 to an Ada0Y compiler. In such cases, the effort due to the new keywords would be very small compared to other necessary modifications.
  • A vendor expressed some concern however that any kind of incompatibility would not be acceptable to their clients.

The group felt that this would be a new concept, and that any new concept adds to the complexity of the language, for users and for compiler makers. Replacing newly introduced keywords in existing programs is an easy task that can be performed by (existing) tools.

AI 305 [Amendment]: YES with comment
AFNOR approves the AI. However, it seems that the pragma Detect_Blocking raises more issues and is more difficult to implement than the various restrictions. Moreover, it seems that thers is still some work on this pragma being done by the HRG. AFNOR suggests splitting this AI to separate the pragma from the restrictions.

Written Comments from Italy

Email from Tullio Vardanega, 12 December 2002

As for specific AIs tabled by the ARG at the meeting, I do not feel like expressing any specific WG9-level positions, feeling instead fully represented by the position voiced by the HRG chair (both from the HRG and the IRTAW community standpoint) in the ARG-level discussion.

Discussion

There was discussion of the safety versus compatibility trade-off mentioned by the Rapporteur in his report. WG9 noted that a decision may be required early in the revision process, but that it currently lacks the knowledge necessary to provide appropriate guidance.

Action Item 43-1: (Convener) Forward a request to the ARG that it prepare a description of technical alternatives addressing the interaction of constrained access subtype and general access types. It is requested that the description include a discussion of tradeoffs among the proposed solutions. It is requested that this description be provided for the June 2003 meeting of WG9.

There was a discussion of France's comments on the AIs. AFNOR’s meetings are usually held soon before WG9’s meetings. All AFNOR people don’t look at all AIs. By the time of their meeting, ARG has already made decisions on these AIs and thus AFNOR’s comments can only be brought before WG9. This is seen as an unfortunate timing of AFNOR and WG9 meetings.

During discussion, AI217 and AI284 were deleted from the resolution. In the case of 217, there was consensus that the Workshop at the SIGAda conference had produced new ideas that should be considered. John Barnes volunteered to present these new ideas to the ARG. In the case of 284, many members of WG9 expressed reservations regarding where the concept of non-reserved keywords might lead. Several of them mentioned that making new reserved keywords is not such a bad thing. The overall consensus is that WG9 would like a more complete list of keywords proposed for non-reserved status before making a decision on the subject of whether a non-reserved status should be permitted.

A final line was added to the resolution stating that France's comments on 243 and 248 will be transmitted to the ARG for their consideration. In the case of 243, the comment is submitted as a contribution to the normal process of editorial correction prior to publication. In the case of 248, approval of the AI means that WG9 determines that it is "technically sound and complete," the criterion suggested by the ARG's report. France's comment was judged to fall within the bounds of what the report called "the scope of the revision or the interactions between various AIs".

WG9 judged that France's comment on AI249 was a request for new functionality and suggested that France should write a separate AI on the subject. After discussion, France withdrew its comment on AI305.

Resolutions [ Resolution 43-5 ]

[Agenda]


Report of ASIS Rapporteur Group, Currie Colket (Rapporteur)

Open Items

 Action Item 42-3

(Convener and ASIS RG Rapporteur): Confer to develop a charter or other terms of reference defining the scope of work of the ASIS RG.

Status: CLOSED. A charter has been drafted and is offered below for approval by WG9.

Action Item 42-4

(Convener and ASIS RG Rapporteur): Review ISO procedures for handling defects and develop an appropriate mechanism. Ensure that there are terms of reference for the ASIS RG.

Status: OPEN. Convener and Rapporteur will continue to work on this item.

Prior Discussion

From Minutes of Meeting #41 [N400]:

Currie Colket mentioned that the ASIS RG is revising its charter. The convener noted that charter revisions must be approved by WG9.

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.

There was discussion that, aside from the NP for the ASIS standard, the ASIS RG lacks any formal terms of reference to define the scope of its work. 

Report Currie reported that the ASIS Working Group of SIGAda submitted suggestions for the development of procedures to be used by the ASIS RG. Procedures will be very similar to those of the ARG.
Discussion Convener and Rapporteur developed the ASIS RG Charter by examining the ARG Charter and the ASIS NWIP. Insert "for example" near bottom before the references to SIGAda and Ada-Europe.
Resolutions [ Resolution 43-3 ]

[Agenda]


Report of Annex H Rapporteur Group, Alan Burns (Rapporteur)

Background WG9 N416, Charter of the HRG
Open Items

Action Item 39-5:

(HRG Rapporteur): Draft a New Work Item Proposal for the Technical Report providing guidelines and rationale for the use of the Ravenscar profile. 

Status: OPEN. A draft of the report has been created. Further action awaits approval of the AIs related to the Ravenscar profile. When that is completed, the report will be published as a University of York report and contributed to WG9 along with a New Work Item Proposal for a Type 3 Technical Report. 

Prior Discussion

From Minutes of Meeting #40, [N389]:

The HRG ... discussed the continuing role of Annex H of ISO/IEC 8652. They discussed the desirability of changing its title to High-Integrity rather than Safety and Security. The HRG might recommend that the fourth section of Annex H should be reworked to better fit with the recently completed TR 15942. They also considered tracking the usage of relevant pragmas implemented by various vendors. 

It is understood that the HRG may work with the University of York or other institutions in obtaining material that might be incorporated into a Technical Report. 

From Minutes of Meeting #41 [N400]:

The HRG has produced an initial 35-page draft of a TR providing guidance on usage of the Ravenscar profile. At yesterday's meeting, they confirmed the structure and the style of the guide. By the next meeting of WG9, they will produce a substantially completed draft. They meeting also reviewed the contents of Annex H of ISO/IEC 8652:1995. 

The International Real-time Ada Workshop (IRTAW) will look at real-time issues during its meeting in April 2002.

Alan mentioned that there were no plans to revise TR 15942.

From Minutes of Meeting #42 [N409r]:

Alan reported that there has been no formal meeting of the HRG since the last meeting of WG9. Progress has been made via email communication and a meeting in planned in Autumn 2002. The HRG continues to work with the ARG in developing exact text for the amendment to describe the incorporation of the Ravenscar profile. Work on the guidelines document is progressing. It is anticipated that the guidelines will first be published by the University of York and then contributed to WG9.

There was a discussion regarding the "Free Availability" of Technical Reports. It was asked, on the one hand, why so many reports are available and, on the other hand, why it is so tedious to get permission to make 15942 available. The Convener responded that the initial implementation of free availability explicitly provided for a large backlog. However, new ones still go through formal JTC1 and IEC procedures.

There was a discussion of price of standards in France and USA. No resolution of the matter, except to track it for now.

Written Report

Email from Alan Burns, 28 November 2002:

There will not be an HRG meeting collocated with WG9. I will not be attending WG9; my apologies.

HRG met in October and finalized the Ravenscar Guide. We await WG9 acceptance of Ravenscar AIs to complete our Guide. This will then be published as a University of York report and offered to WG9 as a Technical Report.

Discussion The procedure for treating the NWIP will be to attach the draft report to the NWIP and ask for immediate PDTR Registration.
Resolutions  

[Agenda]


Project Editor Maintenance Reports

[Agenda]


Project Editor Maintenance Report, ISO/IEC 8652

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.

Report

Email from Randy Brukardt, 6 December 2002

Draft 3 of the Amendment document is available at the ACAA Web Site. This document includes all of the AIs approved by the ARG as of the Bedford meeting; thus it is a snapshot of a work-in-progress rather than a finished document in any way.

Work on the accompanying integrated Ada Reference Manual is proceeding slowly due a to lack of funding. Some work has been accomplished, but much more remains to be done. At this time, priority is being given to developing the proposals over editorial presentation of them.

[Agenda]


Project Editor Maintenance Report, ISO/IEC TR 11735

Document Status

ISO/IEC TR 11735:1996, Information Technology--EXTensions for Real-Time Ada, 22.35, Nasser Kettani, Project Editor

The Technical Report addressed the Ada 87 language and is effectively replaced by the 1995 language standard. At its five-year review, WG9 requested withdrawal, a step that was endorsed by SC22 at its 2000 plenary meeting.

Open Items
Resolution 38-4:

ISO/IEC JTC1/SC22/WG9 recommends to SC22 that the following Technical Report be withdrawn when it reaches the end of its five-year review period. The Technical Report is relevant to the 1987 version of the Ada language standard rather than the current version: 

  • ISO/IEC TR 11735:1996, EXTensions for real-time Ada 

Status: OPEN. This resolution has been reported to SC22 and endorsed (Resolution 00-22) at their plenary meeting in September 2000. However, because of a defect in the wording of the SC22 resolution, JTC1 took no action. SC22 has initiated a letter ballot, ending 6 December 2002, to correct the resolution. The result will be forwarded to JTC1.

[Agenda]


Project Editor Maintenance Report, ISO/IEC 13813 and 13814

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 13813:1998 Generic packages of real and complex type declarations and basic operations for Ada (including vector and matrix types) 

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: 

  • ISO/IEC 13814:1998 Generic package of complex elementary functions for Ada 

Status: OPEN. The recommendations above were endorsed by SC22 Resolution 01-07 at their September 2001 plenary meeting. They have been forwarded to JTC1 for approval (during 2003) and implementation by ITTF (during 2004).

[Agenda]


Project Editor Maintenance Report, ISO/IEC 15291

Document Status ISO/IEC 15291:1999, Information Technology--Programming Languages--Ada Semantic Interface Specification (ASIS), 22.15291, Steve Blake and Clyde Roby, Project Editors, supported by the ASIS Rapporteur Group.

[Agenda]


Project Editor Maintenance Report, ISO/IEC TR 15942

Document Status ISO/IEC TR 15942:2000, Guidance for the Use of Ada in High Integrity Systems, 22.15942, Brian Wichmann, Project Editor, supported by the Annex H Rapporteur Group.
Open Items

Resolution 40-8:

ISO/IEC JTC1/SC22/WG9 requests that SC22 request JTC1 and any other appropriate bodies to take action to ensure that ISO/IEC TR 15942 be made freely available on a web site. 

Status: OPEN. The request [See N390] was forwarded to SC22 for endorsement. SC22 approved the request by letter ballot (see SC22 N3360, 2002-01-14). JTC1 has approved the request (see SC22 N3403). ISO delegates its authorization to JTC1, but IEC reviews each request individually. TR 15942 is currently listed as "Subject to IEC approval." When IEC approves, the document will be available at:

http://isotc.iso.ch/livelink/livelink/fetch/2002/2489/Ittf_Home/PubliclyAvailableStandards.htm

[Agenda]


Project Editor Maintenance Report, ISO/IEC 18009

Document Status ISO/IEC 18009:1999, Conformity Assessment of an Ada Language Processor, 22.18009, Erhard Ploedereder, Project Editors, supported by the Ada Rapporteur Group.
Open Items None

[Agenda]


Liaison Reports


Report of Ada-Europe Liaison Representative, Erhard Ploedereder

Background Ada-Europe is a Category C Liaison to WG9 [See N414]
Open Items None
Report Ada-Europe appreciates its approval as a Category C liaison.

[Agenda]


Report of SIGAda Liaison Representative, Currie Colket

Background SIGAda is a Category C Liaison to WG9 [See N414]
Open Items

Action Item 42-6

(Currie Colket and Erhard Ploedereder) In cooperation with SIGAda, develop a proposal for a light-weight method for maintaining Ada APIs and present it to WG9.

Status: OPEN.

Report ACM SIGAda appreciates its approval as a Category C liaison.
Discussion

In response to Action Item 42-6, 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.

This presentation served to close Action Item 42-6.

[Agenda]


Committee of the Whole

Designation of Membership of the Rapporteur Groups

Terms of the Discussion

The purpose of this discussion is to develop the wording of a resolution [ Resolution 43-2 ] appointing members of our Rapporteur Groups. The convener has asked each Rapporteur to provide a list of nominees. For each nominee, the Rapporteur has been requested to supply the following information:

  • Which national body(ies) the nominee could represent.
  • Whether the nominee is a member of SIGAda.
  • Whether the nominee is a member of Ada-Europe or an organization that is a member of Ada-Europe.

During this discussion, we will allocate the nominated members to National Bodies and to Category C Liaisons as their representatives. The discussion will occur without minutes.

Discussion The meeting was recessed to enter into the Committee of the Whole. The resolution was drafted and the WG9 meeting was reconvened.

[Agenda]


Unfinished Business

There was none.

[Agenda]


New Business

Clyde Roby presented results of the WG9 forum at the SIGAda conference. The presentation materials are on the WG9 web site:

[Agenda]


Administrative Actions

Action:

We appreciate the comfortable accommodations provided by SIGAda. The resolution expresses WG9's gratitude.

[Resolution 43-6]

Action:

We appreciate the services of the meeting Secretary. The resolution expresses WG9's gratitude.

[Resolution 43-7]

Action:

We appreciate the continuing services of the WG9 Web Master. The resolution expresses WG9's gratitude.

[Resolution 43-8]

Action:

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.

[Resolution 43-2]

[Agenda]


Review of New Action Items

Action Item 43-1: (Convener) Forward a request to the ARG that it prepare a description of technical alternatives addressing the interaction of constrained access subtype and general access types. It is requested that the description include a discussion of tradeoffs among the proposed solutions. It is requested that this description be provided for the June 2003 meeting of WG9.

[Agenda]


Final Consideration of Resolutions

All resolutions were passed unanimously.

Administration

Resolution 43-1:

The minutes of Meeting #42 as contained in document N409r are approved with corrections noted in the minutes of Meeting #43.

[Discussion] [Agenda]

Resolution 43-2:

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 appointed as Rapporteurs:

Members of the Ada Rapporteur Group are appointed as follows:

Pascal Leroy Rapporteur
Steve Michell Canada 
Jean-Pierre Rosen France 
Erhard Ploedereder Germany
Kiyoshi Ishihata Japan
John Barnes UK 
Joyce Tokar US
Randy Brukardt Project Editor, ISO/IEC 8652 Amd
Alan Burns HRG Rapporteur
Steve Baird SIGAda
Ted Baker SIGAda
Ben Brosgol SIGAda
Robert Dewar SIGAda
Gary Dismukes SIGAda 
Robert Duff SIGAda 
Tucker Taft SIGAda 
Anthony Gargaro SIGAda 

Members of the ASIS Rapporteur Group are appointed as follows:

Currie Colket Rapporteur
Clyde Roby Project Editor, ISO/IEC 15291
Steve Blake  Project Editor, ISO/IEC 15291

Members of the Annex H Rapporteur Group are appointed as follows:

Alan Burns Rapporteur
Stephen Michell Canada
Jean-Pierre Rosen  France 
Erhard Ploedereder Germany
Tullio Vardanega Italy
John Barnes UK
Joyce Tokar USA
Brian Wichmann  Project Editor, ISO/IEC TR 15942
Peter Amey Ada-Europe
Patrick de Bondeli Ada-Europe
Brian Dobbing Ada-Europe
Kristina Lundqvist  Ada-Europe
Karlotto Mangold  Ada-Europe
Michael Pickett  Ada-Europe
Juan A. de la Puente  Ada-Europe
Robert Dewar SIGAda
George Romanski SIGAda
Phil Thornley SIGAda
David Tombs SIGAda

The Convener of WG9 is authorized to act for WG9 between meetings in appointing additional members of Rapporteur Groups. In doing so, he shall consult with the Rapporteur and the National Body or Liaison Organization designating the member. The Convener is directed to use this method to provide additional membership of the ASISRG prior to the next meeting of WG9.

Rapporteurs are instructed that they may permit other individuals to observe the deliberations of the Rapporteur Group. The naming of observers and the extent of participation permitted to observers are at the discretion of the Rapporteur with the concurrence of the membership of the Rapporteur Group.

[Discussion] [Agenda]

Resolution 43-3:

ISO/IEC JTC1/SC22/WG9 approves document N417, with the word "Proposed" removed from its title, and with "for example" inserted before the references to SIGAda and Ada-Europe, as the Charter for its ASIS Rapporteur Group (ASISRG).

[Discussion] [Agenda]

Resolution 43-4:

WG9 tentatively schedules Meeting #45 to occur on the Friday immediately following the SIGAda conference in Autumn 2003 at the conference location.

[Discussion] [Agenda]

Work Programme

Resolution 43-5

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:

France’s comments on 00243 and 00248 will be transmitted to the ARG for their consideration.

In addition, the following "Normal" AIs are approved:

[Discussion] [Agenda]

Appreciation

Resolution 43-6:

ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to SIGAda for their gracious accommodations in hosting Meeting #43.

[Discussion] [Agenda]

Resolution 43-7

ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Clyde Roby for serving as Secretary of Meeting #43.

[Discussion] [Agenda]

Resolution 43-8:

ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Clyde Roby for his continuing service in maintaining the WG9 Web Page.

[Discussion] [Agenda]


Adjournment

The meeting adjourned at 1:21 pm.

[Agenda]


References

WG9 Documents

N363, Minutes and Resolutions of Meeting #36

N367 Minutes and Resolutions for Meeting #37 of ISO/IEC JTC1/SC22/WG9, Friday, 22 October 1999, Redondo Beach, California, USA

N372, Minutes and Resolutions for Meeting #38 of ISO/IEC JTC1/SC22/WG9, Friday, 30 June 2000, Potsdam, Germany

N385, Minutes and Resolutions for Meeting #39 of ISO/IEC JTC1/SC22/WG9, Friday, 17 November 2000, Laurel, Maryland, USA.

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

N390, Request to Make a Technical Report Freely Available on the Web

N400Minutes, Meeting #41 of ISO/IEC JTC1/SC22/WG9, Friday, 5 October 2001, Bloomington, Minnesota, USA

N402Request for Establishment of Category C Liaison between ISO/IEC JTC1/SC 22/WG 9 and Ada-Europe

N404Working Draft, Revision of ISO/IEC 13813

N405, Recommendation on ISO/IEC 13813 from the UK

N406, Procedures of the Ada Rapporteur Group

N407, Request for Establishment of Category C Liaison between ISO/IEC JTC1/SC 22/WG 9 and ACM SIGAda

N409r, DRAFT Minutes, Meeting #42, ISO/IEC JTC1/SC22/WG9, Friday, 21 June 2002, Vienna, Austria

N410, Convener's Report to SC22, 2002

N411, Plenary Meeting Report of ISO/IEC JTC1/SC22, 26-30 August 2002, Saariselka, Finland

N412, Instructions to the Ada Rapporteur Group from SC22/WG9 for Preparation of the Amendment to ISO/IEC 8652, 10 October 2002

N413, Announcement and Draft Agenda, Meeting #43 of ISO/IEC JTC1/SC22/WG9, Friday, 13 December 2002, Clear Lake, Texas, USA

N414, Notification of Approval of Category C Liaisons between SC 22/WG 9 and Ada-Europe and SIGAda

N415, DRAFT Detailed Agenda, Meeting #43 of ISO/IEC JTC1/SC22/WG9, Friday, 13 December 2002, Houston, TX, USA.

N416, Charter of the Annex H Rapporteur Group (HRG)

N417, Proposed Charter of the ASIS Rapporteur Group (ASISRG)

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

N420, Ada 200Y--What and Why, SIGAda '02, December 2002, Tucker Taft

N421, WG9 Forum Results, Clyde Roby, SIGAda, Presented to ISO/WG9, December 13, 2002

N422, WG9 Forum Session Notes, 2002 SIGAda conference, December 12, 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

External Web Sites

ISO Web Site: http://www.iso.ch/

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/

SIGAda Web Site: http://www.acm.org/sigada/

SIGAda 2002 Conference Web Site: http://www.acm.org/sigada/conf/sigada2002

[Agenda]


End of Document