Return to search

Certifica??o de composi??es de servi?os web sem?nticos

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-01-20T20:41:23Z
No. of bitstreams: 1
EvandoCarlosPessini_TESE.pdf: 1797248 bytes, checksum: e3b1bb46971f452029930068e9f8babf (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-01-21T18:18:20Z (GMT) No. of bitstreams: 1
EvandoCarlosPessini_TESE.pdf: 1797248 bytes, checksum: e3b1bb46971f452029930068e9f8babf (MD5) / Made available in DSpace on 2016-01-21T18:18:20Z (GMT). No. of bitstreams: 1
EvandoCarlosPessini_TESE.pdf: 1797248 bytes, checksum: e3b1bb46971f452029930068e9f8babf (MD5)
Previous issue date: 2014-07-29 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / 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 / 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

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.ufrn.br:123456789/19640
Date29 July 2014
CreatorsPessini, Evando Carlos
Contributors82500304434, http://lattes.cnpq.br/6034405930958244, Costa, Umberto Souza da, 72031220500, http://lattes.cnpq.br/9526809466920084, Ribeiro, Cl?udia Maria Fernandes Ara?jo, 24213519368, http://lattes.cnpq.br/4724141474353962, Carrano, Regina Maria Motz, Musicante, Martin Alejandro
PublisherUniversidade Federal do Rio Grande do Norte, PROGRAMA DE P?S-GRADUA??O EM SISTEMAS E COMPUTA??O, UFRN, Brasil
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Sourcereponame:Repositório Institucional da UFRN, instname:Universidade Federal do Rio Grande do Norte, instacron:UFRN
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0019 seconds