Made available in DSpace on 2015-04-14T14:49:55Z (GMT). No. of bitstreams: 1 444044.pdf: 1517934 bytes, checksum: 017ad238277ccab4a746e7590ed0bade (MD5) Previous issue date: 2010-03-19 / The development of distributed systems and communication protocols is not a trivial task and the use of formal specification and verification techniques becomes necessary to assure the correctness of such systems. While model-checking techniques face the state space explosion problem, the use of theorem provers is an important resource for verification of systems with unlimited number of states. The formal method Event-B, increasingly being used in both industry and academia, is based on the technique of theorem proving and also supports refinement. The contribution of this work is a library of reusable formal specification patterns, in Event-B, for message passing mechanisms commonly employed in distributed systems. A specification pattern defines the desired communication semantics of a channel, having its properties formally proven. During the development of a distributed system, the developer may use these patterns by applying guided refinement steps on the target model. The resulting system is assured to have the communication semantics as defined by the pattern, thus freeing the developer of defining the communication system from scratch and of proving its properties. / O desenvolvimento de sistemas distribu?dos e protocolos de comunica??o ? uma tarefa complexa e o uso de t?cnicas de especifica??o e verifica??o formal torna-se necess?rio para garantir a corretude de tais sistemas. Enquanto t?cnicas de model-checking passam pelo problema da explos?o do espa?o de estados, o uso de provadores de teoremas representa um importante recurso para verifica??o de sistemas com ilimitado n?mero estados. O m?todo formal Event-B, de uso crescente na ind?stria e academia, se ap?ia na t?cnica de prova de teoremas e suporta refinamento. A contribui??o deste trabalho est? em proporcionar uma biblioteca reus?vel de padr?es de especifica??o, em Event-B, de mecanismos de troca de mensagens em sistemas distribu?dos. Um padr?o de especifica??o define a sem?ntica de comunica??o desejada em um canal, demostrando formalmente suas propriedades. Durante o desenvolvimento de um sistema distribu?do, o desenvolvedor pode fazer uso destes padr?es atrav?s de passos guiados de refinamento do sistema. O sistema resultante garante a semantica de comunica??o definida no padr?o utilizado e livra o desenvolvedor de se preocupar em definir o sistema de comunica??o a partir do in?cio e provar suas propriedades.

Made available in DSpace on 2015-04-14T14:50:07Z (GMT). No. of bitstreams: 1 452041.pdf: 3001865 bytes, checksum: d5090122bc76e44c06ed1e7f31d54310 (MD5) Previous issue date: 2013-03-18 / Trust is often defined as the belief that a person will meet the positive expectations of another. The importance of trust in distributed software development has been recognized by researchers. Although several studies have discussed the subject, little is known about the impact of trust (or lack thereof) in the distributed software development project performance. In this sense, an empirical study was conducted in order to identify factors that influence trust in projects and what are the impacts of these factors on project performance indicators. This research was developed using both secondary (systematic literature review) and primary (field study and survey) research methods. The results indicate that availability, competence, experience, face-to-face communication and leadership are among the factors that positively influence performance metrics in software development projects. As a way of presenting the results of this research, we developed a preliminary theoretical model of the impact of trust in the distributed software development project performance. This model can be used by researchers as a framework to investigate the subject and by professionals to better manage and organize their distributed teams. / A confian?a ? muitas vezes definida como a cren?a de que uma pessoa ir? satisfazer as expectativas positivas de outra. A import?ncia da confian?a em projetos de desenvolvimento distribu?do de software tem sido reconhecida pelos pesquisadores. Embora v?rios estudos tenham discutido o tema, muito pouco se sabe sobre o impacto da confian?a (ou falta dela) no desempenho dos projetos de desenvolvimento distribu?do de software. Neste sentido, uma pesquisa emp?rica foi realizada com o intuito de identificar os fatores que influenciam a confian?a nos projetos e quais s?o os impactos desses fatores sobre indicadores de desempenho do projeto. Para o desenvolvimento desta pesquisa utilizou-se m?todos secund?rios (revis?o sistem?tica da literatura) e prim?rios (estudo de campo e survey) de pesquisa. Os resultados encontrados indicam que disponibilidade, compet?ncia, experi?ncia, face-a-face, comunica??o, lideran?a, est?o entre os fatores de confian?a considerados que influenciam positivamente as m?tricas de desempenho em projetos de desenvolvimento de software. Como forma de apresentar os resultados desta pesquisa, desenvolveu-se um modelo te?rico preliminar sobre o impacto da confian?a no desempenho dos projetos de desenvolvimento distribu?do de software. Tal modelo pode ser utilizado por pesquisadores como um quadro de refer?ncia para investigar o assunto e por profissionais para melhor gerenciar e organizar suas equipes distribu?das.

