W3C home > Mailing lists > Public > www-xml-infoset-comments@w3.org > January to March 1999

formal model non-normative?

From: David Megginson <david@megginson.com>
Date: Sat, 13 Mar 1999 03:41:27 -0500 (EST)
To: "DuCharme, Robert" <DuCharmR@moodys.com>
Cc: "'www-xml-infoset-comments@w3.org'" <www-xml-infoset-comments@w3.org>
Message-ID: <14058.9252.182970.148648@localhost.localdomain>
DuCharme, Robert writes:

 > "The XML Information Set specification shall include a non-normative
 > formal model that allows for machine testing and verification of the
 > information set."
 > 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. The reasoning for making
 > it non-normative should be included in the infoset spec.

It's essentially the same as an "in case of disagreement" warning on a
gas pump -- if a spec describes the same thing in more than one way
(say, but human-readable prose and a machine-readable formal model),
it is essential that only one of the two be normative.  The WG decided
that, in line with most W3C specs, the prose should be normative.

All the best,


David Megginson                 david@megginson.com
Received on Saturday, 13 March 1999 08:40:47 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:07:59 UTC