GROA: um gerenciador de repositórios de objetos de aprendizagem

Um conceito recente, relacionado à tecnologia educacional, baseia-se na idéia de objetos de aprendizagem (OAs), entendidos como pequenos componentes que podem ser usados, reusados ou referenciados durante a aprendizagem suportada pela tecnologia. Paralelo a isto, várias organizações estão envolvidas num trabalho de desenvolvimento de padrões de metadados para estes objetos, a fim de facilitar a catalogação e recuperação dos mesmos. Desta forma, os OAs podem ser localizados mais facilmente e utilizados em diferentes contextos e plataformas e por diferentes pessoas. O que se propõe para atingir esta facilidade de uso dos OAs é que os objetos sejam armazenados em bases de dados que são também conhecidas como repositórios, que fornecem ao usuário vários benefícios em termos de recuperação de informações. Neste contexto, este trabalho apresenta o GROA - Gerenciador de Repositórios de Objetos de Aprendizagem, que disponibiliza recursos de criação de repositórios capazes de armazenamento, gerenciamento, indexação e estruturação de objetos de aprendizagem, e capazes de operar como serviços deWeb, na internet. Este sistema foi implementado no Zope, que utiliza um banco de dados orientado a objetos, integrado a um servidor web. O texto analisa o conceito de OA e o contextualiza em relação a questões como a educação a distância, ambientes de apoio ao ensino e reusabilidade de conteúdos. Também, detalha os padrões de metadados que permitem a inserção dos OAs como componentes da Web Semântica. Em particular, apresenta-se o mecanismo de mapas de tópicos utilizado para estruturar os repositórios de OAs gerenciados pelo GROA. Finalmente, o texto discorre sobre os detalhes da implementação do GROA.

Extensão do framework geoframe para modelagem de processos de análise geográfica

As particularidades encontradas na modelagem de bancos de dados geográficos tornam necessário o desenvolvimento de modelos específicos. A totalidade dos modelos desenvolvidos oferece recursos para a modelagem de aspectos estáticos. Alguns dos modelos apresentam soluções parciais para a modelagem de aspectos dinâmicos. A possibilidade de executar processos de análise geográfica, que alteram o estado dos componentes do banco de dados geográficos é, de forma geral, a maior motivação para justificar os investimentos necessários para a sua construção. A formalização desses processos em um modelo conceitual, na fase de projeto, torna desnecessário o uso da terminologia específica que cada software de SIG emprega. A solução desenvolvida estende um framework conceitual (GeoFrame) com uma semântica que suporta a expressão de processos de análise geográfica, mantendo compatibilidade com a linguagem UML. Para utilizar de forma adequada os recursos do framework, uma metodologia para a elaboração do modelo do usuário é indicada. Nessa metodologia, os processos são identificados a partir da elaboração de diagramas de casos de uso e atividades, incorporados no diagrama de classes e detalhados através de diagramas de atividades contendo ações. Um levantamento sobre operações utilizadas em processos de análise geográfica abrangendo a visão conceitual, lógica e de implementação de vários autores levou à construção de um catálogo de operações geográficas. Essas operações foram modeladas utilizando os elementos de modelagem de comportamento da especificação da UML, versão 2.0. O conjunto de recursos oferecidos nesse trabalho proporciona ao projetista de bancos de dados geográficos o desenvolvimento de uma especificação em alto nível e abrangente, utilizando a linguagem UML, reconhecida como padrão em modelagem de sistemas.

Investigação e aplicação de operações categoriais entre atores de animações baseadas em autômatos finitos com saída

