TX: validação de XML baseada em tipos dinâmicos

Desde o advento do SGML e posteriormente do XML, que a validação de documentos tem sido focada. Esta validação surgiu para analisar a estrutura dos documentos SGML e XML usando DTDs. Além dessa, e devido às restrições do XML em relação ao SGML, a validação de XML bem formado também tem sido usada. M...

ver descrição completa

Detalhes bibliográficos
Autor principal: Almeida, J. J. (author)
Outros Autores: Simões, Alberto (author)
Formato: conferencePaper
Idioma:por
Publicado em: 2004
Assuntos:
Texto completo:http://hdl.handle.net/1822/595
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/595
Descrição
Resumo:Desde o advento do SGML e posteriormente do XML, que a validação de documentos tem sido focada. Esta validação surgiu para analisar a estrutura dos documentos SGML e XML usando DTDs. Além dessa, e devido às restrições do XML em relação ao SGML, a validação de XML bem formado também tem sido usada. Mais recentemente, os Schema e Schematron vieram permitir a validação a um nível superior: não só a estrutura do documento mas também alguma validação de conteúdo. Neste artigo apresentamos a ferramenta TX que visa outro nível de validação, em que os tipos possam ser mais ricos e/ou calculados dinamicamente, e onde se possa definir funções de anotação e/ou correcção das porções do documento que não sigam as especificações.