{"id":{"repo_id":"brazil-ufrn","oai_identifier":"oai:repositorio.ufrn.br:123456789/19640"},"canonical_url":"https://search.dev.ndltd.org/etd/brazil-ufrn/oai:repositorio.ufrn.br:123456789/19640","repository":{"repo_id":"brazil-ufrn","name":"Brazil UFRN","base_url":"https://repositorio.ufrn.br/server/oai/request"},"display":{"title":"Certificação de composições de serviços web semânticos","abstract":"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","abstract_html":"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","abstract_has_math":false,"creators":["Pessini, Evando Carlos"],"institution":"Universidade Federal do Rio Grande do Norte","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Musicante, Martin Alejandro"],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014-07-29","date_published":"2014-07-29","updated_at":"2026-07-24T01:20:46Z","subjects":["Serviços web semânticos","Composição de serviços web","Correção parcial","Lógica de Hoare","Lógica descritiva"],"languages":["por"],"rights":["Acesso Aberto"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://repositorio.ufrn.br/jspui/handle/123456789/19640","outbound_label":"Repository record","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Musicante, Martin Alejandro"]},{"key":"dc:creator","label":"Author","values":["Pessini, Evando Carlos"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2016-01-21T18:18:20Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2016-01-21T18:18:20Z"]},{"key":"dc:date.issued","label":"Date","values":["2014-07-29"]},{"key":"dc:publisher","label":"Institution","values":["Universidade Federal do Rio Grande do Norte"]},{"key":"dc:type","label":"Dc Type","values":["doctoralThesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Serviços web semânticos","Composição de serviços web","Correção parcial","Lógica de Hoare","Lógica descritiva"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["por"]},{"key":"dc:rights","label":"Dc Rights","values":["Acesso Aberto"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://repositorio.ufrn.br/jspui/handle/123456789/19640"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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"]},{"key":"dc:title","label":"Title","values":["Certificação de composições de serviços web semânticos"]}]}],"canonical_facts":{"dc:contributor.advisor":["Musicante, Martin Alejandro"],"dc:creator":["Pessini, Evando Carlos"],"dc:date.accessioned":["2016-01-21T18:18:20Z"],"dc:date.available":["2016-01-21T18:18:20Z"],"dc:date.issued":["2014-07-29"],"dc:description.abstract":["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"],"dc:identifier.uri":["https://repositorio.ufrn.br/jspui/handle/123456789/19640"],"dc:language.iso":["por"],"dc:publisher":["Universidade Federal do Rio Grande do Norte"],"dc:rights":["Acesso Aberto"],"dc:subject":["Serviços web semânticos","Composição de serviços web","Correção parcial","Lógica de Hoare","Lógica descritiva"],"dc:title":["Certificação de composições de serviços web semânticos"],"dc:type":["doctoralThesis"]},"updated_at":"2026-07-24T01:20:46Z"}