O presente trabalho apresenta uma investigação sobre algumas operações categoriais baseadas em grafos e a aplicação das mesmas a uma área específica da Ciência da Computação, a saber, animações computacionais baseadas em autômatos finitos com saída. As operações categoriais estudadas neste trabalho são: Produto, Coproduto, Soma Amalgamada e Produto Fibrado. O modelo AGA (Animação Gráfica baseada em Autômatos finitos) foi o escolhido para ser utilizado como base desta dissertação. Inspirado nestes estudos, o trabalho contém uma proposta de como aplicar tais operações com o objetivo de definir animações aparentemente complexas, de forma simples, precisa e de fácil implementação. O enfoque está baseado em J. Stoy que diz que um dos objetivos para o uso da semântica formal de teoria das categorias é “sugerir meios ou formas para o projetista desenvolver sistemas melhores, mais elegantes (“limpos”) e com descrições formais mais simples”. Entretanto, não é objetivo deste trabalho verificar se a utilização destas operações é ou não melhor do que a utilização de qualquer outra solução para criar novas animações. Esta dissertação traz uma nova versão do modelo AGA, denominada AGANd (Animação Gráfica baseada em Autômatos finitos Não determinísticos), sendo que o AGA utiliza apenas autômatos finitos determinísticos para criar os atores de uma animação. Com a utilização do AGANd obtém-se animações mais realistas e mais flexíveis. A aplicação destas operações se dá nos dois modelos, os resultados obtidos a partir de cada uma das operações sobre os mesmos são apresentados de forma detalhada e ilustrados com os autômatos resultantes no decorrer do trabalho. É apresentada uma sugestão de implementação para cada uma das operações, visando estender o protótipo já implementado do modelo AGA. Isso faz com que o leitor seja estimulado a aplicar estas e outras operações categoriais em novas animações baseadas ou não nos modelos apresentados, despertando até mesmo para seu uso em outras áreas da Ciência da Computação.

Uma fundamentação teórica para a complexidade estrutural de problemas de otimização

Com o objetivo de desenvolver uma fundamentação teórica para o estudo formal de problemas de otimização NP-difíceis, focalizando sobre as propriedades estruturais desses problemas relacionadas à questão da aproximabilidade, este trabalho apresenta uma abordagem semântica para tratar algumas questões originalmente estudadas dentro da Teoria da Complexidade Computacional, especificamente no contexto da Complexidade Estrutural. Procede-se a uma investigação de interesse essencialmente teórico, buscando obter uma formalização para a teoria dos algoritmos aproximativos em dois sentidos. Por um lado, considera-se um algoritmo aproximativo para um problema de otimização genérico como o principal objeto de estudo, estruturando-se matematicamente o conjunto de algoritmos aproximativos para tal problema como uma ordem parcial, no enfoque da Teoria dos Domínios de Scott. Por outro lado, focaliza-se sobre as reduções entre problemas de otimização, consideradas como morfismos numa abordagem dentro da Teoria das Categorias, onde problemas de otimização e problemas aproximáveis são os objetos das novas categorias introduzidas. Dentro de cada abordagem, procura-se identificar aqueles elementos universais, tais como elementos finitos, objetos totais, problemas completos para uma classe, apresentando ainda um sistema que modela a hierarquia de aproximação para um problema de otimização NP-difícil, com base na teoria categorial da forma. Cada uma destas estruturas matemáticas fornecem fundamentação teórica em aspectos que se complementam. A primeira providencia uma estruturação interna para os objetos, caracterizando as classes de problemas em relação às propriedades de aproximabilidade de seus membros, no sentido da Teoria dos Domínios, enquanto que a segunda caracteriza-se por relacionar os objetos entre si, em termos de reduções preservando aproximação entre problemas, num ponto de vista externo, essencialmente categorial.

Plataforma de comunicação tempo real sobre clusters SCI

