[SCL] Schedule for next CL Draft

[John F. Sowa]

Pat,

Nancy said that the main objection of the ISO gang
was that there didn't seem to be anybody working
on the standard.  The evidence was

  1. There was no editor for the proposed ISO
     standard.

  2. Nobody from the CL group was a member of the
     US TAG (i.e., INCITS T2 committee).

  3. They didn't see anything beyond the slides
     I presented in January.

To address point #1 and #2, Nancy and I persuaded
Harry Delugach from U. of Alabama to join INCITS T2.
He has done that, and he is willing to be the
titular "editor".  That means that he will
(a) pass along whatever content we prepare,
(b) make sure that the ISO boilerplate is
on the cover, and (c) forward whatever
comments the ISO people generate to this list.

To address point #3, they don't mean something
that is finished and ready to be voted as a standard.
But they would like to see a working draft that shows
some progress beyond slides.

 > Do you want progress, or an actual draft standard?
 > We can certainly report *progress*. The current
 > main large holes, seems to me, apart from just the
 > considerable work of actually writing a readable document
 > in an appropriate style, are (1) to define a workable
 > XML syntax (2) to define a concrete CG syntax (3) to get
 > a coherent story together about how to specify datatype-defined
 > domains and integrate them into the abstract syntax and the
 > model theory.  Later, but less urgent, we can do (4) get
 > a really good story together about sequence quantifiers.

I believe that what we have already, plus what Chris
was planning to add plus what I will contribute for (2)
(the CG part) should show reasonable progress by the
middle of this month.  That should be sufficient for Nancy
to say something convincing.

 > That is a horrible deadline given the timing of ISWC
 > and the DAML PI meeting.

Let's see what we can put together.  It can have large
gaps, provided that we can give some indication of
when we expect to fill them.

John