Made available in DSpace on 2016-06-02T19:05:23Z (GMT). No. of bitstreams: 1 DissRATC.pdf: 2634350 bytes, checksum: c3b673c757b38c07dee2cb8b64a10121 (MD5) Previous issue date: 2005-05-20 / Financiadora de Estudos e Projetos / O crescimento do número de usuários da Internet, aliado aos avanços das tecnologias de acesso ocorridos em virtude do surgimento da computação ubíqua, gerou a necessidade de adaptar os conteúdos da Internet. A diversidade e heterogeneidade encontrada atualmente na Internet, incluindo usuários, dispositivos, redes de acesso e conteúdos, formam uma quantidade enorme de possíveis combinações a cada entrega de determinado conteúdo. Em razão dessa necessidade de adaptação, este trabalho apresenta uma arquitetura focada na criação de diversas apresentações de um mesmo conteúdo e na realização de serviços de personalização de conteúdos da Internet. A arquitetura proposta considera os recursos existentes na atual infra-estrutura da Internet, baseia-se no modelo OPES e utiliza o ICAP para realizar a comunicação entre o dispositivo de borda e o servidor de adaptação. Além disso, essa arquitetura foi modelada e desenvolvida baseando-se em componentes de software com o intuito de criar padrões que facilitam seu reuso em outras arquiteturas semelhantes. Para desempenhar os serviços de adaptação, a arquitetura segue uma política de adaptação, a qual considera as informações sobre usuário, dispositivo, rede de acesso, contrato de serviços e conteúdo. Essa política é controlada por um conjunto de regras de adaptação, que definem quais os serviços devem ser executados, para quem e quando solicitá-los. Com o intuito de avaliar e validar a arquitetura proposta, este trabalho também descreve sua implementação através de seus estudos de caso e demonstra a viabilidade de seu uso em ambientes de computação ubíqua.

Made available in DSpace on 2014-06-12T15:59:33Z (GMT). No. of bitstreams: 2 arquivo5175_1.pdf: 1994160 bytes, checksum: 29002a3ad03ec142019fe6f3747721fb (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / O desenvolvimento de aplica¸c oes baseado em frameworks tem sido apontado como o pr´oximo passo em dire¸c ao a um maior reuso de software. O reuso atrav´es da composi¸c ao de dois frameworks, e n ao apenas atrav´es de extens oes de classes de um ´unico framework, tornou-se uma necessidade gerada pelo aumento da complexidade de desenvolvimento de sistemas computacionais. Neste sentido, tornam-se necess´arias novas t´ecnicas de documenta¸c ao ou especifica¸c ao de frameworks que eliminem imprecis oes e ambig¨uidades nas descri¸c oes dos seus comportamentos. Este trabalho apresenta uma estrat´egia de composi¸c ao de frameworks que utiliza linguagens de especifica¸c ao formal para descrever seus comportamentos e estruturas de dados. As linguagens utilizadas s ao CSP, Z e CSP-Z. Por tratar da composi¸c ao no n´ıvel das especifica¸c oes formais, a estrat´egia consegue abstrair detalhes de implementa¸c ao e eliminar restri¸c oes ligadas a estes detalhes. Al´em disso, a abordagem formal permite a verifica¸c ao, atrav´es do verificador de modelos de CSP, FDR, da manuten¸c ao das propriedades dos frameworks originais. O objetivo principal da estrat´egia ´e a composi¸c ao de fluxos de controle, que ´e um dos problemas mais comuns da composi¸c ao de frameworks. N´os apresentamos as causas e poss´ıveis solu¸c oes deste e dos demais problemas da composi¸c ao de frameworks. Por fim, mostramos que a estrat´egia aborda todos os problemas listados em menor ou maior grau. A estrat´egia pretende realizar a comunica¸c ao entre os frameworks atrav´es de um casamento entre os eventos e tipos de dados correspondentes dos dois frameworks. A composi¸c ao ´e realizada atrav´es de um terceiro componente, o componente de sincroniza¸c ao e comunica¸c ao (CSC). A ado¸c ao deste componente possibilita maior flexibilidade `a composi¸c ao e, entre outros benef´ıcios, permite que os frameworks se comuniquem de forma an onima e elimina efeitos colaterais nos seus comportamentos. A estrat´egia tem todos os seus pontos especificados num n´ıvel de detalhe que facilitar´a uma futura mecaniza¸c ao. Neste sentido, s ao apresentados modelos para a especifica¸c ao do CSC e uma abordagem construtiva para a sua gera¸c ao