Made available in DSpace on 2015-04-14T14:50:16Z (GMT). No. of bitstreams: 1 462229.pdf: 2509812 bytes, checksum: eb9cb98f480c81a2e0133205abf0d60e (MD5) Previous issue date: 2014-03-17 / Distributed Software Development (DSD) is a recent area and has been growing over the last few years. As a result, a quite number of research and industrial studies have been published. However, due to the large number of terms involved in this scenario, a concept is often used wrongly, making the process of searching for empirical evidence a complex task. The DSD scenarios are diverse and what works in one context might not directly apply in another. Thus it is necessary to understand how DSD related empirical findings should be reported to be useful for practitioners and researchers. Empirical research in DSD could be refined if there was a systematic way to identify the different dimensions and characteristics for which empirical evidence applies. For this reason, the goal of this dissertation is to identify the type of context information that is relevant to researchers and practitioners in studies with empirical evidence and propose a way to systematize the empirical evidence in DSD, in order to contribute, among other things, to the future development of research in the area. For the development of this research we have used both secondary (systematic mapping study) and primary (expert opinion survey) research methods. The main contribution of this research is the taxonomy to systematize the empirical evidences generated from scientific research conducted in the DSD area. / O Desenvolvimento Distribu?do de Software (DDS) ? recente como ?rea de pesquisa e vem crescendo ao longo dos ?ltimos anos. Como resultado, um grande n?mero de pesquisas e estudos na ind?stria foi publicado. No entanto, devido a grande quantidade de termos envolvidos nesse cen?rio, muitas vezes um conceito ? utilizado de forma equivocada, tornando o processo de busca por evid?ncias emp?ricas uma tarefa complexa. Os cen?rios de DDS s?o diversos e o que se aplica em um contexto talvez n?o se aplique diretamente em outro. Dessa forma ? necess?rio entender como os resultados emp?ricos em DDS podem ser relatados para ser ?til para profissionais e pesquisadores desta ?rea. A pesquisa emp?rica na ?rea de DDS poderia ser refinada se houvesse uma maneira sistem?tica para identificar as diferentes dimens?es e caracter?sticas para o qual se aplica a evid?ncia emp?rica. Por esta raz?o, o objetivo desta disserta??o de mestrado ? identificar que tipo de informa??o de contexto ? relevante, para pesquisadores e profissionais da ind?stria, em estudos com evid?ncias emp?ricas e propor uma forma de sistematiza??o das evid?ncias emp?ricas em DDS, visando contribuir, entre outras coisas, com o desenvolvimento de novas pesquisas nesta ?rea. Para o desenvolvimento desta pesquisa utilizou-se m?todos secund?rios (revis?o sistem?tica da literatura, do tipo mapeamento sistem?tico) e prim?rios (survey com especialistas) de pesquisa. Este estudo contribui no sentido de propor uma taxonomia para sistematizar as evid?ncias emp?ricas geradas a partir das pesquisas cient?ficas conduzidas na ?rea de DDS.

