Volume 6 : Number 1 : Paper 3
December 2003 Special Issue of Best Papers presented at CLEI'2002. Montevideo, Uruguay. Guest Editor: Alfredo Viola.
Title:
XCSL: XML Constraint Specification Language

Authors and Affiliations:
Marta Jacinto,
Giovani Librelotto,
Jose Ramalho, Universidade do Minho, Departamento de Informatica Braga, Portugal, 4710-057
Pedro Henriques, Universidade do Minho, Departamento de Inform

Abstract:
After being able to mark-up text and validate its structure according to a document type
speci cation, we may start thinking it would be natural to be able to validate some nonstructural
issues in the documents. This paper is to formally discuss semantic-related aspects.
In that context, we introduce a domain speci c language developed for such a purpose: XCSL.
XCSL is not just a language, it is also a processing model. Furthermore, we discuss the general
philosophy underlying the proposed approach, presenting the architecture of our semantic validation
system, and we detail the respective processor. To illustrate the use of XCSL language
and the subsequent processing, we present two case-studies. Nowadays, we can nd some other
languages to restrict XML documents to those semantically valid | namely Schematron and
XML-Schema. So, before concluding the paper, we compare XCSL to those approaches.


Received May 2004, Revised , Editor: Alfredo Viola
Full paper, 29 pages [ PDF, 550 Kb ]