Devido a sua baixa latência de banda, os clusters equipados com o adaptador SCI são uma alternativa para sistemas de tempo real distribuídos. Esse trabalho apresenta o projeto e implementação de uma plataforma de comunicação de tempo real sobre clusters SCI. O hardware padrão do SCI não se mostra adequado para a transmissão de tráfego de tempo real devido ao problema da contenção de acesso ao meio que causa inversão de prioridade. Por isso uma disciplina de acesso ao meio é implementada como parte da plataforma. Através da arquitetura implementada é possível o estabelecimento de canais de comunicação com garantia de banda. Assim, aplicações multimídias, por exemplo, podem trocar com taxa constante de conunicação. Cada mensagem é enviada somente uma vez. Assim, mensagens som a semântica de eventos podem ser enviadas. Além disso, a ordem e o tamanho das mensagens são garantidos. Além do tráfego com largura de banda garantida, a plataforma possibilita a troca de pacotes IP entre diferentes máquinas do cluster. Esses pacotes são inseridos no campo de dados dos pacotes próprios da plataforma e após são enviados através do uso de pacotes IP. Além disso, essa funcionalidade da plataforma permite também a execução de bibliotecas de comunicação baseadas em TCP/IP como o MPI sobre o cluster SCI. A plataforma de comunicação é implementada como modulos do sistema operacional Linux com a execução de tempo real RTAI. A valiação da plataforma mostrou que mesmo em cenários com muita comunicação entre todos os nodos correndo, a largura de banda reservada para cada canal foi mantida.

Ecologia comportamental do Golfinho-Chileno, Cephalorhynchus eutropia (Gray 1846): seleção de hábitat e interações com atividades antrópicas no sul do Chile

Os mares e oceanos vêm sendo intensamente impactados por diversas atividades antrópicas, as quais vêm provocando a diminuição dos recursos naturais devido a sobrepesca, poluição e o aumento do tráfego de embarcações. A perda de hábitat crítico, decorrente do intenso uso das zonas litorâneas, tem sido uma das maiores ameaças aos cetáceos costeiros. O Chile possui uma grande diversidade de baleias e golfinhos, porém o golfinho-chileno (Cephalorhynchus eutropia) é a única espécie endêmica às águas costeiras deste país. Na porção sul da distribuição de C. eutropia (fiordes e canais) há uma grande sobreposição da indústria de aqüicultura (uma das atividades antrópicas mais importantes no sul do Chile) aos principais locais de ocorrência desta espécie. Observações a partir de terra foram realizadas com o objetivo de estudar a seleção de hábitat dos golfinhos-chilenos em pequena escala espacial e avaliar as reações comportamentais desta espécie em relação ao tráfego de embarcações presente na Baía Yaldad, local onde há intenso cultivo de mexilhão e de salmão. Utilizou-se um teodolito para marcar a posição dos golfinhos e um total de 293,5 horas de esforço foram realizadas entre os meses de janeiro a abril de 2002. O padrão de uso de hábitat, concentrado a uma pequena porção da área de estudo, mostrou que os golfinhos selecionam locais rasos, próximos à costa e próximo aos rios. As atividades dos golfinhos foram influenciadas pelo regime de maré e o forrageio foi a principal atividade realizada na baía. . A aqüicultura representou um impacto negativo, devido à redução de espaço disponível aos animais e ao aumento do tráfego de embarcação, que afetou consideravelmente os padrões comportamentais de C. eutropia. A presença, os padrões de movimento e uso de hábitat dos golfinhos-chilenos devem ser levados em consideração na regulamnetação das atividades de aqüicultura e nas políticas de manejo dos ecossistemas costeiros. Visto que predadores topo de cadeia podem ser considerados indicadores ambientais, a conservação dos ecossistemas marinhos poderia ser abordada pela descrição dos movimentos e seleção de hábitat de cetáceos que atuariam como “espécies guarda-chuva”.

Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π

