Re: formal model non-normative?

"DuCharme, Robert" wrote:
> 
> I couldn't figure out why the formal model would be non-normative. I
> would think that a normative formal component would provide a more solid
> foundation on which to build automated systems. 

I agree. I am also distressed that the document sets up a dichotomy set up
*at all* between the formal model and the "human readable" model. For
example, the BNF productions in the XML specification are both formal and
human readable. 

XML itself is specifically designed to allow people to design notations
which are both human readable and formal/machine readable. Why not use
that ability?

 Paul Prescod

-- 
 Paul Prescod  - ISOGEN Consulting Engineer speaking for only himself
 http://itrc.uwaterloo.ca/~papresco

"You have the wrong number."
"Eh? Isn't that the Odeon?"
"No, this is the Great Theater of Life. Admission is free, but the 
taxation is mortal. You come when you can, and leave when you must. The 
show is continuous. Good-night." -- Robertson Davies, "The Cunning Man"

Received on Friday, 12 March 1999 16:56:48 UTC