Input: [Primary Feature Tested] targetElement [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetElementWithSubstitutionGroup (row 125) targetElement\ValidWithSubstitutionGroup.xml Revision 1.13 CVS Log [Test Case Description] If targetElement='GTE' for a global element declaration E, then a model is valid if the target of each instances of E in the model is an instance of GTE, or an instance of some global element declaration in the substitution group hierarchy whose head is GTE

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetRequired [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidTargetRequired (row 126) targetRequired\InValid.xml Revision 1.11 CVS Log [Test Case Description] If targetElement=GTE for a global element declaration E, and targetRequired=true, an instance of the SML reference cannot contain an unresolved reference which does not target any element in the model.

Output: Invalid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetRequired [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidTargetRequiredMissingReference (row 127) targetRequired\InvalidMissingReference.xml Revision 1.1 CVS Log [Test Case Description] If targetElement=GTE for a global element declaration E, and targetRequired=true, an instance of the SML reference must exist.

Output: Invalid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetRequired [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidTargetRequiredNullReference (row 128) targetRequired\InvalidNullReference.xml Revision 1.1 CVS Log [Test Case Description] If targetElement=GTE for a global element declaration E, and targetRequired=true, an instance of the SML reference cannot be null.

Output: Invalid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetRequired [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidSameNameElements (row 129) targetRequired\InValidSameNameElements.xml Revision 1.9 CVS Log [Test Case Description] If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the graduateGroup and basicGroup should have the same {target required}.

Output: Invalid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetRequired [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetRequired (row 130) targetRequired\valid.xml Revision 1.11 CVS Log [Test Case Description] Tests for correct usage of targetRequired.

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetRequired [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetRequiredFalse (row 131) targetRequired\ValidFalseRequire.xml Revision 1.11 CVS Log [Test Case Description] If targetElement=GTE for a global element declaration E, then a model is valid if the target of each instances of E in the model is an instance of GTE. targetRequired=false.

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetRequired [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetRequiredSameNameElements (row 132) targetRequired\ValidSameNameElements.xml Revision 1.7 CVS Log [Test Case Description] If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the basicGroup and graduateGroup have the same {target required}.

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetRequired [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetRequiredWithTargetType (row 133) targetRequired\ValidType.xml Revision 1.12 CVS Log [Test Case Description] If targetType="T" for a global element declaration E, then a model is valid if the type of the target of each instances of E in the model is T or a derived type of T. Includes targetRequired=true.

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetRequired [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetRequiredFalseWithTargetType (row 134) targetRequired\ValidTypeFalse.xml Revision 1.11 CVS Log [Test Case Description] If targetType="T" for a global element declaration E, then a model is valid if the type of the target of each instances of E in the model is T or a derived type of T. Includes targetRequired=false.

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetType [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidTargetType (row 135) targetType\InValid.xml Revision 1.13 CVS Log [Test Case Description] If targetType='T' for a global element declaration E, then a model is invalid if the target of some instance of E in the model is not an instance of T

Output: Invalid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetType [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidDerivationByRestriction (row 136) targetType\InValidDerivationByRestriction.xml Revision 1.8 CVS Log [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target type} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {targetType} as the EnrolledCourse element contained by the StudentType.

Output: Invalid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetType [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidSameNameElements (row 137) targetType\InValidSameNameElements.xml Revision 1.7 CVS Log [Test Case Description] If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the graduateGroup and basicGroup should have the same {target type}.

Output: Invalid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetType [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid ValidateTargetTypeExists1 (row 138) targetType\InValidValue.xml Revision 1.7 CVS Log [Test Case Description] This test verifies that the value of the sml:targetType resolves to a global type definition. Returns an error if the value does not match any type in the corresponding namespace. The test verifies that the error is displayed even when no model instances are defined for this IF document (ie the validation runs against the xsd file containing the sml:targetType, regardless of the instances being defined in that model)

Output: Invalid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetType [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidTargetTypeWithSubstitutionGroup (row 139) targetType\InValidWithSubstitutionGroup.xml Revision 1.12 CVS Log [Test Case Description] Let targetType='T' be specified for a GED E. Let SubE be another GED in the substitution group whose head element is E for which the targetType attribute is not specified. Then a model is invalid if an instance of SubE targets an element that is not an instance of T or an instance of some derived type of T.

Output: Invalid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetType [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetType (row 140) targetType\Valid.xml Revision 1.12 CVS Log [Test Case Description] If targetType='T' for a global element declaration E, then a model is valid if the target of each instances of E in the model is an instance of T or a derived type of T

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetType [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidDerivationByRestriction (row 141) targetType\ValidDerivationByRestriction.xml Revision 1.7 CVS Log [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target type} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType has the same {targetType} as the EnrolledCourse element contained by the StudentType.

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetType [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidSameNameElements (row 142) targetType\ValidSameNameElements.xml Revision 1.7 CVS Log [Test Case Description] If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the graduateGroup and basicGroup have the same {target type}.

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetType [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidTargetTypeWithSubstitutionGroup (row 143) targetType\ValidWithSubstitutionGroup.xml Revision 1.11 CVS Log [Test Case Description] Let targetType='T' be specified for a GED E. Let SubE be another GED in the substitution group whose head element is E for which the targetType attribute is not specified. Then a model is valid if all instances of SubE target elements whose type is T.

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] smlref [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InvalidWrongSMLNSURI.xml (row 144) InvalidWrongSMLNSURI.xml No CVS revision information was found for this file [Test Case Description] SML prefix bound to wrong namespace URI

Output: Invalid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetRequired [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid TargetRequiredInValidDerivationByRestriction.xml (row 145) TargetRequiredInValidDerivationByRestriction.xml No CVS revision information was found for this file [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/InValidDerivationByRestriction.xml and changed to work with target required instead

Output: Invalid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetRequired [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid TargetRequiredValidDerivationByRestriction.xml (row 146) TargetRequiredValidDerivationByRestriction.xml No CVS revision information was found for this file [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType has the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/ValidDerivationByRestriction.xml and changed to work with target required instead in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/InValidDerivationByRestriction.xml and changed to work with target required instead

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetRequired [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid TargetRequiredInValidWithSubstitutionGroup.xml (row 147) TargetRequiredInValidWithSubstitutionGroup.xml No CVS revision information was found for this file [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/InValidDerivationByRestriction.xml and changed to work with target required instead

Output: Invalid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] targetRequired [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid TargetRequiredValidWithSubstitutionGroup.xml (row 148) TargetRequiredValidWithSubstitutionGroup.xml No CVS revision information was found for this file [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType has the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/ValidDerivationByRestriction.xml and changed to work with target required instead in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/InValidDerivationByRestriction.xml and changed to work with target required instead

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] acyclic [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid AcyclicInValidCycleSameDoc.xml (row 149) AcyclicInValidCycleSameDoc.xml No CVS revision information was found for this file [Test Case Description] A model is invalid if an instance of an acyclic type CT references itself, even w/in the same document

Output: Invalid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] acyclic [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid AcyclicValidCycleSameDoc.xml (row 150) AcyclicValidCycleSameDoc.xml No CVS revision information was found for this file [Test Case Description] Let R1 be a reference type with sml:acyclic=᾿false᾿. Then a model is valid if it has same-document cycles using instances of R1

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] dtdID [Eclipse COSMOS Result] Valid [Microsoft Result] Invalid Invalid ValidBareNameDTDDeterminedIDBareName.xml (row 151) ValidBareNameDTDDeterminedIDBareName.xml No CVS revision information was found for this file [Test Case Description] This SML-IF demonstrates the use of bare names in sml:uri references. Copied from ValidBareName and converted from schema- to DTD-determined ID.

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Primary Feature Tested] smlref [Eclipse COSMOS Result] Valid [Microsoft Result] Valid Valid ValidKeyUniqueDeref.xml (row 152) ValidKeyUniqueDeref.xml No CVS revision information was found for this file [Test Case Description] Verify that a model with a key and unique constraint is valid if the field values are unique, though some field values for the unique constraint may be missing. Copy and tweak based on /org.eclipse.cosmos.rm.validation.tests/src/test-resources/identity/ValidKeyUnique.xml

Output: Valid

W3C SML Working Group Implementation Results by Test Case

Expected Result (primary feature supported)


Input: [Event Name] dragstart [Target] Source node [Cancelable?] ✓ Cancelable [dropEffect] "none" [Default Action] Initiate the drag-and-drop operation [Drag data store mode]

Output: Read/write mode

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Event Name] drag [Target] Source node [Cancelable?] ✓ Cancelable [dropEffect] "none" [Default Action] Continue the drag-and-drop operation [Drag data store mode]

Output: Protected mode

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Event Name] dragenter [Target] Immediate user selection or the body element [Cancelable?] ✓ Cancelable [dropEffect] Based on effectAllowed value [Default Action] Reject immediate user selection as potential target element [Drag data store mode]

Output: Protected mode

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Event Name] dragleave [Target] Previous target element [Cancelable?] — [dropEffect] "none" [Default Action] None [Drag data store mode]

Output: Protected mode

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Event Name] dragover [Target] Current target element [Cancelable?] ✓ Cancelable [dropEffect] Based on effectAllowed value [Default Action] Reset the current drag operation to "none" [Drag data store mode]

Output: Protected mode

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Event Name] drop [Target] Current target element [Cancelable?] ✓ Cancelable [dropEffect] Current drag operation [Default Action] Varies [Drag data store mode]

Output: Read-only mode

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Event Name] dragend [Target] Source node [Cancelable?] — [dropEffect] Current drag operation [Default Action] Varies [Drag data store mode]

Output: Protected mode

7.7 Drag and drop — HTML5: Edition for Web Authors


Input: [Required] false [Attribute Constraints] Must not occur with the 'typeexpr' attribute. [Type] URI [Default Value] none [Valid Values] http://www.w3.org/TR/scxml/, http://www.w3.org/TR/ccxml/, http://www.w3.org/TR/voicexml30/, http://www.w3.org/TR/voicexml21/ plus other platform-specific values. [Description] A URI specifying the type of the external service. See below for details. [Name]

Output: type

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Required] false [Attribute Constraints] Must not occur with the 'type' attribute. [Type] value expression [Default Value] none [Valid Values] Any value expression that evaluates to a URI that would be a valid value for 'type'. [Description] A dynamic alternative to 'type'. If this attribute is present, the SCXML Processor MUST evaluate it when the parent element is evaluated and treat the result as if it had been entered as the value of 'type'. [Name]

Output: typeexpr

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Required] false [Attribute Constraints] Must not occur with the 'srcexpr' attribute or the element. [Type] URI [Default Value] None [Valid Values] Any URI. [Description] A URI to be passed to the external service. See below for details. [Name]

Output: src

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Required] false [Attribute Constraints] Must not occur with the 'src' attribute or the element. [Type] Value expression [Default Value] None [Valid Values] Any expression evaluating to a valid URI. [Description] A dynamic alternative to 'src'. If this attribute is present, the SCXML Processor MUST evaluate it when the parent element is evaluated and treat the result as if it had been entered as the value of 'src'. [Name]

Output: srcexpr

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Required] false [Attribute Constraints] Must not occur with the 'idlocation' attribute. [Type] ID [Default Value] none [Valid Values] Any valid token [Description] A string literal to be used as the identifier for this instance of . See 3.14 IDs for details. [Name]

Output: id

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Required] false [Attribute Constraints] Must not occur with the 'id' attribute. [Type] Location expression [Default Value] none [Valid Values] Any valid location expression [Description] Any data model expression evaluating to a data model location. See 5.9.2 Location Expressions for details. [Name]

Output: idlocation

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Required] false [Attribute Constraints] Must not occur with the element. [Type] List of location expressions [Default Value] none [Valid Values] List of data model locations [Description] A space-separated list of one or more data model locations to be included as attribute/value pairs with the message. (The name of the location is the attribute and the value stored at the location is the value.) See 6.4.4 Data Sharing and 5.9.2 Location Expressions for details. [Name]

Output: namelist

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Required] false [Type] boolean [Default Value] false [Valid Values] true or false [Description] A flag indicating whether to forward events to the invoked process. See below for details. [Name]

Output: autoforward

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Additive?] yes ['set'] yes ['animate Color'] yes ['animate Transform'] no [Notes] Only RGB color values are additive. ['animate']

Output: yes


Input: [Additive?] yes ['set'] yes ['animate Color'] no ['animate Transform'] no ['animate']

Output: yes


Input: [Additive?] no ['set'] yes ['animate Color'] no ['animate Transform'] no ['animate']

Output: yes


Input: [Additive?] no ['set'] no ['animate Color'] no ['animate Transform'] no ['animate']

Output: no


Input: [Additive?] yes ['set'] no ['animate Color'] no ['animate Transform'] yes [Notes] Additive means that a transformation is post-multiplied to the base set of transformations. ['animate']

Output: no


Input: [Data type] All other data types used in animatable attributes and properties [Additive?] no ['set'] yes ['animate Color'] no ['animate Transform'] no ['animate']

Output: yes


Input: [Name] type [Required] false [Attribute Constraints] Must not occur with the 'typeexpr' attribute. [Type] URI [Default Value] none [Valid Values] http://www.w3.org/TR/scxml/, http://www.w3.org/TR/ccxml/, http://www.w3.org/TR/voicexml30/, http://www.w3.org/TR/voicexml21/ plus other platform-specific values. [Description]

Output: A URI specifying the type of the external service. See below for details.

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Name] typeexpr [Required] false [Attribute Constraints] Must not occur with the 'type' attribute. [Type] value expression [Default Value] none [Valid Values] Any value expression that evaluates to a URI that would be a valid value for 'type'. [Description]

Output: A dynamic alternative to 'type'. If this attribute is present, the SCXML Processor MUST evaluate it when the parent element is evaluated and treat the result as if it had been entered as the value of 'type'.

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Name] src [Required] false [Attribute Constraints] Must not occur with the 'srcexpr' attribute or the element. [Type] URI [Default Value] None [Valid Values] Any URI. [Description]

Output: A URI to be passed to the external service. See below for details.

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Name] srcexpr [Required] false [Attribute Constraints] Must not occur with the 'src' attribute or the element. [Type] Value expression [Default Value] None [Valid Values] Any expression evaluating to a valid URI. [Description]

Output: A dynamic alternative to 'src'. If this attribute is present, the SCXML Processor MUST evaluate it when the parent element is evaluated and treat the result as if it had been entered as the value of 'src'.

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Name] id [Required] false [Attribute Constraints] Must not occur with the 'idlocation' attribute. [Type] ID [Default Value] none [Valid Values] Any valid token [Description]

Output: A string literal to be used as the identifier for this instance of . See 3.14 IDs for details.

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Name] idlocation [Required] false [Attribute Constraints] Must not occur with the 'id' attribute. [Type] Location expression [Default Value] none [Valid Values] Any valid location expression [Description]

Output: Any data model expression evaluating to a data model location. See 5.9.2 Location Expressions for details.

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Name] namelist [Required] false [Attribute Constraints] Must not occur with the element. [Type] List of location expressions [Default Value] none [Valid Values] List of data model locations [Description]

Output: A space-separated list of one or more data model locations to be included as attribute/value pairs with the message. (The name of the location is the attribute and the value stored at the location is the value.) See 6.4.4 Data Sharing and 5.9.2 Location Expressions for details.

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Name] autoforward [Required] false [Type] boolean [Default Value] false [Valid Values] true or false [Description]

Output: A flag indicating whether to forward events to the invoked process. See below for details.

State Chart XML (SCXML): State Machine Notation for Control Abstraction


Input: [Term] issuedby [Notes] Sub property of dcterms:creator and foaf:maker. [Introduced] Section 2.2 [Type]

Output: RDF Data Property

Protocol for Web Description Resources (POWDER): Description Resources


Input: [Term] matchesregex [Notes] RDF/OWL tools must understand the POWDER Semantic Extension to process the semantics of this property. [Introduced] Section 2.2 [Type]

Output: RDF Data Property

Protocol for Web Description Resources (POWDER): Description Resources


Input: [Term] notknownto [Notes] Property used by a POWDER Processor that it does not have any information about a particular IRI [Introduced] Section 3 [Type]

Output: RDF Data Property

Protocol for Web Description Resources (POWDER): Description Resources


Input: [Term] Processor [Notes] The class of POWDER Processors [Introduced] Section 3 [Type]

Output: RDF Class

Protocol for Web Description Resources (POWDER): Description Resources


Input: [Term] describedby [Notes] An RDF property that links a described resource to a POWDER document. For use with RDFa and other rich formats. [Introduced] Section 4.1.3 [Type]

Output: RDF Data Property

Protocol for Web Description Resources (POWDER): Description Resources


Input: [Term] Document [Notes] The class of POWDER documents [Introduced] Section 4.1.3 [Type]

Output: RDF Class

Protocol for Web Description Resources (POWDER): Description Resources


Input: [Term] authenticate [Notes] An RDF property that links a dcterms:Agent or foaf:Agent class to a resource describing how to authenticate its DRs. [Introduced] Section 5.1 [Type]

Output: RDF Data Property

Protocol for Web Description Resources (POWDER): Description Resources


Input: [Primary Feature Tested] acyclic Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 2) acyclic\InValidCycle.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if an instance of an acyclic type CT references itself. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 3) acyclic\InValidCycleAbstract.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if instances of an element type CT derived from the abstract acyclic element type CT' form a cycle. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 4) acyclic\InValidCycleAnonymous.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if instances of the acyclic anonymous type CT form a cycle [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 5) acyclic\InValidCycleByExtension.xml Revision 1.3 CVS Log [Test Case Description] A model is invalid if instances of an acyclic element type CT (or derived types by restriction) create a cycle [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidCyclesWithAcyclicReferences (row 6) acyclic\InValidCycleByRestriction.xml Revision 1.3 CVS Log [Test Case Description] A model is invalid if instances of an acyclic element type CT (or derived types by restriction) create a cycle [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidDerivationWithAcyclicAttribute (row 7) acyclic\InValidDerivation.xml Revision 1.14 CVS Log [Test Case Description] A model is invalid if it has a reference type R1 with sml:acyclic=?true? and another reference type R2 derived from R1 such that sml:acyclic=?false? [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Eclipse COSMOS Result] Valid Valid ValidateAcyclicDefinition (row 8) acyclic\ValidateDefinition.xml Revision 1.10 CVS Log [Test Case Description] This test returns a warning if the sml:acyclic attribute is defined on an element declaration [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Eclipse COSMOS Result] Valid Valid ValidCyclesWithAcyclicReference2 (row 9) acyclic\ValidCycle.xml Revision 1.2 CVS Log [Test Case Description] Let R1 be a reference type with sml:acyclic=?false?. Then a model is valid if it has inter-document cycles using instances of R1 [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Eclipse COSMOS Result] Valid Valid InvalidCyclesWithAcyclicReferences (row 10) acyclic\ValidCycleNoReference.xml Revision 1.3 CVS Log [Test Case Description] A model is valid if an element instance with sml:acyclic="true" forms a cycle but is not declared to be an SML reference (despite having a valid sml:uri scheme) [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Eclipse COSMOS Result] Valid Valid InvalidCyclesWithAcyclicReferences (row 11) acyclic\ValidCycleNullReference.xml Revision 1.3 CVS Log [Test Case Description] A model is valid if an element instance with sml:acyclic="true" forms a cycle but is declared as a null SML reference (despite having a valid sml:uri scheme) [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Eclipse COSMOS Result] Valid Valid ValidCycles3 (row 12) acyclic\ValidCycleVariation.xml Revision 1.3 CVS Log [Test Case Description] This test verifies that it is valid to create cycles within documents, as long as instances of acyclic references do not create cycles. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Eclipse COSMOS Result] Valid Valid ValidDerivationWithAcyclicAttribute (row 13) acyclic\ValidDerivation.xml Revision 1.13 CVS Log [Test Case Description] A model is valid if it has a reference type R1 with sml:acyclic=?false? and another reference type R2 derived from R1 such that sml:acyclic=?true? [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Eclipse COSMOS Result] Valid Valid ValidCyclesWithAcyclicReference1 (row 14) acyclic\ValidMultipleAcyclics.xml Revision 1.2 CVS Log [Test Case Description] Let R1 and R2 be two reference types with sml:acyclic=?true?. Then a model is valid if it has inter-document cycles using instances of both R1 and R2 [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Eclipse COSMOS Result] Valid Valid ValidUnresolvedReference (row 15) acyclic\ValidUnresolvedReference.xml Revision 1.3 CVS Log [Test Case Description] A model is valid if an element instance with sml:acyclic="true" references an unresolved document. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Invalid [Eclipse COSMOS Result] Invalid Invalid Base64DTDEntity (row 16) base64\Base64DTDEntity.xml Revision 1.3 CVS Log [Test Case Description] This test verifies that the code returns success when a document that is a child of the base64Data element is encoded in Base64 format. The encoded document is an XML document with DTD definition. The DTD has entity definitions that are used in the XML. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Invalid [Eclipse COSMOS Result] Invalid Invalid Base64DTDInvalidXML (row 17) base64\Base64DTDInvalidXML.xml Revision 1.3 CVS Log [Test Case Description] The encoded document is an XML document with DTD definition. The XML sturcture is invalid according to the DTD, but since DTD validation is not done by the SML/SML-IF validator, the SML validator should report success. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Invalid [Eclipse COSMOS Result] Invalid Invalid Base64DTDMissingEntities (row 18) base64\Base64DTDMissingEntities.xml Revision 1.2 CVS Log [Test Case Description] The encoded document is an XML document with DTD definition. The XML uses entities that are not defined in the DTD. The validation should fail because DTD is processed with fatal failure. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Valid [Eclipse COSMOS Result] Valid Valid Base64EncodedDoc (row 19) base64\Base64EncodedDoc.xml Revision 1.6 CVS Log [Test Case Description] An instance document is base64 encoded. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Valid [Eclipse COSMOS Result] Valid Valid Base64EncodedDocs (row 20) base64\Base64EncodedDocs.xml Revision 1.4 CVS Log [Test Case Description] Let R1 and R2 be two reference types with sml:acyclic=?true?. Then a model is valid if it has inter-document cycles that using instances of both R1 and R2 [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Valid [Eclipse COSMOS Result] Valid Valid Base64EncodedSchema (row 21) base64\Base64EncodedSchema.xml Revision 1.5 CVS Log [Test Case Description] Taken from ValidCycles1.xml. Encoded data in definition section in base64 encoding. Let R1 and R2 be two reference types with sml:acyclic=?true?. Then a model is valid if it has inter-document cycles that using instances of both R1 and R2 [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Valid [Eclipse COSMOS Result] Valid Valid Base64EncodedSchemaAndDoc (row 22) base64\Base64EncodedSchemaAndDoc.xml Revision 1.5 CVS Log [Test Case Description] Taken from ValidCycles1.xml. Encoded data in both definition and instance sections. Let R1 and R2 be two reference types with sml:acyclic=?true?. Then a model is valid if it has inter-document cycles that using instances of both R1 and R2 [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Valid [Eclipse COSMOS Result] Valid Valid Base64EncodedSchemaAndDocs (row 23) base64\Base64EncodedSchemaAndDocs.xml Revision 1.4 CVS Log [Test Case Description] Taken from acylic test suite. (ValidCycles1.xml) Encoded data in both definition and instance sections. Let R1 and R2 be two reference types with sml:acyclic=?true?. Then a model is valid if it has inter-document cycles that using instances of both R1 and R2 [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Invalid [Eclipse COSMOS Result] Invalid Invalid Base64InvalidEncoding (row 24) base64\Base64InvalidEncoding.xml Revision 1.5 CVS Log [Test Case Description] Taken from acylic test suite. (ValidCycles1.xml) Schema is encoded. Encoded data in both definition and instance sections. Let R1 and R2 be two reference types with sml:acyclic=?true?. Then a model is valid if it has inter-document cycles that using instances of both R1 and R2 [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Base64 Invalid [Eclipse COSMOS Result] Invalid Invalid Base64InvalidSML (row 25) base64\Base64InvalidSML.xml Revision 1.5 CVS Log [Test Case Description] All instance documents in this SML-IF are base64-encoded. The instance documents have a cycle for an acyclic type. The SML-IF should be validated to false. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Invalid [Eclipse COSMOS Result] Invalid Invalid SingleRef (row 26) deref\InValidUnrecognizedScheme.xml Revision 1.3 CVS Log [Test Case Description] Verify a schematron test using a deref function to resolve an unrecognized reference scheme will fail [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidSchemeDerefUsed (row 27) deref\InValidUsageWithScheme.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if an smlxpath1 scheme contains a deref() in the evaluator. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid MultipleDeref (row 28) deref\Multiple.xml Revision 1.12 CVS Log [Test Case Description] Verify that deref() can accept a node set of reference elements, i.e., elements for which sml:ref=?true?, and return a node set that is union of the element nodes targeted by references in the node set such that the reference targets exactly one element in the model. The returned node set must not contain any nodes for references that do not target an element in the model. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid SingleRef (row 30) deref\Single.xml Revision 1.11 CVS Log [Test Case Description] Verify that deref() can resolve a single reference. The deref() function must return a single node (i.e. a node set with a single node) that corresponds to the element node of the reference’s target when the reference targets a single element in the model. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidConstraintSubstitution (row 32) identity\InValidConstraintGroup.xml Revision 1.3 CVS Log [Test Case Description] If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 MUST have the same set of {SML identity-constraints definitions}. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidConstraintRefAttributes (row 33) identity\InValidConstraintRefAttributes.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if an identity constraint includes both the 'ref' and 'name' attribute [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidConstraintRefElements (row 34) identity\InValidConstraintRefElements.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if the sml:field or sml:selector child elements are specified for a referenced identity constraint. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidConstraintRefKey (row 35) identity\InValidConstraintRefKey.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a referenced identity constraint type does not match to what it's resolved to. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidConstraintRefNoKey (row 36) identity\InValidConstraintRefNoKey.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a referenced identity constraint cannot be resolved [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidConstraintSubstitution (row 37) identity\InValidConstraintSubstitution.xml Revision 1.2 CVS Log [Test Case Description] Verifies that substitution group elements validate id constraints defined on their group affiliation. If an element declaration S has a {substitution group affiliation} G, then its {SML identity-constraints definitions} also contains members of {SML identity-constraints definitions} of G. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidDuplicateConstraintSubst (row 38) identity\InValidDuplicateConstraintNameSubst.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if two constraint names indirectly declared through substitution group have the same name [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidDuplicateConstraintName1 (row 39) identity\InValidDuplicateKeyConstraintName.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if two constraint names under the same element have the same name [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Invalid [Eclipse COSMOS Result] Invalid Invalid InValidKeyDuplicate (row 40) identity\InValidKeyDuplicate.xml Revision 1.12 CVS Log [Test Case Description] Verify that a model with a key constraint is invalid if the field values are not unique. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Invalid [Eclipse COSMOS Result] Invalid Invalid InValidKeyMissing (row 41) identity\InValidKeyMissing.xml Revision 1.12 CVS Log [Test Case Description] Verify that a model with a key constraint is invalid if some field values are missing. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidConstraintSubstitution (row 42) identity\InValidUnionConstraintWithSubstitution.xml Revision 1.3 CVS Log [Test Case Description] If an element declaration S has a {substitution group affiliation} G, then its {SML identity-constraints definitions} also contains members of {SML identity-constraints definitions} of G. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Invalid [Eclipse COSMOS Result] Invalid Invalid InValidUnique (row 43) identity\InValidUnique.xml Revision 1.12 CVS Log [Test Case Description] Verify that a model with a unique constraint is invalid if the field values are not unique. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Invalid [Eclipse COSMOS Result] Invalid Invalid ValidConstraintRefKeyref (row 44) identity\ValidConstraintRefKeyref.xml Revision 1.4 CVS Log [Test Case Description] A model is valid if a referenced identity constraint is used using the 'ref' attribute [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Valid [Eclipse COSMOS Result] Valid Valid ValidKeyref (row 45) identity\ValidKeyref.xml Revision 1.13 CVS Log [Test Case Description] Verify keyref constraint. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Valid [Eclipse COSMOS Result] Valid Valid ValidKeyUnique (row 46) identity\ValidKeyUnique.xml Revision 1.12 CVS Log [Test Case Description] Verify that a model with a key and unique constraint is valid if the field values are unique, though some field values for the unique constraint may be missing. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Valid [Eclipse COSMOS Result] Valid Valid ValidKeyUniqueInScopeOnly (row 47) identity\ValidKeyUniqueInScopeOnly.xml Revision 1.12 CVS Log [Test Case Description] Verify that a model with a key and unique constraint is valid if the constraints are satisfied in scope even though the constraints may not be satisfied globally in the model. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] idConstraint Valid [Eclipse COSMOS Result] Valid Valid InValidKeyDuplicate (row 48) identity\ValidSmlXSKey.xml Revision 1.3 CVS Log [Test Case Description] It is not an error if SML identity constraint and XML identity constraint share the same name. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] locator Valid [Eclipse COSMOS Result] Valid Valid InValidInCompleteModel (row 49) others\InValid.xml Revision 1.4 CVS Log [Test Case Description] This test verifies that an unresolved locator/documentURI is flagged with a warning. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] aliases Invalid [Eclipse COSMOS Result] Invalid Invalid InValidAliasValue (row 50) others\InValidAliasValue.xml Revision 1.7 CVS Log [Test Case Description] This test verifies that the code returns an error when an alias contains an invalid value. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] aliases Invalid [Eclipse COSMOS Result] Invalid Invalid InValidAliasHasFragmentComp (row 51) others\InValidAliasWithFragment.xml Revision 1.8 CVS Log [Test Case Description] This test verifies that the code returns an error when an alias contains a fragment component. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] aliases Invalid [Eclipse COSMOS Result] Invalid Invalid InValidDuplicateAliases (row 52) others\InValidDuplicateAliases.xml Revision 1.8 CVS Log [Test Case Description] This test verifies that the code returns an error when two aliases resolve to the same URI [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] validation Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidMultipleDocument (row 53) others\InValidMultipleDocument.xml Revision 1.7 CVS Log [Test Case Description] This test verifies that the code returns an error if the data element contains more than one document. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] locator Valid [Eclipse COSMOS Result] Valid Valid TestDocumentLocator (row 54) others\remote-document.xml Revision 1.11 CVS Log [Test Case Description] Tests the correct implementation of the locator element [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] rules Invalid [Eclipse COSMOS Result] Invalid Invalid TestRulesWithMultiplePatterns (row 55) others\rulesWithMultiplePattern.xml Revision 1.11 CVS Log [Test Case Description] Tests that rules that have multiple patterns are handled correctly [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] rules Invalid [Eclipse COSMOS Result] Invalid Invalid TestMultipleRulesUnderOnePattern (row 56) others\rulesWithMultipleRulesUnderOnePattern.xml Revision 1.11 CVS Log [Test Case Description] Tests that patterns with multiple rules are handled correctly [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] validation Invalid [Eclipse COSMOS Result] Invalid Invalid TestSchemaValidationFailure (row 57) others\schemaValidationFailure.xml Revision 1.14 CVS Log [Test Case Description] Tests that validation against the schema fails. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] Embedded Valid [Eclipse COSMOS Result] Valid Valid ValidEmptyDocument (row 58) others\ValidEmptyDocument.xml Revision 1.6 CVS Log [Test Case Description] This test verifies that it is valid to have an empty document. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid UnresolvedRef (row 59) references\DanglingRef.xml Revision 1.12 CVS Log [Test Case Description] A valid model can contain unresolved references [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid IntraDocumentRef (row 60) references\IntraDocumentRef.xml Revision 1.13 CVS Log [Test Case Description] It is valid for a reference to target an element in the same document. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid InvalidBareNameUnresolved (row 61) references\InvalidBareNameDangling.xml Revision 1.2 CVS Log [Test Case Description] This SML-IF contains an SML reference that is a unresolved reference. Bare name is used in this reference. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlifBaseUri Invalid [Eclipse COSMOS Result] Invalid Invalid InValidBaseURI (row 63) references\InValidBaseURI.xml Revision 1.8 CVS Log [Test Case Description] A model is invalid if base URI is not valid [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlifBaseUri Invalid [Eclipse COSMOS Result] Invalid Invalid InValidBaseURIRelative (row 64) references\InValidBaseURIRelative.xml Revision 1.3 CVS Log [Test Case Description] A model is invalid if the base URI is not absolute [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlifBaseUri Invalid [Eclipse COSMOS Result] Invalid Invalid InValidBaseURIHasFragmentComp (row 65) references\InValidBaseURIWithFragment.xml Revision 1.3 CVS Log [Test Case Description] A model is invalid if the base URI contains a fragment [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlifBaseUri Invalid [Eclipse COSMOS Result] Invalid Invalid InValidMissingBaseURIAttr1 (row 68) references\InValidMissingBaseURI.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a reference is relative and the base URI is missing [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidRefResolvesToMultipleElements (row 69) references\InValidMultipleElements.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a reference scheme resolves to multiple elements [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidRefResolvesToMultipleElements (row 70) references\InValidMultipleElementsVariation.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a reference element is identified with sml:ref="1" and its scheme resolves to multiple elements [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Invalid [Eclipse COSMOS Result] Invalid Invalid SingleRef (row 71) references\InValidNullifiedDeref.xml Revision 1.4 CVS Log [Test Case Description] The deref() function of a nullified reference should not return a target even if the ref has a valid sml:uri child element. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidSchemeResultContainsNonElements (row 72) references\InValidSchemeResult.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a reference using smlxpath1 scheme resolves to anything other than an element set. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidSchemeSyntaxError (row 73) references\InValidSchemeSyntax.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if the content of the smlxpath1 scheme is syntactically incorrect. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] validation Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidSmlRefValue (row 74) references\InValidSMLRefValue.xml Revision 1.3 CVS Log [Test Case Description] A model is invalid if the value of sml:ref is not valid [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidSchemeNamespaceUnknown (row 75) references\InValidUnknownNamespace.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if a reference using the smlxpath1 scheme uses a prefix without a bound namespace. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] xmlBase Invalid [Eclipse COSMOS Result] Invalid Invalid InValidXMLBase (row 76) references\InValidXmlBase.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if xml:base is not valid [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] xmlBase Valid [Eclipse COSMOS Result] Valid Valid InValidXMLBaseRelative (row 77) references\InValidXmlBaseRelative.xml Revision 1.2 CVS Log [Test Case Description] A model is invalid if the xml:base is not absolute [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid MultipleRefToAnElement (row 78) references\MultipleRefToAnElement.xml Revision 1.13 CVS Log [Test Case Description] It is valid for an element in a document to be targeted by multiple different references from other documents [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Invalid [Eclipse COSMOS Result] Invalid Invalid NullRefElement (row 79) references\NullRefElement.xml Revision 1.12 CVS Log [Test Case Description] It is valid for a reference element to be null [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid RefToNonRootElement (row 80) references\RefToNonRootElement.xml Revision 1.14 CVS Log [Test Case Description] It is valid for a reference in a document to target a non-root element in some other document. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid RefToRootElement (row 81) references\RefToRootElement.xml Revision 1.13 CVS Log [Test Case Description] It is valid for a reference in a document to target the root element in some other document. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid ValidBareNameAbsURI (row 82) references\ValidBareName.xml Revision 1.1 CVS Log [Test Case Description] This SML-IF demonstrates the use of bare names in sml:uri references. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid ValidBareNameSameDocRef (row 84) references\ValidBareNameSameDocRef.xml Revision 1.1 CVS Log [Test Case Description] This SML-IF contains an SML URI reference that only contains the fragment component. The fragment component is a bare name. This URI reference will be dereferenced to an element in the same document. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid ValidRefTwoSchemesNilSpecified (row 85) references\ValidDanglingReference.xml Revision 1.3 CVS Log [Test Case Description] A model is valid if it contains a nullified reference with two schemes, one resolving to an element and another unresolved. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid ValidMissingBaseURIAttr2 (row 86) references\ValidFragmentOnlyReference.xml Revision 1.4 CVS Log [Test Case Description] It is valid for a model to contain a reference with only a fragment. In which case, the reference points to a target element in the same document. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid ValidRefNilrefSpecified1 (row 87) references\ValidInconsistentNonReference.xml Revision 1.2 CVS Log [Test Case Description] A model is valid if it contains a none reference element (i.e. sml:ref is not specified) with multiple schemes resolving to two different elements [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid ValidRefNilrefSpecified1 (row 88) references\ValidInconsistentReference.xml Revision 1.2 CVS Log [Test Case Description] A model is valid if it contains a nullified reference with multiple schemes resolving to two different elements [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid ValidMissingBaseURIAttr1 (row 89) references\ValidMissingBaseURI.xml Revision 1.2 CVS Log [Test Case Description] A model is valid if there are not references and the base URI is missing [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid ValidNilRefDefinition (row 91) references\ValidNilRef.xml Revision 1.2 CVS Log [Test Case Description] A model is valid if sml:nilref is used in conjunction with sml:ref="true" [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid ValidNilRefPSVI (row 92) references\ValidNilRefPSVI.xml Revision 1.4 CVS Log [Test Case Description] A model is valid if sml:nilref is used in conjunction with sml:ref="true", even if the sml:nilref value is defaulted from the schema [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid ValidSchemeNamespaceInherited (row 93) references\ValidReferenceScheme.xml Revision 1.3 CVS Log [Test Case Description] A model is valid when a reference using the smlxpath1 scheme uses a prefix declared in a containing element [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid SingleRef (row 94) references\ValidSMLRefPSVI.xml Revision 1.3 CVS Log [Test Case Description] The deref() function of a nullified reference should not return a target even if the ref has a valid sml:uri child element. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Valid [Eclipse COSMOS Result] Valid Valid ValidRefOneSchemeResolvesOtherUnknown (row 95) references\ValidUnknownRefScheme.xml Revision 1.3 CVS Log [Test Case Description] A model is valid if a reference contains two schemes, one resolving to an element and the other being unknown. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] xmlBase Valid [Eclipse COSMOS Result] Valid Valid ValidXmlBase (row 96) references\ValidXmlBase.xml Revision 1.2 CVS Log [Test Case Description] A valid xml:base should not result in an error. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] xmlBase Valid [Eclipse COSMOS Result] Valid Valid ValidXmlBaseOnDocumentElement (row 97) references\ValidXmlBaseOnDocumentElement.xml Revision 1.1 CVS Log [Test Case Description] A valid xml:base specified on a 'document' element should not result in an error. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] xmlBase Valid [Eclipse COSMOS Result] Valid Valid ValidXmlBaseOnInstance (row 98) references\ValidXmlBaseOnInstance.xml Revision 1.2 CVS Log [Test Case Description] A valid xml:base on an instance document should not result in an error. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] xmlBase Valid [Eclipse COSMOS Result] Valid Valid ValidXmlBaseWinsOverBaseURI (row 99) references\ValidXmlBaseWinsOverBaseURI.xml Revision 1.2 CVS Log [Test Case Description] When both a baseURI and xml:base are specified, xml:base should be used. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] rules Invalid [Eclipse COSMOS Result] Invalid Invalid InValidSchematronRule (row 100) Rules\InValid.xml Revision 1.14 CVS Log [Test Case Description] A model with a Schematron rule defined for an element is invalid if at least one instances of the element does not satisfy the rule. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] locid Invalid [Eclipse COSMOS Result] Invalid Invalid InValidSchematronRuleEnglish (row 101) Rules\InvalidLocidEnglish.xml Revision 1.5 CVS Log [Test Case Description] A model with a Schematron rule defined for an element is invalid if at least one instances of the element does not satisfy the rule. Error message will be taken from the English resource bundle. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] locid Invalid [Eclipse COSMOS Result] Invalid Invalid InValidSchematronRuleGerman (row 102) Rules\InvalidLocidGerman.xml Revision 1.5 CVS Log [Test Case Description] A model with a Schematron rule defined for an element is invalid if at least one instances of the element does not satisfy the rule. Error message will be taken from the German resource bundle. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] locid Invalid [Eclipse COSMOS Result] Invalid Invalid InValidSchematronRuleMissingBundle (row 103) Rules\InvalidLocidMissingBundle.xml Revision 1.5 CVS Log [Test Case Description] A model with a Schematron rule defined for an element is invalid if at least one instances of the element does not satisfy the rule. locid indicates the locale of the error message to be French, but since French resource bundle doesn't exist, we expect the error message to be taken from the English resource bundle (the default locale). [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] locid Invalid [Eclipse COSMOS Result] Invalid Invalid InValidSchematronRuleMissingBundlePackage (row 104) Rules\InvalidLocidMissingBundlePackage.xml Revision 1.5 CVS Log [Test Case Description] A model with a Schematron rule defined for an element is invalid if at least one instances of the element does not satisfy the rule. locid indicates the locale of the error message to be French, but since French resource bundle doesn't exist, we expect the error message to be taken from the English resource bundle (the default locale). [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] locid Invalid [Eclipse COSMOS Result] Invalid Invalid InValidSchematronRuleMissingKey (row 105) Rules\InvalidLocidMissingKey.xml Revision 1.5 CVS Log [Test Case Description] A model with a Schematron rule defined for an element is invalid if at least one instances of the element does not satisfy the rule. locid is specified in a schematron to get a message from the English resource bundle. However, since the key "abc" does not exist in the resource bundle, the text in the schematron is used. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] ruleBindings Invalid [Eclipse COSMOS Result] Invalid Invalid InValidRuleBinding-MultipleRulesSameDocument-BothFail (row 106) Rules\InValidRuleBinding-MultipleRulesSameDocument-BothFail.xml Revision 1.13 CVS Log [Test Case Description] Two rules are bound to the same document - both fail. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] ruleBindings Invalid [Eclipse COSMOS Result] Invalid Invalid InValidRuleBinding-MultipleRulesSameDocument (row 107) Rules\InValidRuleBinding-MultipleRulesSameDocument.xml Revision 1.12 CVS Log [Test Case Description] Two rules are bound to the same document. One passes, one fails. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] ruleBindings Invalid [Eclipse COSMOS Result] Invalid Invalid InValidRuleBinding (row 108) Rules\InValidRuleBinding.xml Revision 1.12 CVS Log [Test Case Description] A model with a Schematron rule that is bound to some instance documents is invalid if the rule is not satisfied by some bound documents. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] ruleBindings Invalid [Eclipse COSMOS Result] Invalid Invalid InValidRuleBindingWithBaseURI (row 109) Rules\InValidRuleBindingWithBaseURI.xml Revision 1.2 CVS Log [Test Case Description] A model with a Schematron rule that is bound to some instance documents is invalid if the rule is not satisfied by some bound documents. This example binds an instance document with a rule binding using the base URI. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] ruleBindings Invalid [Eclipse COSMOS Result] Invalid Invalid InValidRuleBindingWithPrefix (row 110) Rules\InValidRuleBindingWithPrefix.xml Revision 1.1 CVS Log [Test Case Description] A model with a Schematron rule that is bound to some instance documents is invalid if the rule is not satisfied by some bound documents. This example binds an instance document based on the prefix of document aliases [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] rules Invalid [Eclipse COSMOS Result] Invalid Invalid InValidRuleType (row 111) Rules\InValidRuleType.xml Revision 1.9 CVS Log [Test Case Description] A model with a Schematron rule defined for a type CT is invalid if at least one instance element of CT type doesn't satisfy the rule. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] rules Invalid [Eclipse COSMOS Result] Invalid Invalid InValidRuleTypeExtension (row 112) Rules\InValidRuleTypeExtension.xml Revision 1.9 CVS Log [Test Case Description] A model with a Schematron rule defined for a type CT is invalid if at least one instance element of CT type or a type derived from CT ( derivation by extension ) doesn't satisfy the rule. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] rules Invalid [Eclipse COSMOS Result] Invalid Invalid InValidRuleTypeRestriction (row 113) Rules\InValidRuleTypeRestriction.xml Revision 1.9 CVS Log [Test Case Description] A model with a Schematron rule defined for a type CT is invalid if at least one instance element of CT type or a type derived from CT ( derivation by restriction ) doesn't satisfy the rule. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] rules Invalid [Eclipse COSMOS Result] Invalid Invalid ValidSchematronRule (row 114) Rules\Valid.xml Revision 1.14 CVS Log [Test Case Description] A model with a Schematron rule defined for an element is valid if all instances of the element satisfy the rule. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] validation Valid [Eclipse COSMOS Result] Valid Valid ValidXMLSchema (row 115) Rules\ValidNoSML.xml Revision 1.10 CVS Log [Test Case Description] Basic XML Schema file, no SML extensions used. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] ruleBindings Valid [Eclipse COSMOS Result] Valid Valid ValidRuleBinding (row 116) Rules\ValidRuleBinding.xml Revision 1.13 CVS Log [Test Case Description] A model with a Schematron rule that is bound to some instance documents is valid if the rule is satisfied by all bound documents. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetElement Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidTargetElement (row 117) targetElement\InValid.xml Revision 1.13 CVS Log [Test Case Description] If targetElement='GTE' for a global element declaration E, then a model is invalid if the target of some instance of E in the model is not an instance of GTE. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetElement Invalid [Eclipse COSMOS Result] Invalid Invalid InValidDerivationByRestriction (row 118) targetElement\InValidDerivationByRestriction.xml Revision 1.9 CVS Log [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then{target element} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {targetElement} as the EnrolledCourse element contained by the StudentType. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetElement Invalid [Eclipse COSMOS Result] Invalid Invalid InValidSameNameElements (row 119) targetElement\InValidSameNameElements.xml Revision 1.9 CVS Log [Test Case Description] If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the graduateGroup and basicGroup should have the same {targetElement}. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetElement Invalid [Eclipse COSMOS Result] Invalid Invalid ValidateTargetElementExists2 (row 120) targetElement\InvalidValue.xml Revision 1.5 CVS Log [Test Case Description] This test verifies that the value of the sml:targetElement is a global element. Returns an error if the value does not match any element in the corresponding namespace. The test verifies that the error is displayed even when no model instances are defined for this IF document (ie the validation runs against the xsd file containing the sml:targetElement, regardless of the instances being defined in that model) [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetElement Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidTargetElementWithSubstitutionGroup (row 121) targetElement\InValidWithSubstitutionGroup.xml Revision 1.13 CVS Log [Test Case Description] Let targetElement='GTE' be specified for a GED E. Let SubE be another GED in the substitution group whose head element is E for which the targetElement attribute is not specified. Then a model is invalid if an instance of SubE targets an element that is not an instance of GTE or an instance of some GED in the substitution group hierarchy whose head is GTE. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetElement Valid [Eclipse COSMOS Result] Valid Valid ValidTargetElement (row 122) targetElement\Valid.xml Revision 1.13 CVS Log [Test Case Description] If targetElement='GTE' for a global element declaration E, then a model is valid if the target of each instances of E in the model is an instance of GTE. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetElement Valid [Eclipse COSMOS Result] Valid Valid ValidDerivationByRestriction (row 123) targetElement\ValidDerivationByRestriction.xml Revision 1.6 CVS Log [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then{target element} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType has the same {targetElement} as the EnrolledCourse element contained by the StudentType. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetElement Valid [Eclipse COSMOS Result] Valid Valid ValidSameNameElements (row 124) targetElement\ValidSameNameElements.xml Revision 1.6 CVS Log [Test Case Description] If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the basicGroup and graduateGroup have the same {targetElement}. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetElement Valid [Eclipse COSMOS Result] Valid Valid ValidTargetElementWithSubstitutionGroup (row 125) targetElement\ValidWithSubstitutionGroup.xml Revision 1.13 CVS Log [Test Case Description] If targetElement='GTE' for a global element declaration E, then a model is valid if the target of each instances of E in the model is an instance of GTE, or an instance of some global element declaration in the substitution group hierarchy whose head is GTE [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetRequired Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidTargetRequired (row 126) targetRequired\InValid.xml Revision 1.11 CVS Log [Test Case Description] If targetElement=GTE for a global element declaration E, and targetRequired=true, an instance of the SML reference cannot contain an unresolved reference which does not target any element in the model. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetRequired Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidTargetRequiredMissingReference (row 127) targetRequired\InvalidMissingReference.xml Revision 1.1 CVS Log [Test Case Description] If targetElement=GTE for a global element declaration E, and targetRequired=true, an instance of the SML reference must exist. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetRequired Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidTargetRequiredNullReference (row 128) targetRequired\InvalidNullReference.xml Revision 1.1 CVS Log [Test Case Description] If targetElement=GTE for a global element declaration E, and targetRequired=true, an instance of the SML reference cannot be null. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetRequired Invalid [Eclipse COSMOS Result] Invalid Invalid InValidSameNameElements (row 129) targetRequired\InValidSameNameElements.xml Revision 1.9 CVS Log [Test Case Description] If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the graduateGroup and basicGroup should have the same {target required}. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetRequired Valid [Eclipse COSMOS Result] Valid Valid ValidTargetRequired (row 130) targetRequired\valid.xml Revision 1.11 CVS Log [Test Case Description] Tests for correct usage of targetRequired. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetRequired Valid [Eclipse COSMOS Result] Valid Valid ValidTargetRequiredFalse (row 131) targetRequired\ValidFalseRequire.xml Revision 1.11 CVS Log [Test Case Description] If targetElement=GTE for a global element declaration E, then a model is valid if the target of each instances of E in the model is an instance of GTE. targetRequired=false. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetRequired Valid [Eclipse COSMOS Result] Valid Valid ValidTargetRequiredSameNameElements (row 132) targetRequired\ValidSameNameElements.xml Revision 1.7 CVS Log [Test Case Description] If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the basicGroup and graduateGroup have the same {target required}. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetRequired Valid [Eclipse COSMOS Result] Valid Valid ValidTargetRequiredWithTargetType (row 133) targetRequired\ValidType.xml Revision 1.12 CVS Log [Test Case Description] If targetType="T" for a global element declaration E, then a model is valid if the type of the target of each instances of E in the model is T or a derived type of T. Includes targetRequired=true. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetRequired Valid [Eclipse COSMOS Result] Valid Valid ValidTargetRequiredFalseWithTargetType (row 134) targetRequired\ValidTypeFalse.xml Revision 1.11 CVS Log [Test Case Description] If targetType="T" for a global element declaration E, then a model is valid if the type of the target of each instances of E in the model is T or a derived type of T. Includes targetRequired=false. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetType Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidTargetType (row 135) targetType\InValid.xml Revision 1.13 CVS Log [Test Case Description] If targetType='T' for a global element declaration E, then a model is invalid if the target of some instance of E in the model is not an instance of T [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetType Invalid [Eclipse COSMOS Result] Invalid Invalid InValidDerivationByRestriction (row 136) targetType\InValidDerivationByRestriction.xml Revision 1.8 CVS Log [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target type} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {targetType} as the EnrolledCourse element contained by the StudentType. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetType Invalid [Eclipse COSMOS Result] Invalid Invalid InValidSameNameElements (row 137) targetType\InValidSameNameElements.xml Revision 1.7 CVS Log [Test Case Description] If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the graduateGroup and basicGroup should have the same {target type}. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetType Invalid [Eclipse COSMOS Result] Invalid Invalid ValidateTargetTypeExists1 (row 138) targetType\InValidValue.xml Revision 1.7 CVS Log [Test Case Description] This test verifies that the value of the sml:targetType resolves to a global type definition. Returns an error if the value does not match any type in the corresponding namespace. The test verifies that the error is displayed even when no model instances are defined for this IF document (ie the validation runs against the xsd file containing the sml:targetType, regardless of the instances being defined in that model) [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetType Invalid [Eclipse COSMOS Result] Invalid Invalid InValidTargetTypeWithSubstitutionGroup (row 139) targetType\InValidWithSubstitutionGroup.xml Revision 1.12 CVS Log [Test Case Description] Let targetType='T' be specified for a GED E. Let SubE be another GED in the substitution group whose head element is E for which the targetType attribute is not specified. Then a model is invalid if an instance of SubE targets an element that is not an instance of T or an instance of some derived type of T. [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetType Valid [Eclipse COSMOS Result] Valid Valid ValidTargetType (row 140) targetType\Valid.xml Revision 1.12 CVS Log [Test Case Description] If targetType='T' for a global element declaration E, then a model is valid if the target of each instances of E in the model is an instance of T or a derived type of T [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetType Valid [Eclipse COSMOS Result] Valid Valid ValidDerivationByRestriction (row 141) targetType\ValidDerivationByRestriction.xml Revision 1.7 CVS Log [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target type} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType has the same {targetType} as the EnrolledCourse element contained by the StudentType. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetType Valid [Eclipse COSMOS Result] Valid Valid ValidSameNameElements (row 142) targetType\ValidSameNameElements.xml Revision 1.7 CVS Log [Test Case Description] If two element declarations E1 and E2 have the same {namespace name} and {name} and they are both contained (directly, indirectly, or implicitly) in a content model of a complex type, then E1 and E2 have the same {target required}, {target element}, and {target type}. In the example below, the two EnrolledCourse elements contained by the StudentType through the graduateGroup and basicGroup have the same {target type}. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetType Valid [Eclipse COSMOS Result] Valid Valid ValidTargetTypeWithSubstitutionGroup (row 143) targetType\ValidWithSubstitutionGroup.xml Revision 1.11 CVS Log [Test Case Description] Let targetType='T' be specified for a GED E. Let SubE be another GED in the substitution group whose head element is E for which the targetType attribute is not specified. Then a model is valid if all instances of SubE target elements whose type is T. [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] smlref Invalid [Eclipse COSMOS Result] Invalid Invalid InvalidWrongSMLNSURI.xml (row 144) InvalidWrongSMLNSURI.xml No CVS revision information was found for this file [Test Case Description] SML prefix bound to wrong namespace URI [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetRequired Invalid [Eclipse COSMOS Result] Invalid Invalid TargetRequiredInValidDerivationByRestriction.xml (row 145) TargetRequiredInValidDerivationByRestriction.xml No CVS revision information was found for this file [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/InValidDerivationByRestriction.xml and changed to work with target required instead [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetRequired Valid [Eclipse COSMOS Result] Valid Valid TargetRequiredValidDerivationByRestriction.xml (row 146) TargetRequiredValidDerivationByRestriction.xml No CVS revision information was found for this file [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType has the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/ValidDerivationByRestriction.xml and changed to work with target required instead in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/InValidDerivationByRestriction.xml and changed to work with target required instead [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetRequired Invalid [Eclipse COSMOS Result] Invalid Invalid TargetRequiredInValidWithSubstitutionGroup.xml (row 147) TargetRequiredInValidWithSubstitutionGroup.xml No CVS revision information was found for this file [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/InValidDerivationByRestriction.xml and changed to work with target required instead [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] targetRequired Valid [Eclipse COSMOS Result] Valid Valid TargetRequiredValidWithSubstitutionGroup.xml (row 148) TargetRequiredValidWithSubstitutionGroup.xml No CVS revision information was found for this file [Test Case Description] If the element declaration ED is contained (directly, indirectly, or implicitly) in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType has the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/ValidDerivationByRestriction.xml and changed to work with target required instead in a content model of a complex type D, who is a restriction of another complex type B and B contains an element declaration EB with the same name as ED, then {target required} of ED is the same as that of EB. In the example below, the EnrolledCourse element contained by the GraduateStudentType should have the same {target required} as the EnrolledCourse element contained by the StudentType. Copied from /org.eclipse.cosmos.rm.validation.tests/src/test-resources/targetElement/InValidDerivationByRestriction.xml and changed to work with target required instead [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Invalid [Eclipse COSMOS Result] Invalid Invalid AcyclicInValidCycleSameDoc.xml (row 149) AcyclicInValidCycleSameDoc.xml No CVS revision information was found for this file [Test Case Description] A model is invalid if an instance of an acyclic type CT references itself, even w/in the same document [Microsoft Result]

Output: Invalid

W3C SML Working Group Implementation Results by Test Case


Input: [Primary Feature Tested] acyclic Valid [Eclipse COSMOS Result] Valid Valid AcyclicValidCycleSameDoc.xml (row 150) AcyclicValidCycleSameDoc.xml No CVS revision information was found for this file [Test Case Description] Let R1 be a reference type with sml:acyclic=᾿false᾿. Then a model is valid if it has same-document cycles using instances of R1 [Microsoft Result]

Output: Valid

W3C SML Working Group Implementation Results by Test Case