From rinehuls@Radix.Net Mon Feb 22 23:16:52 1999 Received: from mail1.radix.net (mail1.radix.net [209.48.224.31]) by dkuug.dk (8.8.7/8.8.7) with ESMTP id XAA28820; Mon, 22 Feb 1999 23:16:52 +0100 (CET) (envelope-from rinehuls@Radix.Net) Received: from saltmine.radix.net (saltmine.radix.net [209.48.224.40]) by mail1.radix.net (8.9.1/8.9.1) with SMTP id RAA29462; Mon, 22 Feb 1999 17:16:52 -0500 (EST) Date: Mon, 22 Feb 1999 17:16:50 -0500 (EST) From: William Rinehuls To: sc22docs@dkuug.dk cc: keld simonsen Subject: SC22 N2889 - Minutes of WG19 January 26, 1999 Meeting Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII ______________________ beginning of title page ______________________ ISO/IEC JTC 1/SC22 Programming languages, their environments and system software interfaces Secretariat: U.S.A. (ANSI) ISO/IEC JTC 1/SC22 N2889 TITLE: Minutes of SC22/WG19 (Formal Specification Languages) and Z Rapporteur Group Meeting on January 26, 1999 in Cambridge, United Kingdom DATE ASSIGNED: 1999-02-17 SOURCE: Secretariat, ISO/IEC JTC 1/SC22 BACKWARD POINTER: N/A DOCUMENT TYPE: WG Minutes PROJECT NUMBER: N/A STATUS: N/A ACTION IDENTIFIER: FYI DUE DATE: N/A DISTRIBUTION: text CROSS REFERENCE: N/A DISTRIBUTION FORM: Open Addres reply to: ISO/IEC JTC 1/SC22 Secretariat William C. Rinehuls 8457 Rushing Creek Court Springfield, VA 22153 USA Telephone: +1 (703) 912-9680 Fax: +1 (703) 912-2973 email: rinehuls@radix.net _____________ end of title page; beginning of minutes ________________ MINUTES OF SC22/WG19 AND Z RAPPORTEUR GROUP MEETING JANUARY 26, 1999 in CAMBRIDGE, UNITED KINGDOM The meeting was held at 10.30am on Tuesday 26th January 1999 at Logica, Cambridge Present: Jon Hall, Steve King (chairman), Susan Stepney, Ian Toyn, Sam Valentine. 49.1 Appointment of secretary for meeting: SK took the minutes. 49.2 Apologies for absence from meeting: Marc Benveniste, Randolph Johnson, Andrew Martin, John Nicholls, Alf Smith, John Wordsworth 49.3 Minutes of last meeting and matters arising: The minutes of panel meeting 48 were agreed as an accurate record, except that in carrying forward Action 47.5.2 it should have been explicitly numbered Action 48.3.2. Action 48.3.1: carried forward ACTION 49.3.1 HTML Issues list (John Wordsworth) Action 48.3.2: carried forward. Note that IT's Version 1.6 includes a possible source of material for this proposal. ACTION 49.3.2 Proposal for extension to Conformance clause (Mark Saaltink) Action 48.5.1: completed: see discussion below. Action 48.5.2: carried forward. ACTION 49.3.3 Produce sample clauses in the style of Version 1.2, based on the technical content of 1.5. It was requested that this action might be completed within one week of the issuing of the minutes. Note again that there is material in 1.6 which could form the basis of this work. (John Wordsworth) 49.4 Z Project Editor's report on the status of the CD The Project Editor reported that he had revised proposals (see below). He had also done some work on improving Version 1.5, resulting in Version 1.6, which contains the latest work: this could form the basis for later proposals. There was some concern about the proliferation of documents, and the possibility for confusion between those that represented an accepted latest working draft of the Panel, and those that had been produced by the Project Editor to show the effect of possible changes. It was agreed that a new numbering scheme would be useful. See under 49.5 below. 49.5 Convener's report on outstanding Z proposals SK read the Convener's Report: 'The proposals IT.49.1 to IT.49.25 are approved, as no objections have been received, and one or two comments in favour. The way is now clear for the Project Editor to prepare a new draft that incorporates the proposals. I should like to thank the members of the panel who contributed to this major step in the progress to the next CD. The Proposal APM.49.1 has been debated by email, but no consensus has been reached.' Following the discussion above, it was suggested that the new `accepted current version' should be numbered 2.0, and that any `tentative' versions which the Project Editor might choose to produce to show the effect of a proposed change should be numbered in a separate series 2.A, 2.B and so on. ACTION 49.5.1 Produce a new version of the Standard (2.0) which represents the latest version accepted by the Panel. (Ian Toyn) Discussion of Proposal APM.49.1 revealed that it was very similar to a proposal of SS from last year, later withdrawn. Since this proposal has failed to achieve consensus, it is up to APM to revise/re-submit if he so wishes. ACTION 49.5.2 Revise/re-submit proposal APM.49.1 if desired. (Andrew Martin) [IT doubts whether there needs to be an explicit action for this.] There was also a short discussion of Wolfgang's proposals, which were originally submitted before Meeting 48. It was agreed that these were valuable contributions to the discussions, but that they needed to be expressed with respect to the newly-accepted Version 2.0. Once they were expressed in this way, they could be properly discussed and decided upon. ACTION 49.5.3 Revise/re-submit proposals (Wolfgang Grieskamp) 49.6 Schedule of further meetings: 23/3/99 Southampton deadline for proposals: 9/3/99 25/5/99 York 27/7/99 ?London (Chiswick) /9/99 Toulouse (FM99) 49.7 Any Other Business 1. SS reported that Jonathan Jacky had emailed to inform her that ANSI Committee X3/J21 has met, concerning Unicode, offering to propose changes to Unicode for Z and VDM. With our support, they're willing to continue this work. There was agreement that we should delegate this task to ANSI. ACTION 49.7.1 Contact JJ expressing support, and offer her earlier work (Susan Stepney) 2. After the main portion of the meeting, technical discussions were held, with the purpose of offering advice to the Project Editor on various issues. Since these discussions were only between 5 people, it was not appropriate that they should be regarded as part of the main business of the meeting, so the record of that part of the meeting is held separately as an Aide-memoire, in Document Z-245. However, the Actions which were regarded as desirable are recorded here, so that they can be followed up. ACTION 49.7.2 JBW: to circulate all those known to have raised `Issues', asking them to re-raise them with respect to Version 2.0. ACTION 49.7.3 SS to propose an Informative Note, showing a redundant second rule for the transformation of free types, which could use toolkit operators. ACTION 49.7.4 SV,SS: to propose that toolkit should be sectioned ACTION 49.7.5 JBW: to propose updating of Toolkit narrative ACTION 49.7.6 IT to produce proposal that all ZF notation should be in one table ACTION 49.7.7 SS to produce proposal for an informative NOTE in the Prelude. ACTION 49.7.8 SK to ask RDA for comment on undefinedness issues, within a week. If positive response, SHV to draft Proposal for EED loose. ACTION 49.7.9 DRJ has already volunteered to help with definitions for Tables 4 and 9 ACTION 49.7.10 MS to give an example of the problem on p38 of Version 1.6 Meeting closed at 11am. ______________________ end of SC22 N2889 ___________________________