documenting schemas/DTDs

[Reynolds, Gregg]

> -----Original Message-----
> From: Tim Bray [mailto:tbray at textuality.com]
> Sent: Wednesday, November 17, 1999 10:46 PM
> 
> At 09:45 PM 11/17/99 -0600, W. Eliot Kimber wrote:
> 
> rewards repeated reading.  DTD's and XML Schemas both are 
> *just syntax* 
> dammit, and syntax is not interesting.  XML, at the end of 
> the day, is not 
> interesting.  Messages that convey meaning are interesting.  
> Meaning is 
> only conveyed by
> 
>  (a) running code, or
>  (b) human-readable prose.
> 
> To generate (a), you have to have (b) first.
> 
> End of the story. -Tim
> 

Oh no, stories never end.  Syntax is extraordinarily interesting, provided
you can map it to structures in some semantic domain.  That mapping is
what's missing (or rather, left implicit) in XML (and SGML).  And you forgot
option (c) formal specifications.  After all real engineers - the ones who
build things that don't break, i.e. not SW engineers - get along fine with
communication techniques that are neither computer programs nor informal
prose.  Formal specs ( Z is the most developed and widespread) are both
quite readable for humans and logically rigorous (and thus subject to
machine manipulation, e.g. typechecking).  Or can be; anything can be
misused.  For a good example take a look at "Object-Z Specification of the
CORBA Repository Server" at

	http://homepages.ulb.ac.be/~jcreal/techreport/tr-351.ps

If XML etc. were expressed in a language like Z, much of the confusion and
misunderstanding about various aspects of it would just disappear.  IMHO.

-gregg

xml-dev: A list for W3C XML Developers. To post, mailto:xml-dev at ic.ac.uk
Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/ and on CD-ROM/ISBN 981-02-3594-1
To unsubscribe, mailto:majordomo at ic.ac.uk the following message;
unsubscribe xml-dev
To subscribe to the digests, mailto:majordomo at ic.ac.uk the following message;
subscribe xml-dev-digest
List coordinator, Henry Rzepa (mailto:rzepa at ic.ac.uk)