Method and system for configurable pessimistic static XSL output validation

1. A method for transformation validation implemented by a data processing system, comprising:

loading, in a data processing system, a first language definition and a second language definition;

loading, in the data processing system, a transformation definition corresponding to the first language definition and the second language definition, wherein the transformation definition maps a first construct of the first language definition to a second construct of the second language definition;

loading, in the data processing system, a validation rule definition, wherein the validation rule definition defines a successful transformation between the first construct and the second construct and indicates whether the transformation definition produces a valid transformation between the first construct and the second construct; and

applying the validation rule definition to the transformation definition by the data processing system to produce a validation result indicating whether the transformation definition produces a valid transformation between the first language definition and the second language definition; and

storing the validation result in the data processing system.

2. The method of claim 1 , wherein the first language definition is an extensible markup language schema definition.

3. The method of claim 1 , wherein the first language definition is a document type definition.

4. The method of claim 1 , wherein the transformation definition is an extensible stylesheet language file specifying an extensible stylesheet language transformation.

5. A data processing system comprising a processor and accessible memory, the data processing system particularly configured to perform the steps of:

loading a first language definition and a second language definition;

loading a transformation definition corresponding to the first language definition and the second language definition, wherein the transformation definition maps a first construct of the first language definition to a second construct of the second language definition;

loading a validation rule definition, wherein the validation rule definition defines a successful transformation between the first construct and the second construct and indicates whether the transformation definition produces a valid transformation between the first construct and the second construct; and

applying the validation rule definition to the transformation definition to produce a validation result indicating whether the transformation definition produces a valid transformation between the first language definition and the second language definition; and

storing the validation result.

6. The data processing system of claim 5 , wherein the first language definition is an extensible markup language schema definition.

7. The data processing system of claim 5 , wherein the first language definition is document type definition.

8. The data processing system of claim 5 , wherein the transformation definition is an extensible stylesheet language file specifying an extensible stylesheet language transformation.

9. A non-transitory computer-readable storage medium encoded with computer-executable instructions that, when executed, cause a data processing system to perform the steps of:

loading a first language definition and a second language definition;

loading a transformation definition corresponding to the first language definition and the second language definition, wherein the transformation definition maps a first construct of the first language definition to a second construct of the second language definition;

loading a validation rule definition, wherein the validation rule definition defines a successful transformation between the first construct and the second construct and indicates whether the transformation definition produces a valid transformation between the first construct and the second construct; and

applying the validation rule definition to the transformation definition to produce a validation result indicating whether the transformation definition produces a valid transformation between the first language definition and the second language definition; and

storing the validation result.

10. The computer-readable storage medium of claim 9 , wherein the first language definition is an extensible markup language schema definition.

11. The computer-readable storage medium of claim 9 , wherein the first language definition is a document type definition.

12. The computer-readable storage medium of claim 9 , wherein the transformation definition is an extensible stylesheet language file specifying an extensible stylesheet language transformation.