Made available in DSpace on 2015-04-14T14:50:17Z (GMT). No. of bitstreams: 1 465121.pdf: 3570825 bytes, checksum: 6b189527af0bba987cbc5465ab965a18 (MD5) Previous issue date: 2012-03-28 / The Global Software Development (GSD), has been used by various companies around the world. To help these companies overcome the difficulties imposed by this type of work, the WAVE capability model was proposed. However, until the conclusion of this research, it was not possible to use the WAVE effectively in the industry, since there was none assessment method for it. This research proposes an assessment method for the WAVE capability model, and it is called 2DAM-WAVE. It allows organizations that wish to implement the best practices of WAVE, find out in which capability level they are situated. To propose this method a qualitative analysis of the existent assessment methods was made, after this, the assessment method was applied in a Brazilian unit of a global organization and on an Indian unit from another organization, by conducting of two case studies. As a result of this research an assessment method for the WAVE, entitled 2DAM-WAVE, and a support tool that helps and facilitates this assessment were developed / O Desenvolvimento Distribu?do de Software (DDS), em n?vel global, vem sendo utilizado por diversas empresas ao redor do mundo. Para auxiliar essas empresas a superar as dificuldades impostas por esse tipo de trabalho, o modelo de capacidade WAVE foi proposto. No entanto, at? a conclus?o dessa pesquisa, n?o era poss?vel utilizar o WAVE efetivamente na ind?stria, visto que ele n?o possu?a um m?todo de avalia??o. Essa pesquisa prop?e um m?todo de avalia??o para o WAVE, chamado de 2DAM-WAVE, possibilitando que as organiza??es, que desejam implementar as boas pr?ticas do WAVE, descubram em que n?vel de capacidade se encontram. Para propor esse m?todo foi realizada uma an?lise qualitativa de m?todos de avalia??o existentes, ap?s isto, o resultado foi aplicado em uma unidade brasileira de uma organiza??o global e em uma unidade indiana de outra organiza??o global, atrav?s de dois estudos de caso. Com o resultado dessa pesquisa um m?todo de avalia??o para o WAVE, intitulado 2DAM-WAVE, e uma ferramenta de apoio para conduzir e facilitar esse processo foram desenvolvidos

