Made available in DSpace on 2014-06-12T16:00:27Z (GMT). No. of bitstreams: 2 arquivo6612_1.pdf: 998214 bytes, checksum: 37168127b49fe5fb921f3184b29a9612 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Web services têm desempenhado um importante papel no desenvolvimento de aplicações distribuídas. Em particular, a possibilidade de composição de serviços já implementados com o intuito de prover uma nova funcionalidade se constitui uma abordagem interessante para a construção de sistemas distribuídos e de processos de negócios (business processes), na medida em que diminui o tempo total de desenvolvimento e promove a reusabilidade de serviços já testados e utilizados. A possibilidade de realizar a composição de web services de forma dinâmica, em tempo de execução, aparece nesse contexto com uma elevada importância. A composição dinâmica permite que mudanças sejam percebidas pelo sistema durante a sua execução, sem a necessidade de reinicialização de sistemas, o que poderia levar a indisponibilidade do serviço e a possível perda de clientes. Algumas propostas têm surgido para composição dinâmica de web services, mas elas não adotam especificações já estáveis e notadamente difundidas, como WS-BPEL. Ao mesmo tempo, estas propostas usualmente implicam em modificações nas regras da especificação dos processos de negócios, dificultando ainda mais a implementação do sistema. Este trabalho propõe uma nova abordagem para possibilitar a adaptabilidade na composição de web services através de modificações na semântica da primitiva de invocação de serviços, mantendo a sintaxe do principal padrão existente para este fim (WS-BPEL) inalterada. A partir das modificações propostas, programadores podem definir composições dinâmicas de web services sem alterar o código fonte da aplicação. Como implementar a adaptação passa a ser tarefa do ambiente e não do programador, o que torna esta tarefa mais transparente para o mesmo. Por fim, a adaptabilidade surgiria como mais uma possibilidade no projeto, mantendo todas as outras características da composição inalteradas

Made available in DSpace on 2014-06-12T16:00:45Z (GMT). No. of bitstreams: 2 arquivo6946_1.pdf: 2936868 bytes, checksum: 385f753c6b8c624fde65aed76f1ebf6a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Os conceitos de SOA (Service Oriented Architecture) e composição de serviços estão cada vez mais presentes nas soluções de softwares. A composição de serviços permite que serviços sejam criados a partir da utilização de outros serviços e disponibilizados por terceiros. Neste contexto, a especificação requisitos não funcionais relacionados aos serviços de uma composição e a busca de serviços que atendam esses requisitos é essencial tanto para o rápido desenvolvimento de uma composição quanto para que o arquiteto de soluções tenha uma maior confiabilidade dos serviços que ele utiliza. Projetar, implantar e executar composição de serviços e os seus requisitos não funcionais associados são atividades naturalmente complexas. Isso ocorre porque estas atividades normalmente envolvem múltiplas partes interessadas, incluindo especialistas no domínio de negócio, especialistas nos requisitos não funcionais, desenvolvedores de serviços e equipe de TI. Além disto, enquanto ambientes de modelagem de processos de negócio são comuns, não há nenhum ambiente de desenvolvimento de um processo de negócio que inclua aspectos não funcionais. Este trabalho propõe uma ferramenta de modelagem de composição de serviços em BPMN (Business Process Modeling Notation) com anotações de requisitos não funcionais. A principal contribuição deste trabalho é o desenvolvimento de um ambiente, chamado Sec-MoSC Editor (Security for Model-oriented Service Composition Editor), onde processos de negócios com anotações de requisitos não funcionais são especificados. O Sec-MoSC Editor é também responsável por gerar um artefato com todas as anotações (serviços e aspectos não funcionais) utilizado como base para geração de código executável da composição

