JTC1/SC22
N2905
Date: Fri, 26 Mar 1999 17:52:26 -0500 (EST)
From: William Rinehuls <rinehuls@Radix.Net>
To: sc22docs@dkuug.dk
cc: keld simonsen <keld@dkuug.dk>
Subject: SC22 N2905 - Minutes of WG19 March 1999 Meeting
_____________________ 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 _____________________________