We address the problem of checking the consistency of the semantics associated with an eXtensible Markup Language (XML) document. We propose a new technique to implement the incremental attribute evaluation approach to check the consistency of XML documents from the semantics point of view. In a previous paper, we have proposed a new technique to add semantics to XML documents by attaching the semantics information to the XML element tag attributes. This approach is based on the same concept as in attribute grammars (AGs) by attaching and checking static semantics of programming languages through their attributes. We extend our work by adding incremental facilities to the proposed evaluator. By introducing the incremental approach to our technique we improve its efficiency by minimizing the re-evaluation process. Only the affected areas in the XML document are re-evaluated rather than re-evaluating the whole document.
[1]
Pierre Deransart,et al.
Attribute Grammars: Definitions, Systems and Bibliography
,
1988
.
[2]
Katsuhiko Gondow,et al.
Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker
,
2002,
International Conference on Internet Computing.
[3]
Eric van der Vlist,et al.
XML Schema
,
2002
.
[4]
Thomas W. Reps,et al.
Generating Language-Based Environments
,
1982
.
[5]
Takuya Katayama,et al.
Translation of attribute grammars into procedures
,
1984,
TOPL.
[6]
Martin Jourdan.
Recursive Evaluators for Attribute Grammars: An Implementation
,
1983,
Method and tools for compiler construction.
[7]
Gilberto Filé.
Classical and Incremental Attribute Evaluation by Means of Recursive Procedures
,
1987,
Theor. Comput. Sci..