Mechanism for multi-XML documents correlating validation and its implementation

When an application manages multiple XML documents, the references between them need to be validated before any further operation. In this paper, we present a general validating mechanism based on a model which describes references between two or more XML documents as directed graphs. A formal system is presented and we prove that the correlating validation of many-to-many XML documents could be simplified as several correlating validations of one-to-many XML documents. By the means of adding correlating validation logic into the Xerces2-java components architecture, we develop a parser prototype. Experiments show that the mechanism is a proper solution for multi-XML documents correlating validation.