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

Made available in DSpace on 2015-04-14T14:50:24Z (GMT). No. of bitstreams: 1 384165.pdf: 1580092 bytes, checksum: 377fad4fd008fe58ab0fb2ac7d2bc4ae (MD5) Previous issue date: 2005-11-18 / A integra??o de aplica??es pode ser identificada como uma tarefa vital devido a muitos dos requisitos dos sistemas de informa??o envolverem a comunica??o com diferentes parceiros (ex. clientes, fornecedores, aplicativos internos) em tempo real. Por?m, o desenvolvimento dessa interoperabilidade ? caro e consome tempo. Web Services fornecem uma solu??o interessante com rela??o a esses problemas, permitindo aos sistemas trocarem informa??o com um pequeno esfor?o de integra??o e maior flexibilidade. Por?m, ainda existem problemas em aberto na integra??o de sistemas com Web Services. A interopera??o com base em mensagens desacopla os sistemas, focando no controle sobre as intera??es do sistema e a troca de informa??o. Dessa forma, ela ajuda a resolver alguns dos problemas encontrados na integra??o direta de sistemas tradicional. A WS-Notification ? uma padroniza??o de troca de mensagens para Web Services, composta por um conjunto de especifica??es abertas que usam Web Services para trocar informa??es atrav?s de mensagens ass?ncronas. Por?m, muitos sistemas de informa??o (legados) n?o est?o preparados para interoperar com outros sistemas atrav?s de mensagens e, conseq?entemente, necessitam ser adaptados especialmente para este tipo de integra??o. Este trabalho prop?e uma Infra-Estrutura de integra??o que guia a adapta??o de sistemas de informa??o tradicionais e suas integra??es, considerando a padroniza??o WS-Notification. O projeto da Infra-Estrutura proposta tem base em quest?es identificadas que necessitam ser tratadas para a integra??o de sistemas usando mensagens de notifica??o. Padr?es arquiteturais e de projeto que podem ser aplicados para resolver essas quest?es foram identificados, resultando na defini??o de um conjunto de componentes que, juntos, formam a Infra-Estrutura de integra??o. A Infra-Estrutura ? detalhada em termos de seus componentes, das quest?es que ela trata, bem como dos seus relacionamentos com outros componentes e sistemas aos quais ela ? integrada. A Infra-Estrutura foi aplicada em tr?s estudos de caso com diferentes quest?es de integra??o e uma an?lise de desempenho preliminar foi desenvolvida.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-07-27T17:56:43Z No. of bitstreams: 1 DIS_RAMAO_TIAGO_TIBURSKI_COMPLETO.pdf: 2123547 bytes, checksum: e9ad13edc13527a81d422052d71a67fa (MD5) / Made available in DSpace on 2016-07-27T17:56:43Z (GMT). No. of bitstreams: 1 DIS_RAMAO_TIAGO_TIBURSKI_COMPLETO.pdf: 2123547 bytes, checksum: e9ad13edc13527a81d422052d71a67fa (MD5) Previous issue date: 2016-03-16 / The evolution of the Internet of Things (IoT) requires an infrastructure of systems that can provide services for devices abstraction and data management, and also support the development of applications. IoT middleware has been recognized as the system that can provide this necessary infrastructure of services and has become increasingly important for IoT over the last years. The architecture of an IoT middleware is usually based on SOA (Service-Oriented Architecture) standard and has security requirement as one of its main challenges. The large amount of data that flows in this kind of system demands security services able to ensure data protection in the entire system. In addition, some IoT applications, mainly those from e-health environments, have brought new requirements in terms of secure communication and acceptable response time for critical services. Although IoT middleware technologies have been used to cope with the most relevant requirements demanded by different IoT applications, security is a special topic that is not mature enough in this kind of technology. The security challenges regarding e-health scenarios are concentrated mainly on issues surrounding the communication layer, specially those cases in which patient data are transmitted in open networks where they are more vulnerable to attacks. In this sense, there is a need for ensure data confidentiality and integrity in middleware system layers to enable a reliable understanding of a patient current life state. This work proposes the definition of four security services focused on data protection in order to minimize security problems found in SOA-based IoT middleware systems. We implemented only one of these services (CCP - Communication Channel Protection) which is composed of two security approaches: TLS and DTLS. Both approaches are known security protocols able to provide confidentiality, integrity, and authenticity. The implemented service was focused on protecting data transmission in an IoT middleware system (COMPaaS - Cooperative Middleware Platform as a Service) and was validated through a specific e-health scenario. The main goal was to verify if our security implementations compromise, in terms of response time, the communication performance of the middleware system, which is the key requirement of the e-health scenario. Tests revealed a satisfactory result since the implemented approaches respected the response time requirement of the application and protected the transmitted data. / A evolu??o da IoT (do ingl?s, Internet of Things) requer uma infra-estrutura de sistemas que seja capaz de fornecer servi?os tanto para abstra??o de dispositivos e gerenciamento de dados, quanto para suporte ao desenvolvimento de aplica??es. Middleware para IoT tem sido reconhecido como o sistema capaz de prover esta infra-estrutura necess?ria de servi?os e vem se tornando cada vez mais importante para a Internet das Coisas ao longo dos ?ltimos anos. A arquitetura de um sistema de middleware para IoT geralmente est? baseada no padr?o SOA (do ingl?s, Service-Oriented Architecture) e tem o requisito de seguran?a como um dos seus principais desafios. A grande quantidade de dados que trafega nesse tipo de sistema exige servi?os de seguran?a capazes de garantir a prote??o dos dados em toda a extens?o do sistema. Al?m disso, algumas aplica??es para IoT, pricipalmente aquelas voltadas para ambientes de sa?de, fizeram surgir novos requisitos em termos de comunica??o segura e tempo de resposta aceit?vel para servi?os cr?ticos. Embora diversas tecnologias de middleware para IoT t?m sido utilizadas para lidar com os requisitos mais relevantes exigidos pelas diferentes aplica??es existentes para IoT, seguran?a ainda ? um tema especial que n?o est? maduro o suficiente neste tipo de tecnologia. Os desafios de seguran?a relacionados ? cen?rios de sa?de est?o concentrados, principalmente, nas quest?es relacionadas com a camada de comunica??o, especialmente nos casos em que dados de pacientes s?o transmitidos em redes abertas, onde s?o mais vulner?veis a ataques. Neste sentido, existe a necessidade de garantir confidencialidade e integridade de dados nas camadas do middleware para permitir um entendimento mais confi?vel a respeito do estado de vida de um paciente. Este trabalho prop?e a defini??o de quatro servi?os de seguran?a voltados para prote??o de dados a fim de minimizar os problemas de seguran?a encontrados em sistemas de middleware para IoT baseados em SOA. Apenas um dos servi?os de seguran?a propostos foi implementado neste trabalho (o CCP - Communication Channel Protection), o qual ? um servi?o composto pela implementa??o de dois protocolos de seguran?a: TLS e DTLS. Ambas abordagens est?o baseadas em protocolos de seguran?a j? conhecidos e capazes de garantir confidencialidade, integridade e autenticidade. O servi?o implementado visa proteger a transmiss?o de dados em um sistema de middleware para IoT (COMPaaS - Cooperative Middleware Platform as a Service), e foi validado atrav?s de um cen?rio de aplica??o espec?fico para a ?rea da sa?de. O principal objetivo da valida??o foi verificar se as implementa??es dos servi?os de seguran?a estavam comprometendo, em termos de tempo de resposta, o desempenho das camadas de comunica??o dos sistemas do middleware COMPaaS, o qual ? o requisito fundamental do cen?rio de sa?de. Testes revelaram resultados satisfat?rios visto que as abordagens implementadas respeitaram o requisito de tempo de resposta da aplica??o e protegeram os dados transmitidos.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-03-09T23:06:18Z No. of bitstreams: 1 JoseAlexMedeirosDeLima_DISSERT.pdf: 2415458 bytes, checksum: 5a42b81151bcf9ace7867b8305c4dc65 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-03-11T19:45:39Z (GMT) No. of bitstreams: 1 JoseAlexMedeirosDeLima_DISSERT.pdf: 2415458 bytes, checksum: 5a42b81151bcf9ace7867b8305c4dc65 (MD5) / Made available in DSpace on 2016-03-11T19:45:39Z (GMT). No. of bitstreams: 1 JoseAlexMedeirosDeLima_DISSERT.pdf: 2415458 bytes, checksum: 5a42b81151bcf9ace7867b8305c4dc65 (MD5) Previous issue date: 2015-02-27 / Alta confiabilidade, disponibilidade e toler?ncia ? falha ainda s?o problemas em aberto em arquiteturas orientadas a servi?os (SOA). A possibilidade de gera??o de aplica??es de software, integrando servi?os de dom?nios heterog?neos, de uma forma mais confi?vel, faz valer a pena enfrentar os desafios inerentes a esse paradigma. Para garantir a qualidade na composi??o desses servi?os, algumas pesquisas se esfor?am para propor a ado??o de t?cnicas de verifica??o para identificar e corrigir os erros. Nesse contexto, manipula??o de exce??o ? um poderoso mecanismo para incrementar a qualidade em SOA. Diversos trabalhos de pesquisa s?o concentrados em mecanismos para propaga??o de exce??o em servi?os web, implementados em muitas linguagens e frameworks. No entanto, para a extens?o do nosso conhecimento, n?o s?o encontrados trabalhos que avaliam esses mecanismos em SOA no que diz respeito ao framework .NET. A principal contribui??o desse trabalho ? avaliar e propor mecanismos de propaga??o de exce??o em SOA para aplica??es desenvolvidas com o framework .NET. Nessa dire??o, esse trabalho: (i) estende um estudo anterior, mostrando a necessidade de se propor uma solu??o para a propaga??o de exce??o em SOA para aplica??es desenvolvidas em .NET, e (ii) apresenta uma solu??o, tomando como base um modelo obtido a partir dos resultados encontrados em (iii) e implementa e avalia a solu??o proposta em duas aplica??es reais. / High dependability, availability and fault-tolerance are open problems in Service-Oriented Architecture (SOA). The possibility of generating software applications by integrating services from heterogeneous domains, in a reliable way, makes worthwhile to face the challenges inherent to this paradigm. In order to ensure quality in service compositions, some research efforts propose the adoption of verification techniques to identify and correct errors. In this context, exception handling is a powerful mechanism to increase SOA quality. Several research works are concerned with mechanisms for exception propagation on web services, implemented in many languages and frameworks. However, to the extent of our knowledge, no works found evaluates these mechanisms in SOA with regard to the .NET framework. The main contribution of this paper is to evaluate and to propose exception propagation mechanisms in SOA to applications developed within the .NET framework. In this direction, this work: (i)extends a previous study, showing the need to propose a solution to the exception propagation in SOA to applications developed in .NET, and (ii) show a solution, based in model obtained from the results found in (i) and that will be applied in real cases through of faults injections and AOP techniques.

