| 摘要 |
<p>Ensures that an XSLT stylesheet used for desired conversion processing is consistent with an input schema and an output schema. In an example embodiment, there are provided an XSLT stylesheet input unit for inputting an XSLT stylesheet, an output schema input unit for inputting an output schema, and an inference execution unit which generates a production rule for expressing a document schema on the basis of the XSLT stylesheet and the output schema input, the production rule being derived by using a predetermined inference rule. The document schema expressed by the production rule generated is compared with the input schema to determine consistency of the XSLT stylesheet with the input schema and the output schema.</p> |