Made available in DSpace on 2015-03-05T14:01:20Z (GMT). No. of bitstreams: 0 Previous issue date: 19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Composição de serviços em dispositivos móveis está se tornando indispensável para as atuais e futuras necessidades dos usuários de TI. Estas necessidades são suportadas pela convergência de arquiteturas centralizadas para arquiteturas distribuídas que estimulam a composição de serviços web. Estes serviços web, motivados pela arquitetura Web Services, logo evoluíram para SOA. Esta arquitetura por sua vez, no contexto de orquestração de serviços, tem exigido linguagens de composição para sua efetiva implementação. Linguagens estas, que têm progredido para linguagens interpretadas e declarativas. Neste contexto de evolução, este trabalho apresenta, uma linguagem declarativa de composição de serviços chamada inSOA. Esta linguagem foi desenvolvida para ser executada em dispositivos móveis como parte de um projeto de uma arquitetura ubíqua colaborativa chamada de U-SOA. inSOA é uma solução focada em Web Services com vocação SOA e aderente aos patterns de composição de serviços, além de poder ser embutida em lin / Services composition on mobile devices is becoming essential for current and future needs of IT users. These needs are supported by the convergence from centralized to distributed architectures that encourage the web services composition. These web services, motivated by the Web Services architecture, soon evolved into an SOA. This architecture in turn, in the services orchestration, has required composition language for their effective implementation. These languages, has advanced to interpreted and declarative languages. In this evolution context, this work presents, a declarative language of services composition services called inSOA. This language was developed to execute on mobile devices as part of a project of a collaborative ubiquitous architecture called USOA. InSOA is a solution focused on Web Services and SOA adherent to the patterns of services composition, and can be embedded in a language of general purpose and light in the better DSL languages style. As a way to test and evaluate the langu

O teste de programas concorrentes é essencial para assegurar a qualidade das atuais aplicações distribuídas/paralelas em desenvolvimento. Apesar de ser essencial, essa atividade de teste é dificilmente empregada adequadamente, devido a fatores como: alto custo de execução, grande lacuna entre desenvolvedores e resultados de pesquisas em testes para programas concorrentes e acesso às ferramentas de teste de programas concorrentes que automatizem/viabilizem o emprego do teste. Este projeto visa definir os parâmetros da atividade de teste estrutural de programas concorrentes que nortearão a composição de diferentes serviços na Web. Tais serviços dão suporte à atividade de teste estrutural de programas concorrentes, estabelecendo fronteiras claras em ferramentas de teste para os módulos relativos ao modelo de teste, aos critérios de teste, à linguagem de programação e aos paradigmas de sincronização. Desse modo, novas ferramentas de teste poderão ser construídas de maneira mais flexível, com menos custo de desenvolvimento e com mais eficácia. Tal abordagem traz como benefícios diretos: (1) facilitar a interação entre os setores da indústria, ensino e pesquisa que estejam interessados no desenvolvimento de programas concorrentes com qualidade; (2) diminuir os custos de instalação e manutenção de ferramentas de teste estrutural pelos desenvolvedores; (3) facilitar a incorporação da atividade de teste de programas concorrentes no ciclo de desenvolvimento das aplicações distribuídas e paralelas; (4) aumentar a abrangência do projeto TestPar, permitindo que novos usuários (desenvolvedores, professores e outros grupos de pesquisa) possam utilizar facilmente os conhecimentos gerados no projeto; e (5) realimentar o projeto TestPar com novas demandas qualificadas, estas advindas de novos programas concorrentes submetidos para teste. / Testing of concurrent programs is essential to ensure the quality of todays distributed/parallel applications in development. Although it is essential that testing activity is hardly properly employed, due to factors such as high cost of implementation, big gap between developers and research results in tests for competing programs and access to competing software testing tools to automate / enable the test job. This project aims to define the parameters of structural testing activity of concurrent programs that will guide the composition of different Web services. These services support the structural testing activity of concurrent programs, establishing clear boundaries in test tools for the modules related to the test model, the test criteria, the programming and synchronization paradigms language. Thus, new test tools can be built in a more flexible way, with less development cost and more effectively. Such an approach has as direct benefits: (1) facilitate interaction between industry sectors, education and research who are interested in the development of concurrent programs with quality; (2) reduce the costs of installation and maintenance of structural testing tools for developers; (3) facilitate the incorporation of testing activity of concurrent programs in the development cycle of distributed and parallel applications; (4) increase the scope of TestPar design, allowing new users (developers, teachers and other research groups) can easily use the knowledge generated in the project; and (5) feed back into the project TestPar with new demands qualified, those arising from new concurrent programs submitted for testing.

