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
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufrn.br:123456789/19640 |
| Date | 29 July 2014 |
| Creators | Pessini, Evando Carlos |
| Contributors | 82500304434, 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 |
| Publisher | Universidade Federal do Rio Grande do Norte, PROGRAMA DE P?S-GRADUA??O EM SISTEMAS E COMPUTA??O, UFRN, Brasil |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
| Source | reponame:Repositório Institucional da UFRN, instname:Universidade Federal do Rio Grande do Norte, instacron:UFRN |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0024 seconds