O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes sistemas, garantindo assim sua correção. Existem diversos formalismos que permitem descrever sistemas, cada qual com diferentes níveis de abstração. Quando consideramos sistemas complexos, surge a necessidade de um modelo que forneça construções abstratas que facilitem o entendimento e a especificação destes sistemas. Um modelo baseado em objetos fornece um nível de abstração que tem sido muito aplicado na prática, onde os dados e os processos que os manipulam são descritos juntos em um objeto. Gramática de Grafos Baseada em Objetos (GGBO) é um modelo baseado em objetos, que além de ser uma linguagem visual, apresenta a vantagem de as especificações adquirirem um estilo baseado em objetos, que é bastante familiar à maioria dos desenvolvedores. Porém, as GGBOs não possuem ainda ferramentas para verificação automática de propriedades desejadas nos sistemas modelados. Uma alternativa para resolver isso é definir uma tradução (que preserve a semântica) desta linguagem para outra, para a qual existam verificadores automáticos. Um formalismo bastante conhecido e estabelecido para descrição de sistemas concorrentes, para o qual existem verificadores automáticos, é o cálculo-π. Porém, sob o aspecto de especificação de sistemas complexos, GGBOs parecem ser mais adequadas como linguagem de especificação que o cálculo-π, pois são visuais, mais intuitivas e possuem um estilo baseado em objetos. Neste trabalho foi definido um formalismo (baseado nas GGBOs), denominado Gramática de Hipergrafos Baseada em Objetos e uma tradução deste formalismo para o cálculo-π, aliando assim as vantagens desses dois métodos. Além disso, para validar a tradução definida, foram feitas provas de que a semântica das gramáticas de hipergrafos baseadas em objetos é preservada na tradução.

Arquitetura para um ambiente de grade computacional direcionado às aplicações distribuídas, móveis e conscientes do contexto da computação pervasiva

Neste início de década, observa-se a transformação das áreas de Computação em Grade (Grid Computing) e Computação Móvel (Mobile Computing) de uma conotação de interesse emergente para outra caracterizada por uma demanda real e qualificada de produtos, serviços e pesquisas. Esta tese tem como pressuposto a identificação de que os problemas hoje abordados isoladamente nas pesquisas relativas às computações em grade, consciente do contexto e móvel, estão presentes quando da disponibilização de uma infra-estrutura de software para o cenário da Computação Pervasiva. Neste sentido, como aspecto central da sua contribuição, propõe uma solução integrada para suporte à Computação Pervasiva, implementada na forma de um middleware que visa criar e gerenciar um ambiente pervasivo, bem como promover a execução, sob este ambiente, das aplicações que expressam a semântica siga-me. Estas aplicações são, por natureza, distribuídas, móveis e adaptativas ao contexto em que seu processamento ocorre, estando disponíveis a partir de qualquer lugar, todo o tempo. O middleware proposto, denominado EXEHDA (Execution Environment for Highly Distributed Applications), é adaptativo ao contexto e baseado em serviços, sendo chamado de ISAMpe o ambiente por este disponibilizado. O EXEHDA faz parte dos esforços de pesquisa do Projeto ISAM (Infra-Estrutura de Suporte às Aplicações Móveis Distribuídas), em andamento na UFRGS. Para atender a elevada flutuação na disponibilidade dos recursos, inerente à Computação Pervasiva, o EXEHDA é estruturado em um núcleo mínimo e em serviços carregados sob demanda. Os principais serviços fornecidos estão organizados em subsistemas que gerenciam: (a) a execução distribuída; (b) a comunicação; (c) o reconhecimento do contexto; (d) a adaptação; (e) o acesso pervasivo aos recursos e serviços; (f) a descoberta e (g) o gerenciamento de recursos No EXEHDA, as condições de contexto são pró-ativamente monitoradas e o suporte à execução deve permitir que tanto a aplicação como ele próprio utilizem essas informações na gerência da adaptação de seus aspectos funcionais e não-funcionais. O mecanismo de adaptação proposto para o EXEHDA emprega uma estratégia colaborativa entre aplicação e ambiente de execução, através da qual é facultado ao programador individualizar políticas de adaptação para reger o comportamento de cada um dos componentes que constituem o software da aplicação. Aplicações tanto do domínio da Computação em Grade, quanto da Computação Pervasiva podem ser programadas e executadas sob gerenciamento do middleware proposto.

Reconstrução da dinâmica de curta duração em vegetação campestre sob pastejo, com base em tipo funcionais

