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 _____________________________