Should XML applications follow Postel’s Law?

Hi Folks,

Postel�s Law says this: Be generous on input, strict on output. This means that the code should be tolerant of variations in its input but should be strictly correct when outputting data. As an example, when you accept a boolean as a string, ignore the case and allow it to be expressed as �1, 0, T, F, Y, N, TRUE, FALSE, YES, NO, etc.�. But when outputting a boolean as a string, stick to one single convention and one single case religiously. [1]

So ��

Suppose an application validates XML inputs against an XML Schema. One part of the schema says that the <isFlyOver> element must contain a Boolean value. Here�s how that element is declared:

<xs:element name="isFlyOver">
    <xs:simpleType>
        <xs:restriction base="xs:string">
            <xs:enumeration value="true" />
            <xs:enumeration value="false" />
        </xs:restriction>
    </xs:simpleType>
</xs:element>

That element declaration says XML documents must contain either this:

or this:

<isFlyOver>false</isFlyOver>

Suppose an application receives an XML document containing this:

or this:

Should the application follow Postel�s Law and accept those XML inputs? And then rebuild the XML so that the output strictly adheres to the schema:

That is, the application validates inputs against this slightly looser schema:

<xs:element name="isFlyOver">
    <xs:simpleType>
        <xs:restriction base="xs:string">
            <xs:enumeration value="true" />
            <xs:enumeration value="TRUE" />
            <xs:enumeration value="T" />
            <xs:enumeration value="YES" />
            <xs:enumeration value="1" />
            <xs:enumeration value="false" />
            <xs:enumeration value="FALSE" />
            <xs:enumeration value="F" />
            <xs:enumeration value="NO" />
            <xs:enumeration value="0" />
        </xs:restriction>
    </xs:simpleType>
</xs:element>

If the input validates against that schema, then the application rebuilds the XML to conform to the strict schema.

Thus, if the input arrives as this:

then the application accepts it and outputs:

What do you think? Good idea for applications to follow Postel�s Law? Bad idea? Good in some applications and bad in others? Thoughts?

/Roger

[1] http://tedwise.com/2009/05/27/generous-on-input-strict-on-output