Comunidades campestres foram descritas por Tipos Funcionais de Plantas (TFs). Utilizou-se um método politético de identificação de atributos macromorfológicos da vegetação e TFs com máxima correlação com as variáveis ambientais consideradas. Avaliaram-se os padrões de resposta da vegetação à herbivoria por rebanho bovino (Tipos Funcionais de Resposta: TFRs), e o efeito da estrutura das comunidades de TFs no processo seletivo do pastejo (Tipos Funcionais de Efeito: TFEs), bem como o grau de sobreposição dos tipos identificados. A alternância entre condições de exposição ao distúrbio ou exclusão do mesmo permitiu observar variações em padrões espaciais e temporais da composição da vegetação assim descrita. Buscou-se a reconstrução de uma série temporal única através de um método determinístico baseado na sobreposição espaço-temporal desses padrões. O experimento foi realizado num período de nove meses, tendo sido a estrutura da vegetação avaliada em função de dois períodos de pastejo. Observou-se uma diferença mais nítida na composição de TFRs entre as comunidades protegidas do pastejo e aquelas mais freqüentemente pastejadas. Comunidades protegidas apresentaram TFRs de maior porte, biomassa uniformemente distribuída e maiores proporções de caules lignificados, enquanto que uma tendência mais nítida em direção a uma concentração de biomassa aérea próxima do solo foi verificada com o aumento da frequência do distúrbio. A relação com um índice de intensidade de desfolha indicou a preferência por TFEs com pouca proporção de lâminas foliares senescentes, porte intermediário, e uma mínima proporção de biomassa aérea alocada a caules lignificados. Embora tenha sido verificada uma correspondência entre os atributos que descreveram os TFRs e TFEs, a correlação obtida entre as duas abordagens mostrou-se pouco satisfatória A série temporal obtida pelo método determinístico não apresentou padrões estáveis, possivelmente devido ao número insuficiente de séries parciais observadas, bem como ao curto período de avaliação das mesmas.

O processo de composição narrativa no encontro terapêutico : (des)construindo autorias

Essa pesquisa procurou investigar o processo de composição narrativa pela dupla estagiário-terapeuta/paciente, em uma situação de psicoterapia psicanalítica, a partir do contexto de uma prática supervisionada de estágio em Psicologia Clínica. Participaram da pesquisa duas acadêmicas de Psicologia que realizaram o estágio em um abrigo municipal. O trabalho clínico desenvolvido pelas estagiárias foi acompanhado pela supervisão acadêmica, cuja responsável na época era a pesquisadora. Também participaram dessa pesquisa três meninas de seis, nove e dez anos de idade, acolhidas temporariamente na instituição e em acompanhamento psicoterapêutico pelas estagiárias. Os atendimentos foram realizados uma vez por semana, individualmente, na própria instituição. As estagiárias relataram cada entrevista preliminar realizada com as crianças sob a forma escrita de entrevista dialogada, cujo objetivo é a memorização do desenvolvimento da entrevista. Essa memorização associada às reflexões acerca do estágio produzidas no espaço de supervisão acadêmica formaram as fontes dos dados. Para atingir o objetivo dessa pesquisa, três estudos foram realizados e, em cada um deles, três casos, constituídos por diferentes duplas terapêuticas, foram analisados. Os resultados dos três estudos demonstram, inicialmente, que o discurso elaborado pelas duplas terapêuticas, em cada entrevista preliminar isoladamente, estrutura-se narrativamente porque esse discurso apresenta os dois princípios da narrativa, que são a sucessão e a transformação, como propõe Tzvetan Todorov. A análise conjunta dessas entrevistas denota, entretanto, que as narrativas constituídas nesse processo não podem ser reduzidas a uma lógica de sucessão linear como formula esse autor. A seqüência narrativa é regida pela lógica de causalidade semântica, que é de natureza polifônica, como propõe Paul Ricoeur. As intervenções das estagiárias sob a forma de construções, conforme conceito estabelecido por Freud, mesmo que guiadas pelo princípio da associação livre, são demarcadas, em sua maioria, pela repetição de uma versão já conhecida da história da vida de seu paciente, geralmente àquela que versa sobre o motivo do abrigamento. Assim, essas intervenções, cujo efeito possível seria que o paciente pudesse desconstruir os sentidos dados a priori, reconstruindo novas versões para os acontecimentos de sua vida e, com isso, ocupasse o lugar de autor de sua história, acabam insistindo no trauma. Dessa forma, fica explicitado um dos paradoxos do processo de formação da escuta clínica: o estagiário, ao procurar abrir os sentidos para o seu paciente, construindo junto com ele uma versão possível para a sua história, acaba, muitas vezes, fechando o sentido, construindo uma única versão para os eventos narrados pelo paciente.

