[SCL] DTD for XML/SCL

[John F. Sowa]

Bill,

As I suggested in my note of Jan 1 and reiterated in my note today,
I believe that we should follow the example of the ISO Z standard.

 > The only comment I have to this is that the John's suggestion, while
 > pragmatically useful, isn't really part of CL.  For SCL I don't know
 > if we wanted to go toward talking about *uses* of the language and XML
 > support for those uses, as John suggests.  Opinions?

Most standard documents include a brief discussion of the intended uses.
As an example, I include a quotation from the Introduction to the Z
standard (see below).  The Z standard also includes informative annexes,
including a tutorial, which is based on Chapter 1 of the Z reference
manual, zrm.pdf.  See the URL below.

The first annex to the Z standard includes information about how to
use LaTeX for printing the Z symbols.  If that is appropriate for a
standard document, then so would information about how to exchange
information in the concrete syntaxes of KIF and CGIF.

And good luck in Afghanistan.  Come back soon.

John
____________________________________________________________________________

 From the Introduction, p. vi, of the ISO Z standard:

"Examples of the kinds of systems that have been specified in Z include;

  - safety critical systems, such as railway signalling, medical devices,
    and nuclear power system;

  - secuity systems, such as transaction processing systems, and
    communications;

  - general systems, such as programming languages and floating point
    processors.

"Standard Z will also be appropriate for use in:

  - formalizing the semantics of other notations, especially in
    standards documents."

For more info, see the Z reference manual, especially the tutorial
in Chapter 1:

    http://www.cs.clemson.edu/~fmgroup/Materials/Zed/zrm.pdf