From rinehuls@Radix.Net Fri Mar 26 23:52:33 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 XAA09335; Fri, 26 Mar 1999 23:52:31 +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.3/8.9.3) with SMTP id RAA08636; Fri, 26 Mar 1999 17:52:28 -0500 (EST) Date: Fri, 26 Mar 1999 17:52:26 -0500 (EST) From: William Rinehuls To: sc22docs@dkuug.dk cc: keld simonsen Subject: SC22 N2905 - Minutes of WG19 March 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 N2905 TITLE: Minutes of SC22/WG19 (Formal Specification Languages) and Z Rapporteur Group Meeting on March 23, 1999 in Southampton, United Kingdom DATE ASSIGNED: 1999-03-24 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 FORJM: Open Address 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 Meeting 20, SC22/WG19 and the Z Rapporteur Group March 23, 1999 in Southampton, United Kingdom Present: Jon Hall, Steve King, Andrew Martin, Susan Stepney, Ian Toyn, Sam Valentine, John Wordsworth (convener) 50.1 Appointment of minutes secretary. Andrew Martin volunteered as minutes secretary, and took minutes. 50.2 Apologies for absence from meeting. Randolph Johnson and Marc Benveniste and Mark Saaltink. 50.3 Minutes of last meeting and matters arising. Action 49.3.1 carried forward ACTION 50.3.1. HTML issues list. See also, action 50.3.7. (John Wordsworth) Action 49.3.2 carried forward ACTION 50.3.2 proposal for extension to conformance clause. (Mark Saaltink) Action 49.3.3 cancelled: incorporated in v2.0 Action 49.5.1 Action discharged. Action 49.5.2 carried forward ACTION 50.3.3 Make a proposal for changing the standard's use of the turnstile symbol. (Andrew Martin) Action 49.5.3 Wolfgang Grieskamp has communicated with Ian Toyn. Advice is that the proposal on the re-ordering of sections is worth pursuing; others might not be. ACTION 50.3.4 Ian Toyn to communicate reasons to Wolfgang. Item 49.6 ACTION 50.3.5 Fix room for July meeting at BSI. (John Wordsworth) Action 49.7.1 was misleading, but SS is pursuing. ACTION 50.3.6 Follow up STIX/Unicode proposal (Susan Stepney) Action 49.7.2 carried forward ACTION 50.3.7 Circulate current issues and ask if they remain current. Issues to be raised again if further consideration is needed. (John Wordsworth and Steve King) Action 49.7.3 discharged. Action 49.7.4 discharged. Action 49.7.5 carried forward ACTION 50.3.8 propose updating toolkit narrative so that narrative precisely describes (only) the formal definitions (John Wordsworth). Action 49.7.6 discharged. Action 49.7.7 discharged. Action 49.7.7 discharged. Action 49.7.8 discharged. Action 49.7.9 carried forward ACTION 50.3.9 Supply definitions for tables 4 and 9 (Randolph Johnson) Action 49.7.10 cancelled. 50.4 Z Project Editor's report on the status of the CD. A report was distributed electronically on March 9th. Proposals at meeting 49 have been implemented in Consensus Working Draft 2.0, 18th February. Some additional proposals are documented in Working Draft 2.A. 50.5 Convenor's Report on Outstanding Proposals. Several comments have been received, from Randolph Johnson, Steve King, Mark Saaltink, and Ian Toyn, on proposals from Susan Stepney, Ian Toyn, and Sam Valentine. The consensus positions are as follows: SS.50.1 Accepted with minor amendments. SS.50.2 Accepted, with a minor amendment. SHV.50.1 Accepted. IT.50.1 Accepted IT.50.2 Accepted IT.50.3 Accepted IT.50.4 Accepted IT.50.5 Withdrawn (working paper expected). IT.50.6 Accepted IT.50.7 Accepted IT.50.8 Accepted IT.50.9 Accepted ACTION 50.5.1 Explain undesirable anomalies (Mark Saaltink) IT.50.10 Accepted 50.6 No further proposals are outstanding. 50.7 Review of section: comparison with 'Current Working Draft'. Page viii of AWD2.A refers. Many changes are merely editorial and do not need proposals; others are already covered by proposals. (e) Conformance ACTION 50.7.1 Strengthen the 'weakly conforming' clause. (Ian Toyn) (w) Kernel Syntax ACTION 50.7.2 Propose removal of kernel syntax clause (Steve King) 50.8 Known problems ACTION 50.8.1 Propose deletion of logic clause (Sam Valentine). ACTION 50.8.2 Write additional text for the conformance clause to explain soundness for deductive systems (Andrew Martin). ACTION 50.8.3 Update Z interchange format annex (John Wordsworth). 50.9 Future meetings There are no changes to the schedule. 25/5/99 York 27/7/99 London (Chiswick) /9/99 Toulouse (FM'99) The meeting closed at 15.45. _________________________ end of SC22 N2905 _____________________________