Certificação de composições de serviços web semânticos

Detalhes bibliográficos
Ano de defesa: 2014
Autor(a) principal: Pessini, Evando Carlos
Orientador(a): Musicante, Martin Alejandro
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal do Rio Grande do Norte
Programa de Pós-Graduação: PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO
Departamento: Não Informado pela instituição
País: Brasil
Palavras-chave em Português:
Área do conhecimento CNPq:
Link de acesso: https://repositorio.ufrn.br/jspui/handle/123456789/19640
Resumo: Esta tese apresenta um método de certificação de composições de serviços web semânticos, o qual visa assegurar estaticamente sua correção funcional. O método de certificação consiste em duas dimensões de verificação, denominadas base e funcional. A dimensão base é centrada na verificação da correta aplicação dos serviços web semânticos na composição, i.e., visa certificar que as invocações de serviço especificadas na composição estão em conformidade com as respectivas definições dos serviços. A certificação desta dimensão explora a compatibilidade semântica entre os argumentos dados na invocação e os parâmetros formais do serviço web semântico. A dimensão funcional visa certificar que a composição cumpre uma dada especificação expressa na forma de pré e pós-condições. Esta dimensão é formalizada através de um cálculo baseado na lógica de Hoare. Especificações de correção parciais envolvendo composições de serviços web semânticos podem ser derivadas a partir do sistema dedutivo proposto. Este trabalho caracteriza-se também por explorar o emprego de um fragmento da lógica descritiva, i.e., ALC, para expressar as especificações de correção parciais. Como forma de operacionalizar o método de certificação, foi desenvolvido um ambiente de suporte para a definição das composições de serviços web semânticos, assim como os mecanismos necessários para realizar a certificação. O método de certificação foi avaliado experimentalmente através da aplicação em três provas de conceito diferentes. As provas de conceito desenvolvidas possibilitaram avaliar de forma ampla o método de certificação proposto