[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: And the DTD says, "I'm NOT dead yet!!"

  • From: John Cowan <jcowan@r...>
  • To: "Bullard, Claude L (Len)" <clbullar@i...>
  • Date: Mon, 08 Jan 2001 12:54:10 -0500

algol 68 download
Bullard, Claude L (Len) wrote:

> Umm... the formal specification is 
> informative?  That seems backward.  
> Can you or anyone who cares to explain 
> why that is the case since informative 
> descriptions are typically non-binding? 

For a mixture of reasons theoretical and practical, I think.
Formal descriptions are harder for many people to read, so they
get fewer eyeballs.  The informative RDF Schema description
in the Infoset was (IIRC) only reviewed by two people within the WG
other than myself (who wrote it), whereas the normative prose
was reviewed by a great many people.

Furthermore, the formalism is rarely able to do it all;
there tends to be some normative prose somewhere, unless the
formalism is Turing-complete like the van Wijngaarden grammar
used in the Algol 68 Revised Report.

> When doing a validation, I need to use 
> the ROA that is binding.  Perhaps it 
> is a legal tangle where in one process 
> for applying the record (reading an ROA 
> to determine rules for the implementation) 
> the prose is binding,


> but in another process, 
> (determining if a transaction content 
> conforms), the informative description 
> becomes normative for the transaction. 

Not really.  If the formal description disagrees
with the prose, it must be changed to agree with
the prose.

There is / one art             || John Cowan <jcowan@r...>
no more / no less              || http://www.reutershealth.com
to do / all things             || http://www.ccil.org/~cowan
with art- / lessness           \\ -- Piet Hein


Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
First Name
Last Name
Subscribe in XML format
RSS 2.0
Atom 0.3

Stylus Studio has published XML-DEV in RSS and ATOM formats, enabling users to easily subcribe to the list from their preferred news reader application.

Stylus Studio Sponsored Links are added links designed to provide related and additional information to the visitors of this website. they were not included by the author in the initial post. To view the content without the Sponsor Links please click here.

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.