Currently, HTML is largely used for the presentation of an XML document. For that, XSLT is used. XSLT transforms an XML document into an HTML document. HTML and XSLT can be used to edit an XML document visually. In this case, the editing time can be shortened by processing XSLT incrementally. The incXSLT, which is a related work of incremental XSLT processing, is not efficient for a large XML document.
In this paper, we introduce an incremental XSLT processing method for a large XML document that is split and stored into many files and produces many resulting HTML documents. We take the file as the unit of incremental XSLT processing. We obtain the dependencies between source XML files and resulting HTML documents through the formal semantics of XPath and XSLT. The incremental XSLT processing is performed by skipping unnecessary instructions according to the dependencies.
The evaluation shows that the dependencies by above method have the acceptable complexity. And incremental processing time is proportional to the count of resulting HTML documents need to be updated. That is, we can finish XSLT processing in a short time in many cases by using our method.