Made available in DSpace on 2014-12-17T15:48:10Z (GMT). No. of bitstreams: 1 SidneySM_DISSERT.pdf: 1456214 bytes, checksum: c5c3a8fc051effaff1597d26ba83ee87 (MD5) Previous issue date: 2013-12-12 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Web services are computational solutions designed according to the principles of Service Oriented Computing. Web services can be built upon pre-existing services available on the Internet by using composition languages. We propose a method to generate WS-BPEL processes from abstract specifications provided with high-level control-flow information. The proposed method allows the composition designer to concentrate on high-level specifi- cations, in order to increase productivity and generate specifications that are independent of specific web services. We consider service orchestrations, that is compositions where a central process coordinates all the operations of the application. The process of generating compositions is based on a rule rewriting algorithm, which has been extended to support basic control-flow information.We created a prototype of the extended refinement method and performed experiments over simple case studies / Os servi?os web s?o solu??es computacionais criadas de acordo com os princ?pios da Com- puta??o Orientada a Servi?os e disponibilizadas via Internet. Novos servi?os web podem surgir a partir outros pr?-existentes, utilizando linguagens de composi??o. Considerando orquestra??es de servi?os, onde existe um processo central que coordena todas as opera- ??es da aplica??o, propomos um m?todo para gera??o de processos WS-BPEL, a partir de especifica??es abstratas dotadas de informa??es de controle. O m?todo proposto permite ao projetista da composi??o se concentrar em especifica??es de alto n?vel, aumentando sua produtividade e gerando especifica??es independentes de servi?os web espec?ficos. O processo de gera??o de composi??es se baseia em um algoritmo de reescrita de regras, que foi estendido para dar suporte a informa??es de controle b?sicas. Criamos um prot?tipo do m?todo de refinamento estendido e realizamos experimentos sobre estudos de caso simples