APSEE-Global : um modelo de gerência de processos distribuídos de software

Desde o início dos anos 90, uma tendência no desenvolvimento de software tem despertado a atenção dos pesquisadores: a distribuição do desenvolvimento. Esse fenômeno é um reflexo de mudanças sociais e econômicas, que têm levado organizações a distribuírem geograficamente seus recursos e investimentos, visando aumento de produtividade, melhorias na qualidade e redução de custos no desenvolvimento de software. Em virtude dessa distribuição, equipes geograficamente dispersas cooperam para a obtenção de um produto final de software. A distribuição física das equipes agrava problemas já inerentes à gerência do processo de software. O desenvolvimento de ambientes, modelos e ferramentas para gerenciar processos conduzidos nesse contexto é um desafio cada vez mais importante nos estudos em Tecnologia de Processos de Software. Os ambientes de suporte a processos devem prover infra-estrutura para processos distribuídos. Este trabalho propõe um modelo de gerência de processos distribuídos, denominado APSEE-Global, que estende o APSEE, um ambiente de engenharia de software centrado no processo desenvolvido no contexto do grupo de pesquisa Prosoft, provendo um conjunto de funcionalidades para suporte a processos distribuídos. O APSEE-Global viabiliza o aumento da autonomia das equipes que participam do projeto, pela possibilidade de adotarem modelos de processo distintos e pela gerência descentralizada do processo de desenvolvimento; permite a documentação e facilita a análise e a gerência das relações entre as equipes; e provê um canal de comunicação formal para acompanhamento da execução do processo distribuído. Os diferentes componentes do APSEE-Global foram especificados formalmente, o que constitui uma base semântica de alto nível de abstração que deu origem à implementação de um protótipo integrado ao ambiente de desenvolvimento de software Prosoft. A especificação do modelo foi realizada pela combinação dos formalismos Prosoft-Algébrico e Gramática de Grafos.

O "mundo da velhice" e a cultura asilar : estudo antropológico sobre memória social e cotidiano de velhos no Asilo Padre Cacique, em Porto Alegre

Este é um estudo antropológico sobre o envelhecimento em contexto asilar, resultado da pesquisa etnográfica desenvolvida entre agosto de 2004 e dezembro de 2005 no Asilo Padre Cacique, em Porto Alegre. Propõe-se a formulação de um conceito de cultura asilar a partir da análise das condições de vida e do processo de envelhecimento dos moradores daquela instituição, com a finalidade de conhecer suas práticas, interpretar seus tempos vividos e compreender de que maneira esses velhos pensam o tempo e reinventam sua velhice no cotidiano asilar, segundo trajetórias sociais específicas atualizadas pelo trabalho da memória social e da narração de suas experiências. A pesquisa se insere no campo da Antropologia do Envelhecimento e utiliza como aporte a Antropologia Visual não apenas como técnica de coleta de dados, mas cumprindo uma função epistêmica e metodológica, a qual procura restaurar imaginariamente a cultura asilar e o mundo da velhice através de fotografias e descrições pormenorizadas de paisagens, práticas, gestos e personagens. Desde uma perspectiva antropológica, a experiência de envelhecer no asilo deve ser compreendida e interpretada através da sobreposição de diversas camadas de sentido, definidas por diferentes perspectivas e de acordo com os ritmos e espaços sociais habitados.

Modelo temporal de versionamento com suporte à evolução de esquemas

