Satisfiability of constraint specifications on XML documents
Tipo de documentoTexto en actas de congreso
Fecha de publicación2015
Condiciones de accesoAcceso abierto
Jose Meseguer is one of the earliest contributors in the area of Algebraic Specification. In this paper, which we are happy to dedicate to him on the occasion of his 65th birthday, we use ideas and methods coming from that area with the aim of presenting an approach for the specification of the structure of classes of XML documents and for reasoning about them. More precisely, we specify the structure of documents using sets of constraints that are based on XPath and we present inference rules that are shown to define a sound and complete refutation procedure for checking satisfiability of a given specification using tableaux.
CitaciónNavarro, M., Orejas, F., Pino, E. Satisfiability of constraint specifications on XML documents. A: Logic, Rewriting, and Concurrency Festschrift Symposium in Honor of José Meseguer. "Logic, Rewriting, and Concurrency: Essays dedicated to José Meseguer on the occasion of his 65th birthday". Urbana, Illinois: Springer, 2015, p. 539-561.
Versión del editorhttp://dx.doi.org/10.1007/978-3-319-23165-5_25