Made available in DSpace on 2015-04-14T14:50:25Z (GMT). No. of bitstreams: 1 384394.pdf: 1626133 bytes, checksum: 6baa56a8c0f7018d2283fd27f8605a0e (MD5) Previous issue date: 2005-01-31 / A crescente globaliza??o do ambiente de neg?cios tem afetado diretamente o mercado de desenvolvimento de software. Em busca de vantagens competitivas como baixos custos, produtividade e qualidade na ?rea de desenvolvimento de sistemas, diversas organiza??es optaram por distribuir o processo de desenvolvimento de software dentro de seu pa?s, ou em outros pa?ses, como ?ndia, China e Brasil. Entretanto, os desafios apresentados pela distribui??o da equipe envolvida no processo de software s?o significativos. Nesse contexto, a engenharia de requisitos ? uma atividade influenciada pela distribui??o das equipes. O processo de requisitos, mesmo em ambientes co-localizados, ? cr?tico no desenvolvimento de software. Ao lidar com a dist?ncia entre os envolvidos, as dificuldades com requisitos tendem a se exacerbar. Para tratar quest?es como dispers?o geogr?fica, diferen?as culturais e dificuldades de comunica??o, torna-se necess?ria a defini??o de novos processos, padr?es e ferramentas, de forma a reduzir o impacto da dispers?o das equipes na engenharia de requisitos. Nesse sentido, esta disserta??o de mestrado tem como objetivo propor um modelo de processo de engenharia de requisitos visando tratar quest?es relacionadas ao desenvolvimento distribu?do de software. O principal m?todo de pesquisa utilizado foi o estudo de caso e a base emp?rica da pesquisa envolve uma unidade de desenvolvimento de software de uma empresa multinacional de grande porte localizada no Brasil. A pesquisa contribui no sentido de propor um modelo de processo de engenharia de requisitos adequado ? realidade de equipes dispersas.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-05-04T12:25:44Z No. of bitstreams: 1 467903 - Texto Completo.pdf: 2071415 bytes, checksum: 7b9c07b7d2604d46d4b4ea8d6c7bbfac (MD5) / Made available in DSpace on 2015-05-04T12:25:44Z (GMT). No. of bitstreams: 1 467903 - Texto Completo.pdf: 2071415 bytes, checksum: 7b9c07b7d2604d46d4b4ea8d6c7bbfac (MD5) Previous issue date: 2015-03-27 / Fault tolerance has become an important mean to achieve high availability in computational systems. However, building fault tolerant architectures is not a trivial task. Reflection in Meta-level architectures has been used for years as a mean for implementation of nonfunctional requirements. In this way it is possible to have a clear separation of its implementation from the implementation of the business logic itself (functional requirements) in layers or levels. These levels have become known, respectively, as base-level and metalevel and are regularly used in nowadays systems? architecture since they bring several benefits such as increased reuse and reduced complexity, furthermore, they provide better responsibilities separation among systems? components. On the other hand, if the meta-level is a useful architecture artifice there is still the need to build the meta-level components that intend to handle fault tolerance in application?s services, the components need to be implemented and integrated to the system?s architecture, which involves some development effort and complexity. This work presents a proposal to build, automatically and in runtime, the meta-level components for fault tolerance handling in application?s services. More precisely, it intends to propose a framework ? named JFault ? which using reflection and dynamic compilation will leverage those requirements transparently and with minor changes in the system. The framework is implemented in Java, language that supports both reflection and dynamic compilation, but could be built in any programming language that supports such APIs. / Toler?ncia a falhas tornou-se um importante meio para se garantir alta disponibilidade de sistemas computacionais. No entanto, a constru??o de arquiteturas tolerantes a falhas n?o ? uma tarefa trivial. Reflex?o em arquiteturas de meta-n?vel tem sido usada h? anos como um meio para implementa??o de requisitos n?o-funcionais. Dessa forma ? poss?vel ter uma separa??o clara e em n?veis entre a implementa??o da l?gica de neg?cios do sistema (requisitos funcionais) e as relacionadas ao uso da aplica??o em termos de desempenho, usabilidade, seguran?a, disponibilidade, etc (n?o funcionais). Estes n?veis se tornaram conhecidos na literatura, respectivamente, como n?vel-base e meta-n?vel e s?o frequentemente utilizados em sistemas hoje em dia visto que trazem v?rios benef?cios como aumento de reuso de c?digo e redu??o de acoplamento entre os elementos da arquitetura, al?m de trazer uma melhor divis?o de responsabilidades entre os componentes do sistema. Por outro lado, se as arquiteturas de meta-n?vel se tornaram um artif?cio ?til, existe a necessidade de se implementar os componentes de meta-n?vel respons?veis pela cria??o de servi?os tolerantes a falhas, o que envolve esfor?o de desenvolvimento, adapta??es no sistema e geralmente adiciona certa complexidade ? arquitetura. Este trabalho apresenta uma proposta de construir, de forma autom?tica e em tempo de execu??o, os componentes de meta-n?vel para toler?ncia a falhas em servi?os de aplica??es. Mais precisamente, pretende propor um framework ? chamado JFault - que usando reflex?o e compila??o din?mica se prop?e a preencher esse requisito de forma transparente e com pequenas altera??es no sistema. O framework ? implementado em Java, linguagem que suporta tanto reflex?o como compila??o din?mica, mas poderia ser constru?do em qualquer linguagem de programa??o que suporta tais APIs.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-07-14T16:42:02Z No. of bitstreams: 1 DIS_RODRIGO_AUGUSTO_SILVA_DOS_SANTOS_COMPLETO.pdf: 4285051 bytes, checksum: b4430aa54c46e6ecf90c0564e8668d1f (MD5) / Made available in DSpace on 2016-07-14T16:42:02Z (GMT). No. of bitstreams: 1 DIS_RODRIGO_AUGUSTO_SILVA_DOS_SANTOS_COMPLETO.pdf: 4285051 bytes, checksum: b4430aa54c46e6ecf90c0564e8668d1f (MD5) Previous issue date: 2016-03-10 / [Context] Since the 1970?s, Distributed Systems have been turning into a more viable and reliable option for the implementation of information systems. Since then, their evolution continued in an accelerated pace. They now are applicable to a variety of purposes, such as online games, financial systems, cloud computational solutions, etc. It is possible then to assume that today, Distributed Systems are found everywhere, and that there is a great probability for any given in-progress software development project to be using this paradigm as part of its delivery proposal. Thus, it is relevant to study the impacts that Distributed Systems bring to the Project Management discipline. [Objectives] In this dissertation we discuss those impacts and challenges, as well as propose a Software Development Lifecycle (SDLC) and associated practices, both adapted for use within software development projects involving Distributed Systems. These practices are optimized for implementation under a Waterfall regime, but are also adaptable for use under the Scrum agile framework. [Method] At first a Systematic Mapping Study (SMS) was conducted for understanding the State-of-the-art regarding academic studies located in intersection of Project Management and Distributed Systems. Next, empirical qualitative interviews were held with members from the Information Technology Industry, aiming to confirm the SMS results as well as obtaining feedback regarding present day?s challenges of Distributed Systems Projects. Desirable countermeasures for these challenges were also being searched for. [Results] As a third and final step, a generic SDLC as well as its associated practices, both tailored for projects involving DS, were proposed in direct response to the results obtained from the qualitative interviews. The tailored practices constitute the backbone of our contributions. The presented proposals went through the process of memberchecking for validation and refinement, which led to the final version shown in this dissertation. / [Contexto] Desde os anos 1970, Sistemas Distribu?dos v?m se tornando em uma op??o cada vez mais vi?vel e confi?vel para a implementa??o de sistemas de informa??o. Desde ent?o, a evolu??o destes sistemas continuou em um ritmo acelerado. Eles atualmente s?o aplic?veis a uma variedade de prop?sitos, tais como jogos online, sistemas financeiros, solu??es computacionais em nuvem, etc. ? poss?vel ent?o assumir que nos dias de hoje, Sistemas Distribu?dos est?o em todos os lugares, e que h? uma grande probabilidade de que qualquer projeto de desenvolvimento de software em andamento esteja usando este paradigma como parte da sua proposta de entrega. Dessa forma, ? relevante o estudo dos impactos que Sistemas Distribu?dos trazem ? disciplina de Gest?o de Projetos. [Objetivos] Neste trabalho, n?s discutimos estes impactos e desafios, assim como propomos um Ciclo de Vida de Desenvolvimento de Software (SDLC) e suas pr?ticas associadas, ambos sendo adaptados para o uso em projetos de desenvolvimento de software que envolvam Sistemas Distribu?dos. As pr?ticas propostas foram otimizadas para implementa??o em um regime Cascata, sendo contudo tamb?m adapt?veis ao uso sob o framework Scrum. [M?todo] Em um primeiro momento, um Estudo de Mapeamento Sistem?tico foi conduzido para entendimento do Estado-da-arte com rela??o aos estudos acad?micos localizados na intersec??o entre Gest?o de Projetos e Sistemas Distribu?dos. A seguir, entrevistas qualitativas foram executadas com membros da ind?stria da Tecnologia da Informa??o, objetivando confirmar os resultados encontrados no Estudo de Mapeamento Sistem?tico, al?m de obter feedback relacionado aos desafios que Projetos atuais de Sistemas Distribu?dos trazem, buscando-se ainda identificar contramedidas desej?veis para mitigar ou mesmo anular tais desafios. [Resultados] Como terceiro e final passo, um SDLC gen?rico, assim como pr?ticas associadas ? ele, ambos tailorizados para projetos envolvendo sistemas distribu?dos, foram propostos como resposta direta aos resultados obtidos das entrevistas qualitativas. As pr?ticas tailorizadas mencionadas se constituem na espinha dorsal de nossas contribui??es. As propostas apresentadas passaram pelo processo de member-checking para valida??o e refinamento, o que resultou na vers?o final apresentada nesta disserta??o.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-07-18T20:23:46Z No. of bitstreams: 1 DIS_EVERTON_DE_MATOS_COMPLETO.pdf: 1251543 bytes, checksum: f9774bc8a409974553769c0c5777f444 (MD5) / Made available in DSpace on 2016-07-18T20:23:46Z (GMT). No. of bitstreams: 1 DIS_EVERTON_DE_MATOS_COMPLETO.pdf: 1251543 bytes, checksum: f9774bc8a409974553769c0c5777f444 (MD5) Previous issue date: 2016-03-29 / The computing paradigm called Internet of Things (IoT) will connect billions of devices deployed around the world together in a near future. In the last years, IoT is gaining more attention. This paradigm has become popular by embedding mobile network and processing power into a wide range of physical computing devices used in everyday life of many people. An important element of the IoT is a middleware, which is a system able to abstract the management of physical devices and to provide services based on the information from these devices. The services provided are used by application clients to perform queries and obtain environmental information. In this way, it is already a subject in literature studies that address middleware systems not only interoperability of devices, but also context awareness feature. Context-aware is an important feature of IoT systems. This feature makes easy to discover, understand, and store relevant information related to devices. This information can be used for a refined provision of services based on the environment context and also for decision making. This work aims to present the Context-Aware System (CONASYS), that is a system to provide services of contextualized information about IoT devices in heterogeneous environments. The system is attached to COMPaaS IoT middleware and is able to act accordingly to the environment that it is inserted. We present in details the architecture of CONASYS, the technical issues related to the implementation of the system and perform some tests based in a real-world scenario. We also present some related work. Our objective is to provide a well-defined range of contextualized services that meet the users needs without specific knowledge of the environment, improving users Quality of Experience (QoE). / O paradigma da computa??o Internet das Coisas (IoT) ir? conectar bilh?es de dispositivos ao redor do mundo em um futuro pr?ximo. Nos ?ltimos anos, a IoT vem ganhando mais aten??o. Esse paradigma tornou-se popular por embarcar redes m?veis e pelo seu poder de processamento em uma vasta gama de dispositivos computadorizados utilizados na vida cotidiana de muitas pessoas. Um elemento importante da IoT ? o middleware, que ? um sistema capaz de abstrair a gest?o de dispositivos e prover servi?os baseados nestes dispositivos. Os servi?os providos s?o usados por aplica??es para obter informa??es do ambiente. Desta forma, existem muitas pesquisas relacionadas com o desenvolvimento de middleware que abordam n?o s? interoperabilidade dos dispositivos, mas tamb?m a caracter?stica de ci?ncia de contexto. Ci?ncia de contexto ? uma caracter?stica importante dos sistemas da IoT. Esta caracter?stica facilita o descobrimento, compreens?o e armazenamento de informa??es relevantes relacionadas aos dispositivos. Estas informa??es podem ser usadas para prover servi?os e tomada de decis?o com base no contexto do ambiente. para provimento de servi?os de informa??o contextulizada sobre dispositivos da IoT em ambientes heterog?neos. O sistema ? acoplado ao middleware COMPaaS e ? capaz de agir conforme o ambiente que est? inserido. A arquitetura do CONASYS ? apresentada em detalhes, assim como os testes realizados. Nosso objetivo ? prover servi?os contextualizados que atendam ?s necessidades dos usu?rios que n?o possuem conhecimento espec?fico do ambiente, melhorando assim a Qualidade da Experi?ncia (QoE).

