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

• Ano de defesa: 2014
• Autor(a) principal: Pessini, Evando Carlos
• Orientador(a): Musicante, Martin Alejandro
• 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
• País: Brasil
• Palavras-chave em Português: Serviços web semânticos; Composição de serviços web; Correção parcial; Lógica de Hoare; Lógica descritiva
• Área do conhecimento CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
• Link de acesso: https://repositorio.ufrn.br/jspui/handle/123456789/19640

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