| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 2.43 MB | Adobe PDF |
Advisor(s)
Abstract(s)
A manutenção do conteúdo web pode ser uma tarefa difícil, especialmente se
considerarmos websites em que muitos utilizadores têm permissões para alterar o seu
conteúdo. Um exemplo deste tipo de websites são os wikis. Se por um lado permitem
rápida disseminação de conhecimento, por outro lado implicam um grande esforço
para verificar a qualidade do seu conteúdo. Nesta tese analisamos diferentes
abordagens à modelação de websites, especialmente para a verificação de conteúdo,
onde contribuímos com uma extensão à ferramenta VeriFLog para a tornar mais
adequada à verificação de conteúdos em websites colaborativos.
Imposing constraints in web site content can be a difficult task, especially when such content is edited by many different people. One example of such scenario Is open collaboration web sites such as wikis. There, many different users can add and edit content. In one hand we have a way to rapidly disseminate a considerable amount of knowledge but on the other hand we need a constant and big effort to ensure high quality standards. In the thesis we survey different approaches to model and capture website’s properties and focus on content verification where we can contribute with an extension of the VeriFLog tool with new features to enhance its application to open collaboration web sites.
Imposing constraints in web site content can be a difficult task, especially when such content is edited by many different people. One example of such scenario Is open collaboration web sites such as wikis. There, many different users can add and edit content. In one hand we have a way to rapidly disseminate a considerable amount of knowledge but on the other hand we need a constant and big effort to ensure high quality standards. In the thesis we survey different approaches to model and capture website’s properties and focus on content verification where we can contribute with an extension of the VeriFLog tool with new features to enhance its application to open collaboration web sites.
Description
Keywords
XML Web Verificação Programação em Lógica Verification Logic Programming
Citation
Publisher
Instituto Politécnico do Porto. Instituto Superior de Engenharia do Porto