Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!mucs!cliff
From: cliff@cs.man.ac.uk (Cliff Jones)
Newsgroups: comp.specification
Subject: Re: VDM standardisation
Message-ID: <1886@m1.cs.man.ac.uk>
Date: 6 Nov 90 08:29:24 GMT
References: <1990Oct29.123715@axion.bt.co.uk>
Sender: news@cs.man.ac.uk
Reply-To: cliff@cs.man.ac.uk (Cliff Jones)
Organization: Department of Computer Science, University of Manchester UK
Lines: 34

In article <1990Oct29.123715@axion.bt.co.uk> pyoung@axion.bt.co.uk (Pete Young) writes:
>
>
>Could someone please give me an update on the progress of VDM's acceptance for standardisation by
>
>(i) BSI
>and
>(ii) ISO 
>

A (Manchester) strike by British Rail prevented me going to the BSI
meeting on Oct 29th so this is both late and out-of-date!

Substantial parts of the standard are now ready. The Abstract Syntax
has been in the "proto-standard" as a reference point for over a year.
There are also two concrete syntaxes (a "mathematical" version and one
in ASCII). The (dynamic) semantics is available as a separate (large)
document and was reviewed last month. The only major item still to be
finished is the "static semantics" (context conditions) and this is
promised for February (I think) next year. So "early next year" there
should be a "draft for comment".

VDM-SL is now also listed as an ISO work item and I am expecting there
to be a meeting in Brussels also early '91.

People to contact:

BSI Chair: Derek Andrews (leicecster) uk.ac.le.vax

ISO convenor: ditto

BSI secretary: John Dawes sjd@win.icl.stc.co.uk

(not) cliff jones