O teste de programas concorrentes é essencial para assegurar a qualidade das atuais aplicações distribuídas/paralelas em desenvolvimento. Apesar de ser essencial, essa atividade de teste é dificilmente empregada adequadamente, devido a fatores como: alto custo de execução, grande lacuna entre desenvolvedores e resultados de pesquisas em testes para programas concorrentes e acesso às ferramentas de teste de programas concorrentes que automatizem/viabilizem o emprego do teste. Este projeto visa definir os parâmetros da atividade de teste estrutural de programas concorrentes que nortearão a composição de diferentes serviços na Web. Tais serviços dão suporte à atividade de teste estrutural de programas concorrentes, estabelecendo fronteiras claras em ferramentas de teste para os módulos relativos ao modelo de teste, aos critérios de teste, à linguagem de programação e aos paradigmas de sincronização. Desse modo, novas ferramentas de teste poderão ser construídas de maneira mais flexível, com menos custo de desenvolvimento e com mais eficácia. Tal abordagem traz como benefícios diretos: (1) facilitar a interação entre os setores da indústria, ensino e pesquisa que estejam interessados no desenvolvimento de programas concorrentes com qualidade; (2) diminuir os custos de instalação e manutenção de ferramentas de teste estrutural pelos desenvolvedores; (3) facilitar a incorporação da atividade de teste de programas concorrentes no ciclo de desenvolvimento das aplicações distribuídas e paralelas; (4) aumentar a abrangência do projeto TestPar, permitindo que novos usuários (desenvolvedores, professores e outros grupos de pesquisa) possam utilizar facilmente os conhecimentos gerados no projeto; e (5) realimentar o projeto TestPar com novas demandas qualificadas, estas advindas de novos programas concorrentes submetidos para teste. / Testing of concurrent programs is essential to ensure the quality of todays distributed/parallel applications in development. Although it is essential that testing activity is hardly properly employed, due to factors such as high cost of implementation, big gap between developers and research results in tests for competing programs and access to competing software testing tools to automate / enable the test job. This project aims to define the parameters of structural testing activity of concurrent programs that will guide the composition of different Web services. These services support the structural testing activity of concurrent programs, establishing clear boundaries in test tools for the modules related to the test model, the test criteria, the programming and synchronization paradigms language. Thus, new test tools can be built in a more flexible way, with less development cost and more effectively. Such an approach has as direct benefits: (1) facilitate interaction between industry sectors, education and research who are interested in the development of concurrent programs with quality; (2) reduce the costs of installation and maintenance of structural testing tools for developers; (3) facilitate the incorporation of testing activity of concurrent programs in the development cycle of distributed and parallel applications; (4) increase the scope of TestPar design, allowing new users (developers, teachers and other research groups) can easily use the knowledge generated in the project; and (5) feed back into the project TestPar with new demands qualified, those arising from new concurrent programs submitted for testing.

Made available in DSpace on 2014-06-12T15:56:46Z (GMT). No. of bitstreams: 2 arquivo2988_1.pdf: 2842413 bytes, checksum: d963a6e447928b61911d961e05157164 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Associação para Promoção da Excelência do Software Brasileiro / A composição de serviços é uma das áreas de maior interesse de pesquisa da atualidade. A motivação geral para composição de serviços está relacionada a dois pontos principais: possibilidade de criação de serviços mais elaborados a partir de serviços já existentes e a possibilidade de integração de negócios. Na prática, a composição permite que serviços de diferentes provedores sejam colocados juntos para criar serviços mais sofisticados. A importância da composição de serviços tem sido reconhecida na comunidade de pesquisa da Internet devido a sua flexibilidade na construção de aplicações a partir de serviços primitivos e de uma forma plug-and-play. A composição expressa em WS-BPEL ou qualquer outra linguagem para a execução de processo de negócio requer um ambiente específico para executar. Este ambiente é fornecido pelas engines de execução de processo de negócio. A engine é responsável pelo controle dos web services que formam uma composição e pela coordenação das diversas transações entre eles. Devido à crescente necessidade de incorporar requisitos não funcionais na composição de serviços, em especial requisitos de segurança, foi demandado uma nova necessidade de suporte à estes requisitos nas engines de orquestração. O suporte fornecido pelas engines existentes pode variar, sendo que para cada requisito de segurança em especial (e.g. Criptografia) a engine pode fornecer suporte completo, parcial ou até nenhum suporte para realizar este requisito. Este trabalho propõe uma engine para prover requisitos de segurança para composição de serviços em tempo de execução. A engine proposta, chamada SecMosc-Engine, é responsável por fornecer mecanismos de segurança que não sejam disponibilizados pelos módulos de segurança integrados nas engines de orquestração, sendo que este suporte pode ser total ou parcial. O grande diferencial desta proposta é o fato dela ser baseada numa abordagem não intrusiva visando manter o código fonte das engines de orquestração inalterado o máximo possível. Por fim, e não menos importante, a SecMosc- Engine também é responsável por gerar, a partir de artefatos independentes de plataforma, o código executável (WS-BPEL) de um processo de negócio originalmente expresso em BPMN com anotações de segurança