Submitted by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-06-08T18:15:48Z No. of bitstreams: 1 TES_RASHA_HASAN_COMPLETO.pdf: 5197991 bytes, checksum: bfd855e20678be1fe11d1731c4cbc317 (MD5) / Made available in DSpace on 2017-06-08T18:15:48Z (GMT). No. of bitstreams: 1 TES_RASHA_HASAN_COMPLETO.pdf: 5197991 bytes, checksum: bfd855e20678be1fe11d1731c4cbc317 (MD5) Previous issue date: 2017-01-16 / Nas ?ltimas tr?s d?cadas de pesquisa em Sistemas Distribu?dos (SDs), um aspecto central discutido ? o de sincronia. Com um sistema ass?ncrono, n?o fazemos suposi??es sobre velocidades de execu??o de processos e / ou atrasos de entrega de mensagens; Com um sistema s?ncrono, fazemos suposi??es sobre esses par?metros [Sch93b]. Sincronismo em SDs impacta diretamente a complexidade e funcionalidade de algoritmos tolerantes a falhas. Uma infra-estrutura s?ncrona contribui para o desenvolvimento de sistemas mais simples e fi?veis, mas tal infra-estrutura ? muito cara e ?s vezes nem sequer vi?vel de implementar. Uma infra-estrutura totalmente ass?ncrona ? mais realista, mas alguns problemas foram mostrados como insol?veis em tal ambiente atrav?s do resultado de impossibilidade por Fischer, Lynch e Paterson [FLP85]. As limita?es tanto em ambientes totalmente s?ncronos como totalmente ass?ncronos levaram ao desenvolvimento de sistemas distribu?dos como s?ncronia parcial [CF99, Ver06]. Em um estudo de funcionalidade de sistemas distribu?dos s?ncronos parciais e de propriedades de Redes Virtuais (RVs), descobrimos que existem v?rios desafios para este tipo de sistemas que podem ser resolvidos com RVs devido ?s propriedades que a virtualiza??o traz. Por exemplo a) partilha de recursos fornecida por RVs permite diminuir o custo ao partilhar a parte s?ncrona da infra-estrutura f?sica, b) isolamento fornecido por a natureza da RVs, isso pode beneficiar os SDs coexistentes na mesma infra-estrutura f?sica que exigem certo n?vel de isolamento,c) resili?ncia garantido atrav?s do processo de aloca??o de recursos de Redes Virtuais, isso permite alocar recursos de reposi??o ao lado dos prim?rios para redes virtuais que exigem garantias de disponibilidade, por exemplo, SDs tolerantes a falhas. Em nosso trabalho, argumentamos que as RVs e um adequado processo de aloca??o de recursos das RVs oferecem um ambiente adequado para executar aplicativos distribu?dos com sincronia parcial. Isto levou ? abstra??o de um novo tipo de RVs: As Redes Virtuais com sincronia h?brida (RVSHs). Nesta tese, apresentamos a id?ia geral das Redes Virtuais com sincronia h?brida motivado pelos SDs com s?ncronia h?brida, e dividimos nosso trabalho em duas partes: a) Espa?oRVSHs propostos pelo SDs com sincronia h?brida em espa?o, e b) Tempo-RVSHs propostos pelo SDs com sincronia h?brida em tempo. No SDs com s?ncronia h?brida em espa?o, a infraestrutura ? composta de subconjuntos de componentes s?ncronos e ass?ncronos, e cada um desses subconjuntos mant?m seu status de sincronia atrav?s do tempo (i.e., os subconjuntos s?ncronos permanecem s?ncronos e os ass?ncronos permanecem ass?ncronos). No SDs com s?ncronia h?brida em tempo, a infra-estrutura ? composta de subconjuntos de n?s e la?os que podem alternar seu status de sincronia atrav?s do tempo (i.e., os componentes se comportam de forma s?ncrona durante os intervalos de tempo e de forma ass?ncrona durante outros intervalos de tempo). As principais contribui??es desta tese s?o: a) caracterizam os RVSHs em seus dois tipos Espa?o-RVSHs e Tempo-RVSHs para refletir tanto a natureza de sincronia em espa?o e em tempo; b) propor uma estrutura adequada para o processo de aloca??o de recursos para ambos Espa?o-RVSHs e Tempo-RVSHs, e c) fornecer uma avalia??o dos modelos propostos para RVSHs. / In the last three decades of research in Distributed Systems (DSs), one core aspect discussed is the one of synchrony. \Vith an asynchronous system, we make no assumptions about process execution speeds andj or message delivery delays; with a synchronous system, we do make assumptions about these parameters [Sch93b]. Synchrony in DSs impacts directly the complexity and functionality of fault-tolerant algorithms. Although a synchronous infrastructure contributes towards the development of simpler and reliable systems, yet such an infrastructure is too expensive and sometimes even not feasible to implemento On the other hand, a fully asynchronous infrastructure is more realistic, but some problems were shown to be unsolvable in such an environment through the impossibility result by Fischer, Lynch and Paterson [FLP85]. The limitations in both fully synchronous or fully asynchronous environments have led to the development of partial synchronous distributed systems [CF99, Ver06]. In a study of partial synchronous distributed systems functionality, and of Virtual Networks (VNs) properties, we found that there are several challenges for this kind of systems that can be solved with VNs due to the properties that virtualization brings. For example a) resources sharing provided by VNs allows decreasing the cost when sharing the synchronous portion of the physical infrastructure, b) isolation provided by the VNs nature can benefit the coexistent DSs on same physical infrastructure that demand certain leveI of isolation, c) resilience guaranteed through the Virtual Networks Embedding (VNE) process that allows allocating spare resources beside the primary ones for virtual networks that require availability guarantees, for example fault tolerant DSs. In our work, we argue that VNs and a suitable VN embedding process offer suitable environment for running distributed applications with partial synchrony. This has led to the abstraction of new type of VNs: The Hybrid Synchrony Virtual Networks (HSVNs). In this thesis, we introduce the general idea of Hybrid Synchrony Virtual Networks (HSVNs) motivated by the hybrid synchronous DSs, and we branch our work into two branches: a) Space-HSVNs addressed to spatial hybrid synchronous DSs, and b) TimeHSVNs addressed to the time hybrid synchronous DSs. In spatial hybrid synchronous DSs, the hybrid synchronous physical infrastructure is composed of subsets of synchronous and asynchronous components, and each of these subsets maintains its synchrony status through time (i.e., synchronous subsets remain synchronous and asynchronous ones remain asynchronous). In time hybrid synchronous DSs, the hybrid synchronous physical infrastructure is composed of subsets of nodes and links that can alternate their synchrony status through time (i.e., the components behave synchronously during time intervals, and asynchronously during other time intervals). The main contributions of this thesis are: a) characterize the HSVNs in its two types Space-HSVNs and Time-HSVNs to reflect both the synchrony space-variant and time-variant nature ofDSs; b) propose a suitable embedding framework for both Space-HSVNs and TimeHSVNs, and c) provide an evaluation of the embedding mo deIs addressed to the HSVNs.

Made available in DSpace on 2015-04-14T14:49:03Z (GMT). No. of bitstreams: 1 407650.pdf: 1702520 bytes, checksum: c900c9b4c3134193aa3ab89db164218f (MD5) Previous issue date: 2008-03-23 / Pesquisas utilizando virtualiza??o de hardware v?m sendo feitas em diversas ?reas dentro da Ci?ncia da Computa??o. A cria??o de ambientes virtuais com essa tecnologia pode ser implementada utilizando-se poucos recursos computacionais. Por?m, a falta de ferramentas de configura??o dificulta a cria??o de ambientes de larga escala. Recursos de rede, por exemplo, precisam ser gerenciados e configurados para atender ?s especifica??es do ambiente virtual que se deseja criar. Na inten??o de facilitar esta ger?ncia e reduzir os erros na configura??o do ambiente virtual, apresentamos neste trabalho uma arquitetura de ger?ncia de rede de m?quinas virtuais. Dentre suas fun??es encontram-se quest?es como configura??o de isolamento de rede e controle de vaz?o e lat?ncia. Na valida??o, aspectos de rede de um ambiente de emula??o de sistemas distribu?dos s?o configurados e uma aplica??o ? executada nesse ambiente na inten??o de avaliar esses aspectos de comunica??o