OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

 


 

   RE: documenting schemas/DTDs

[ Lists Home | Date Index | Thread Index ]
  • From: "Reynolds, Gregg" <greynolds@datalogics.com>
  • To: 'Tim Bray' <tbray@textuality.com>, "'xml-dev@ic.ac.uk'" <xml-dev@ic.ac.uk>
  • Date: Fri, 19 Nov 1999 09:54:25 -0600

> -----Original Message-----
> From: Tim Bray [mailto:tbray@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@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@ic.ac.uk the following message;
unsubscribe xml-dev
To subscribe to the digests, mailto:majordomo@ic.ac.uk the following message;
subscribe xml-dev-digest
List coordinator, Henry Rzepa (mailto:rzepa@ic.ac.uk)






 

News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS