<xsd:element name="software">
    <xsd:annotation>
        <xsd:documentation>Software tests describe specific conditions that exist with software on disk.  For example, an OVAL definition might address a vulnerability that exists in a Microsoft Windows .dll file.  The conditions about whether this .dll file actually exists on a machine are outlined in 	the software section.  The optional operation attribute determines how to handle multiple criterion elements.  Possible values are: AND, OR, XOR.  A value of AND means that each criterion must be true for the software section to return true.  A value of OR means that only one criterion must be true for the software section to return turn.  XOR is defined to be true if an odd number of criterion are true, and false otherwise.</xsd:documentation>
        <xsd:appinfo>
            <cardinality>0-1</cardinality>
            <attributes>[operation]</attributes>
            <content>none</content>
            <parent_elements>criteria</parent_elements>
            <child_elements>criterion</child_elements>
        </xsd:appinfo>
    </xsd:annotation>
    <xsd:complexType>
        <xsd:sequence>
            <xsd:element ref="oval:criterion" minOccurs="1" maxOccurs="unbounded" />
        </xsd:sequence>
        <xsd:attribute name="operation" type="oval:operations" use="optional" default="AND" />
    </xsd:complexType>
</xsd:element>