A utilização de versões tem sido essencial em diversas aplicações de banco dados, por permitir o armazenamento e a manipulação de diferentes estados da base de dados. Durante a evolução de um esquema, o versionamento preserva todas as versões de esquemas e de seus dados associados. Por outro lado, os conceitos de bancos de dados bitemporais, que incorporam tanto tempo de transação quanto tempo de validade, provêm flexibilidade ao mecanismo de evolução de esquemas, não somente por permitir acesso a informações presentes, passadas e futuras, mas também por permitir atualizações e consultas entre as diversas versões de esquemas existentes. O objetivo principal desta tese é definir um modelo que utilize os conceitos de tempo e de versão para permitir o gerenciamento da evolução dinâmica de esquemas em bancos de dados orientados a objetos. O resultado, o Modelo Temporal de Versionamento com suporte à Evolução de Esquemas (TVSE - Temporal and Versioning Model to Schema Evolution), é capaz de gerenciar o processo de evolução de esquemas em todos os seus aspectos: versionamento e modificação de esquemas, propagação de mudanças e manipulação de dados. Esse modelo difere de outros modelos de evolução de esquemas por permitir o gerenciamento homogêneo e simultâneo do histórico da evolução do banco de dados intencional e extensional. Com o objetivo de complementar a definição deste modelo é apresentado um ambiente para gerenciar o versionamento temporal da evolução de esquemas. Desse ambiente foi implementado um protótipo da ferramenta de apoio ao gerenciamento de evolução de esquemas. Por fim, enriquecendo o universo da tese e com o intuito de prover uma maior fundamentação teórica e matemática para descrever as políticas de evolução de esquemas, é especificada uma semântica operacional para um subconjunto do modelo proposto.

Mapeamento da linguagem Nautilus para Java

Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.

Uma Proposta de distribuição do servidor de arquivos em clusters

A evolução da Computação Baseada em Clusters, impulsionada pelo avanço tecnológico e pelo custo relativamente baixo do hardware de PCs, tem levado ao surgimento de máquinas paralelas de porte cada vez maior, chegando à ordem das centenas e mesmo milhares de nós de processamento. Um dos principais problemas na implantação de clusters desse porte é o gerenciamento de E/S, pois soluções centralizadas de armazenamento de arquivos, como o NFS, rapidamente se tornam o gargalo dessa parte do sistema. Ao longo dos últimos anos, diversas soluções para esse problema têm sido propostas, tanto pela utilização de tecnologias especializadas de armazenamento e comunicação, como RAID e fibra ótica, como pela distribuição das funcionalidades do servidor de arquivos entre várias máquinas, objetivando a paralelização de suas operações. Seguindo essa última linha, o projeto NFSP (NFS Parallèle) é uma proposta de sistema de arquivos distribuído que estende o NFS padrão de forma a aumentar o desempenho das operações de leitura de dados pela distribuição do serviço em vários nós do cluster. Com essa abordagem, o NFSP objetiva aliar desempenho e escalabilidade aos benefícios do NFS, como a estabilidade de sua implementação e familiaridade de usuários e administradores com sua semântica de uso e seus procedimentos de configuração e gerenciamento. A proposta aqui apresentada, chamada de dNFSP, é uma extensão ao NFSP com o objetivo principal de proporcionar melhor desempenho a aplicações que explorem tanto a leitura como a escrita de dados, uma vez que essa última característica não é contemplada pelo modelo original A base para o funcionamento do sistema é um modelo de gerenciamento distribuído de meta-dados, que permite melhor escalabilidade e reduz o custo computacional sobre o meta-servidor original do NFSP, e também um mecanismo relaxado de manutenção de coerência baseado em LRC (Lazy Release Consistency), o qual permite a distribuição do serviço sem acarretar em operações onerosas de sincronização de dados. Um protótipo do modelo dNFSP foi implementado e avaliado com uma série de testes, benchmarks e aplicações. Os resultados obtidos comprovam que o modelo pode ser aplicado como sistema de arquivos para um cluster, efetivamente proporcionando melhor desempenho às aplicações e ao mesmo tempo mantendo um elevado nível de compatibilidade com as ferramentas e procedimentos habituais de administração de um cluster, em especial o uso de clientes NFS padrões disponíveis em praticamente todos os sistemas operacionais da atualidade.