Made available in DSpace on 2014-06-12T16:01:20Z (GMT). No. of bitstreams: 2 arquivo8451_1.pdf: 2875255 bytes, checksum: 742b167ac5ca2801d819d5cc5058cfc4 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / A constante necessidade em reduzir o time-to-market tem obrigado as empresas a buscar novas alternativas para o desenvolvimento de software que possibilitem atender às demandas impostas pelo mercado. A Computação Orientada a Serviços (COS) é um paradigma que tem ganhado espaço nesse contexto, pois o conceito de serviço presente nessa abordagem suporta o desenvolvimento rápido, de baixo custo e baseado em reuso. Um dos desafios atuais da COS é encontrar uma metodologia que possa dar suporte ao desenvolvimento de aplicações seguindo este paradigma. Algumas metodologias têm sido propostas nos últimos anos, porém nenhuma delas define seus processos com base na atividade de composição de serviços, que é fundamental para o reuso. Diante desse contexto, este trabalho apresenta uma metodologia para desenvolvimento de software orientado a serviços com foco na atividade de composição de serviços. Para demonstrar a aplicabilidade da metodologia, um exemplo é apresentado e seus resultados discutidos

Made available in DSpace on 2014-06-12T16:01:30Z (GMT). No. of bitstreams: 2 arquivo9415_1.pdf: 2190260 bytes, checksum: 2972a41af6edc33657e680fccdd03a29 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / O surgimento da Computação Orientada a Serviços (COS) como um novo paradigm de programação trouxe muitas características boas, como permitir a programação em massa, integração mais fácil entre sistemas de empresas diferentes, escalabilidade, mas, principalmente, o foco na lógica de mais alto nível do negócio. Mas, enquanto este foco na lógica do negócio é mais produtivo e muito crucial aos usuários de negócio que não possuem conhecimento tecnológico (e de fato, não precisam dele), ainda há uma brecha semântica entre o que o usuário descreve na lógica de negócio e no que realmente é executado na máquina. Neste contexto, apresentamos a Ferramenta de Tradução Sec-MoSC, uma abordagem proposta para evitar esta brecha, responsável por fazer a tradução entre modelos de processo de negócio alto-nível e processos executáveis. Dois avanços principais são extraídos deste trabalho: uma forma mais fácil e reusável de criar novos artefatos de tradução e a incorporação de requisitos não-funcionais (como segurança) no processo de tradução modelagem-para-execução, especificamente, com uma implementação para as duas linguagens mais usadas para modelar e executar processos de negócio, respectivamente, BPMN e BPEL

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-06-06T14:42:22Z No. of bitstreams: 1 tadeumoreiradeclasse.pdf: 5636803 bytes, checksum: a28f2a0488598d50967e649ffd80c56e (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-06-07T11:02:30Z (GMT) No. of bitstreams: 1 tadeumoreiradeclasse.pdf: 5636803 bytes, checksum: a28f2a0488598d50967e649ffd80c56e (MD5) / Made available in DSpace on 2017-06-07T11:02:30Z (GMT). No. of bitstreams: 1 tadeumoreiradeclasse.pdf: 5636803 bytes, checksum: a28f2a0488598d50967e649ffd80c56e (MD5) Previous issue date: 2014-03-13 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Grandes mudanças estão acontecendo no contexto de pesquisas científicas. Em particular, existe uma maior colaboração entre os pesquisadores, o que leva ao aumento do uso de técnicas de processamento e a necessidade de compartilhar resultados e observações, e a partir disso, construir e executar modelos científicos. Entretanto, encontrar e/ou especificar aplicações científicas não é tão trivial e muitos cientistas não possuem o conhecimento computacional necessário para compor seus estudos experimentais. Nesse sentido, utilizando tecnologias como web semântica e redes ponto a ponto aplicados ao contexto de e-Science, o objetivo desta dissertação é desenvolver uma plataforma de acesso onde os pesquisadores possam trabalhar com informações heterogêneas, acessando comunidades científicas de acordo com seus interesses, e criar novos experimentos baseados na composição de serviços web semânticos. Este trabalho apresenta a abordagem e-ScienceNet, que é uma rede ponto a ponto semântica para auxiliar os cientistas em suas pesquisas. A partir da proposta arquitetural, um protótipo foi especificado e utilizado em quatro provas de conceito. Por meio das provas de conceito foi possível obter indícios da viabilidade do uso da e-ScienceNet, auxiliando e facilitando o desenvolvimento de experimentos científicos pelos cientistas, fornecendo ainda, mecanismos de compartilhamento e pesquisa de recursos. Porém, uma avaliação criteriosa em um ambiente real ainda é necessária. / Significant changes are occurring in scientific scenario. In particular, there is a higher collaboration among the researchers, which leads to increase the use of processing techniques and the necessity of sharing results and observations, and with that, building and executing scientific experiments. However, finding and/or specifying scientific applications is not trivial and many scientists lack the computational knowledge necessary to compose their experiments Using technologies as semantic web and peer to peer networks in the eScience context, the objective of this work is to develop a platform where the researchers can work with heterogeneous information, accessing scientific communities according to their interests, and creating new experiments based on composition of semantic web services. This work presents the e-ScienceNet approach, which is a semantic peer to peer network, to help scientists in their research. Considering the architectural model, a prototype was specified, which was used in four "Proof of Concept" (PoC). These proofs of concepts aims to obtain evidences of the viability of the use of this proposal on scientific scenarios. From these proofs of concepts, it was possible to obtain evidences of the viability of use of the e-ScienceNet, assisting and facilitating the development of scientific experiments while still providing mechanisms for sharing and searching for resources. However, an evaluation in a real environment is still needed.

Composição de serviços é um tópico que tem atraído cada vez mais o interesse por parte de pesquisadores na área de sistemas distribuídos. Além disso, o interesse por ambientes baseados em nuvem tem crescido significativamente conforme o seu uso aumenta e se firma como um importante modelo de negócios. Coreografias são formas de composições de serviços em que não há pontos centrais de falha; a responsabilidade da sua execução é distribuída entre os vários serviços componentes. Devido à natureza distribuída do fluxo de informações e dados de controle, o cumprimento de \\textit{Service Level Agreements} (SLAs) depende estritamente do monitoramento da Qualidade de Serviços (QoS), recursos virtuais da nuvem e mecanismos de reconfiguração dinâmica, capazes de automaticamente adaptar composições a mudanças de estado no sistema. Nesta dissertação, abordamos o estudo do gerenciamento de QoS em coreografias de serviços. Para isso desenvolvemos um sistema de middleware capaz de implantar e gerenciar o QoS de composições. Este teve seu desempenho avaliado utilizando o serviço Amazon EC2. Os resultados da avaliação mostram que com pouco esforço por parte dos desenvolvedores de composições, é possível cumprir o SLA de composições dentro do esperado utilizando escalabilidade horizontal ou vertical provida pelo middleware automaticamente. Adicionalmente, a nossa proposta traz economias em relação ao custo de implantação pois diminui a quantidade de recursos subutilizados. / Service composition has been a hot topic that has attracted the interesting of researchers in the distributed system area. Moreover, the interesting in cloud computing based environment has grown significantly. Its use has grown and it became to be a important business model. Choreographies are an specific kind of service composition that has no single point of failure; the responsibility of execution is distributed among the services. Due to the distributed nature of the these systems, the fulfilment of Service Level Agreements (SLAs) depends strictly on and automatic way to monitoring Quality of Service (QoS) and virtual computional resources as well as dinamic reconfiguration mechanisms, to be capable of automatically adapting compositions to changing environment. In this work, we studied QoS management in service choreographies. In order, we devised a middleware system capable of deploy service compositions and manage QoS of them. The middleware was evaluated using the Amazon EC2 cloud provider. The results shows that with less effort from the composition providers, it is possible to fulfil SLAs using horizontal or vertical scalability provided by the middleware automatically. Additionaly, our proposal brings up a cost reduction of deploy by decreasing the amount of underused resources.