Made available in DSpace on 2014-12-17T15:48:10Z (GMT). No. of bitstreams: 1 JoseSL_DISSERT.pdf: 4125269 bytes, checksum: 88052259a19538e206fc0b62be64f6cb (MD5) Previous issue date: 2014-02-28 / Universidade Federal do Rio Grande do Norte / Web services are software units that allow access to one or more resources, supporting the deployment of business processes in the Web. They use well-defined interfaces, using web standard protocols, making possible the communication between entities implemented on different platforms. Due to these features, Web services can be integrated as services compositions to form more robust loose coupling applications. Web services are subject to failures, unwanted situations that may compromise the business process partially or completely. Failures can occur both in the design of compositions as in the execution of compositions. As a result, it is essential to create mechanisms to make the implementation of service compositions more robust and to treat failures. Specifically, we propose the support for fault recovery in service compositions described in PEWS language and executed on PEWS-AM, an graph reduction machine. To support recovery failure on PEWS-AM, we extend the PEWS language specification and adapted the rules of translation and reduction of graphs for this machine. These contributions were made both in the model of abstract machine as at the implementation level / Servi?os Web s?o unidades de software que permitem o acesso a um ou mais recursos, dando suporte ? implanta??o de processos de neg?cios na Web. Eles permitem a intera??o atrav?s de interfaces bem-definidas, utilizando-se de protocolos padr?es da Web, tornando poss?vel a comunica??o entre entidades implementadas em diferentes tipos de plataformas. Em virtude dessas caracter?sticas, Servi?os Web podem ser integrados com o objetivo de formar aplica??es mais robustas, com baixo acoplamento entre servi?os, atrav?s de composi??es. Servi?os Web est?o sujeitos a falhas, situa??es indesejadas que podem comprometer o processo de neg?cio parcialmente ou mesmo totalmente. Falhas podem ocorrer tanto na concep??o de composi??es quanto na execu??o das mesmas. Em virtude disso, ? essencial a cria??o de mecanismos que tornem a execu??o das composi??es de servi?os mais robusta e tratem falhas. Especificamente, propomos o suporte ? recupera??o de falhas em composi??es de servi?os descritas na linguagem PEWS e executadas sobre PEWS-AM, uma implementa??o criada a partir da no??o de grafos. Para o suporte ? recupera??o de falhas em PEWS-AM, estendemos as especifica??es PEWS e adaptamos as regras de tradu??o e redu??o de grafos desta m?quina. Estas contribui??es foram realizadas tanto no modelo da m?quina abstrata quanto no n?vel da implementa??o

