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 |