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): Não Informado pela instituição
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
Brasil
UFRN
PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
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
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Link de acesso: https://repositorio.ufrn.br/jspui/handle/123456789/19640
Resumo: This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification
id UFRN_f90e8be0965266d2637161e5b2eebc40
oai_identifier_str oai:repositorio.ufrn.br:123456789/19640
network_acronym_str UFRN
network_name_str Repositório Institucional da UFRN
repository_id_str
spelling Certificação de composições de serviços web semânticosServiços web semânticosComposição de serviços webCorreção parcialLógica de HoareLógica descritivaCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOThis thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certificationCoordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPESEsta 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 propostoUniversidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃOMusicante, Martin Alejandrohttp://lattes.cnpq.br/3762552809419018http://lattes.cnpq.br/6034405930958244Carrano, Regina Maria MotzCosta, Umberto Souza dahttp://lattes.cnpq.br/9526809466920084Ribeiro, Cláudia Maria Fernandes Araújohttp://lattes.cnpq.br/4724141474353962Pessini, Evando Carlos2016-01-21T18:18:20Z2016-01-21T18:18:20Z2014-07-29info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfPESSINI, Evando Carlos. Certificação de composições de serviços web semânticos. 2014. 149f. Tese (Doutorado em Ciência da Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2014.https://repositorio.ufrn.br/jspui/handle/123456789/19640porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRN2017-11-03T15:53:40Zoai:repositorio.ufrn.br:123456789/19640Repositório InstitucionalPUBhttp://repositorio.ufrn.br/oai/repositorio@bczm.ufrn.bropendoar:2017-11-03T15:53:40Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false
dc.title.none.fl_str_mv Certificação de composições de serviços web semânticos
title Certificação de composições de serviços web semânticos
spellingShingle Certificação de composições de serviços web semânticos
Pessini, Evando Carlos
Serviços web semânticos
Composição de serviços web
Correção parcial
Lógica de Hoare
Lógica descritiva
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
title_short Certificação de composições de serviços web semânticos
title_full Certificação de composições de serviços web semânticos
title_fullStr Certificação de composições de serviços web semânticos
title_full_unstemmed Certificação de composições de serviços web semânticos
title_sort Certificação de composições de serviços web semânticos
author Pessini, Evando Carlos
author_facet Pessini, Evando Carlos
author_role author
dc.contributor.none.fl_str_mv Musicante, Martin Alejandro

http://lattes.cnpq.br/3762552809419018

http://lattes.cnpq.br/6034405930958244
Carrano, Regina Maria Motz

Costa, Umberto Souza da

http://lattes.cnpq.br/9526809466920084
Ribeiro, Cláudia Maria Fernandes Araújo

http://lattes.cnpq.br/4724141474353962
dc.contributor.author.fl_str_mv Pessini, Evando Carlos
dc.subject.por.fl_str_mv Serviços web semânticos
Composição de serviços web
Correção parcial
Lógica de Hoare
Lógica descritiva
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
topic Serviços web semânticos
Composição de serviços web
Correção parcial
Lógica de Hoare
Lógica descritiva
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
description This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification
publishDate 2014
dc.date.none.fl_str_mv 2014-07-29
2016-01-21T18:18:20Z
2016-01-21T18:18:20Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv PESSINI, Evando Carlos. Certificação de composições de serviços web semânticos. 2014. 149f. Tese (Doutorado em Ciência da Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2014.
https://repositorio.ufrn.br/jspui/handle/123456789/19640
identifier_str_mv PESSINI, Evando Carlos. Certificação de composições de serviços web semânticos. 2014. 149f. Tese (Doutorado em Ciência da Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2014.
url https://repositorio.ufrn.br/jspui/handle/123456789/19640
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
Brasil
UFRN
PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO
publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
Brasil
UFRN
PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRN
instname:Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
instname_str Universidade Federal do Rio Grande do Norte (UFRN)
instacron_str UFRN
institution UFRN
reponame_str Repositório Institucional da UFRN
collection Repositório Institucional da UFRN
repository.name.fl_str_mv Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)
repository.mail.fl_str_mv repositorio@bczm.ufrn.br
_version_ 1855758704955097088

Registros relacionados