Made available in DSpace on 2015-03-03T15:47:47Z (GMT). No. of bitstreams: 1 HandersonBM_DISSERT.pdf: 2503077 bytes, checksum: f08293a045825a9e00bb41506f0ef6e5 (MD5) Previous issue date: 2013-07-17 / Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation / Servi?os web s?o aplica??es de baixo acoplamento que utilizam documentos XML como forma de integra??o de sistemas heterog?neos. Tais documentos s?o usados em especi fica??es como SOAP, WSDL e UDDI que estabelecem, respectivamente, padr?es integrados para a representa??o de mensagens, descri??o e publica??o de servi?os, facilitando assim, a interoperabilidade de sistemas heterog?neos. Muitas vezes um s? servi?o n?o atende ?s necessidades dos usu?rios, portanto, novos sistemas podem ser concebidos a partir da composi??o de dois ou mais servi?os, motivando o desenvolvimento da SOA - arquitetura orientada a servi?os.Paralelo a esse cen?rio, tem-se a linguagem PEWS (Predicate path-Expres-sions for Web Services), que especifi ca o comportamento de como opera??es de servi?os web s?o executadas em uma composi??o de servi?os. O desenvolvimento da linguagem PEWS ? dividido em duas partes: front-end e back-end. A partir de um programa PEWS, o front-end realiza a an?lise l?xica, sint?tica e sem?ntica das composi??es e por m gera c?digo XML. O backend tem como fun??o executar a composi??o PEWS. Este trabalho visa: (i) Implementar o back-end de PEWS mediante o uso de ferramentas do .Net Framework para executar programas PEWS usando a tecnologia Windows Work ow Foundation (ii) reformular a arquitetura proposta para o sistema de tempo de execu??o da linguagem.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-02-22T21:43:01Z No. of bitstreams: 1 MarcioAlvesDeMacedo_DISSERT.pdf: 2923226 bytes, checksum: e6a66719b01ddee0f70ac0a7f964923e (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-02-23T23:10:23Z (GMT) No. of bitstreams: 1 MarcioAlvesDeMacedo_DISSERT.pdf: 2923226 bytes, checksum: e6a66719b01ddee0f70ac0a7f964923e (MD5) / Made available in DSpace on 2016-02-23T23:10:23Z (GMT). No. of bitstreams: 1 MarcioAlvesDeMacedo_DISSERT.pdf: 2923226 bytes, checksum: e6a66719b01ddee0f70ac0a7f964923e (MD5) Previous issue date: 2015-02-26 / M?quinas de redu??o de grafos, s?o tradicionalmente utilizadas na implementa??o de linguagens de programa??o. Elas permitem executar programas (representados como grafos), atrav?s da aplica??o sucessiva de regras de redu??o. A composi??o de servi?os web permite a cria??o de novos servi?os web a partir de servi?os web j? existentes. BPEL ? a linguagem padr?o para criar composi??es de servi?os web como fluxos de trabalho. No entanto, o uso de BPEL para definir composi??es que usem outras tecnologias, al?m dos servi?os web n?o ? imediato. Na maioria dos casos, quando opera??es que n?o fazem parte do dom?nio dos servi?os web precisam ser executadas nas regras de neg?cio de uma empresa, parte do trabalho ? realizado de forma ad-hoc. Permitir que opera??es oriundas de diferentes tecnologias possam fazer parte de um mesmo fluxo de trabalho auxilia a cria??o de fluxos de trabalho mais adequados ?s necessidades das organiza??es. Esta disserta??o define uma variante da linguagem BPEL para a cria??o de composi??es com opera??es de servi?os web, tarefas de big data ou opera??es definidas pelo usu?rio. O suporte a esta linguagem ? dado mediante a defini??o de uma m?quina de redu??o de grafos extens?vel, a qual permite a execu??o de programas definidos na linguagem proposta. Esta m?quina ? implementada como prova de conceito. A proposta deste trabalho ? avaliada mediante a apresenta??o de resultados experimentais. / Graph Reduction Machines, are a traditional technique for implementing functional programming languages. They allow to run programs by transforming graphs by the successive application of reduction rules. Web service composition enables the creation of new web services from existing ones. BPEL is a workflow-based language for creating web service compositions. It is also the industrial and academic standard for this kind of languages. As it is designed to compose web services, the use of BPEL in a scenario where multiple technologies need to be used is problematic: when operations other than web services need to be performed to implement the business logic of a company, part of the work is done on an ad hoc basis. To allow heterogeneous operations to be part of the same workflow, may help to improve the implementation of business processes in a principled way. This work uses a simple variation of the BPEL language for creating compositions containing not only web service operations but also big data tasks or user-defined operations. We define an extensible graph reduction machine that allows the evaluation of BPEL programs and implement this machine as proof of concept. We present some experimental results.

Made available in DSpace on 2014-12-17T15:47:50Z (GMT). No. of bitstreams: 1 JoseRSMJ.pdf: 1414617 bytes, checksum: 1d2d0cfcaa6654701268463c98f3c2e9 (MD5) Previous issue date: 2008-08-29 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / Recently the focus given to Web Services and Semantic Web technologies has provided the development of several research projects in different ways to addressing the Web services composition issue. Meanwhile, the challenge of creating an environment that provides the specification of an abstract business process and that it is automatically implemented by a composite service in a dynamic way is considered a currently open problem. WSDL and BPEL provided by industry support only manual service composition because they lack needed semantics so that Web services are discovered, selected and combined by software agents. Services ontology provided by Semantic Web enriches the syntactic descriptions of Web services to facilitate the automation of tasks, such as discovery and composition. This work presents an environment for specifying and ad-hoc executing Web services-based business processes, named WebFlowAH. The WebFlowAH employs common domain ontology to describe both Web services and business processes. It allows processes specification in terms of users goals or desires that are expressed based on the concepts of such common domain ontology. This approach allows processes to be specified in an abstract high level way, unburdening the user from the underline details needed to effectively run the process workflow / O enfoque dado ultimamente ?s tecnologias de Servi?os Web e da Web Sem?ntica tem proporcionado o desenvolvimento de v?rios projetos de pesquisa abordando, de diferentes maneiras, o tema da composi??o de servi?os Web. Entretanto, o desafio de criar um ambiente que favore?a a especifica??o de um processo de neg?cio abstrato e que seja implementado automaticamente por servi?os compostos de forma din?mica ? considerado atualmente um problema em aberto. Os padr?es WSDL e BPEL providos pela a ind?stria de software suportam apenas a composi??o manual de servi?os, pois falta a eles a sem?ntica necess?ria para que os servi?os Web sejam descobertos, selecionados e combinados por agentes de software. As ontologias de servi?o providas pela Web Sem?ntica enriquecem as descri??es sint?ticas dos servi?os Web de modo a facilitar a automa??o de tarefas, como a descoberta e a composi??o. Este trabalho prop?e um ambiente para a especifica??o e execu??o ad-hoc de processos de neg?cio baseados em servi?os Web chamado WebFlowAH. Este ambiente emprega uma ontologia de dom?nio comum para descrever tanto os servi?os Web e quanto os processos de neg?cio. Ele permite a especifica??o de processos em termos de desejos ou objetivos do usu?rio que s?o expressos por conceitos da ontologia de dom?nio comum. Tal abordagem permite que processos de neg?cio sejam especificados de maneira abstrata e de alto n?vel, liberando o usu?rio de detalhes necess?rios para executar eficazmente o workflow do processo

Made available in DSpace on 2014-12-17T15:48:07Z (GMT). No. of bitstreams: 1 DanielASC_DISSERT.pdf: 2076393 bytes, checksum: fb34be082f79ab29b3f4ace6f22d195c (MD5) Previous issue date: 2013-01-31 / Universidade Federal do Rio Grande do Norte / Web services are software accessible via the Internet that provide functionality to be used by applications. Today, it is natural to reuse third-party services to compose new services. This process of composition can occur in two styles, called orchestration and choreography. A choreography represents a collaboration between services which know their partners in the composition, to achieve the service s desired functionality. On the other hand, an orchestration have a central process (the orchestrator) that coordinates all application operations. Our work is placed in this latter context, by proposing an abstract model for running service orchestrations. For this purpose, a graph reduction machine will be defined for the implementation of service orchestrations specified in a variant of the PEWS composition language. Moreover, a prototype of this machine (in Java) is built as a proof of concept / Servi?os web s?o software acess?veis atrav?s da Internet que disponibilizam funcionalidades a serem usadas por aplica??es. Hoje, ? natural reutilizar servi?os de terceiros para compor novos servi?os. Este processo de composi??o pode acontecer em dois estilos, denominados orquestra??o e coreografia. A coreografia representa uma colabora??o entre servi?os os quais conhecem a aplica??o ? qual pertencem e o momento exato para executarem. J? a orquestra??o possui um processo central, o orquestrador, que coordena todas as opera??es da aplica??o. ? neste contexto que este trabalho se encaixa, propondo um modelo abstrato para a execu??o de orquestra??es de servi?os. Com esta finalidade, ser? definida uma m?quina de redu??o de grafos para a implementa??o de orquestra??es de servi?os especificadas em uma variante da linguagem de composi??o PEWS. Ademais, um prot?tipo desta m?quina (em Java) ser? constru?do como prova de conceito