Uma linguagem de modelagem da interação para auxiliar a comunicação designer-usuário

The development of interactive systems involves several professionals and the integration between them normally uses common artifacts, such as models, that drive the development process. In the model-driven development approach, the interaction model is an artifact that includes the most of the aspects related to what and how the user can do while he/she interacting with the system. Furthermore, the interactive model may be used to identify usability problems at design time. Therefore, the central problematic addressed by this thesis is twofold. In the first place, the interaction modeling, in a perspective that helps the designer to explicit to developer, who will implement the interface, the aspcts related to the interaction process. In the second place, the anticipated identification of usability problems, that aims to reduce the application final costs. To achieve these goals, this work presents (i) the ALaDIM language, that aims to help the designer on the conception, representation and validation of his interactive message models; (ii) the ALaDIM editor, which was built using the EMF (Eclipse Modeling Framework) and its standardized technologies by OMG (Object Management Group); and (iii) the ALaDIM inspection method, which allows the anticipated identification of usability problems using ALaDIM models. ALaDIM language and editor were respectively specified and implemented using the OMG standards and they can be used in MDA (Model Driven Architecture) activities. Beyond that, we evaluated both ALaDIM language and editor using a CDN (Cognitive Dimensions of Notations) analysis. Finally, this work reports an experiment that validated the ALaDIM inspection method

Visual IMML: um perfil UML para a modelagem de interfaces de usuário

The software development processes proposed by the most recent approaches in Software Engineering make use old models. UML was proposed as the standard language for modeling. The user interface is an important part of the software and has a fundamental importance to improve its usability. Unfortunately the standard UML does not offer appropriate resources to model user interfaces. Some proposals have already been proposed to solve this problem: some authors have been using models in the development of interfaces (Model Based Development) and some proposals to extend UML have been elaborated. But none of them considers the theoretical perspective presented by the semiotic engineering, that considers that, through the system, the designer should be able to communicate to the user what he can do, and how to use the system itself. This work presents Visual IMML, an UML Profile that emphasizes the aspects of the semiotic engineering. This Profile is based on IMML, that is a declarative textual language. The Visual IMML is a proposal that aims to improve the specification process by using a visual modeling (using diagrams) language. It proposes a new set of modeling elements (stereotypes) specifically designed to the specification and documentation of user interfaces, considering the aspects of communication, interaction and functionality in an integrated manner

Um framework baseado em modelos para desenvolvimento de sistemas multimídia distribuídos autoadaptativos

Distributed multimedia systems have highly variable characteristics, resulting in new requirements while new technologies become available or in the need for adequacy in accordance with the amount of available resources. So, these systems should provide support for dynamic adaptations in order to adjust their structures and behaviors at runtime. This paper presents an approach to adaptation model-based and proposes a reflective and component-based framework for construction and support of self-adaptive distributed multimedia systems, providing many facilities for the development and evolution of such systems, such as dynamic adaptation. The propose is to keep one or more models to represent the system at runtime, so some external entity can perform an analysis of these models by identifying problems and trying to solve them. These models integrate the reflective meta-level, acting as a system self-representation. The framework defines a meta-model for description of self-adaptive distributed multimedia applications, which can represent components and their relationships, policies for QoS specification and adaptation actions. Additionally, this paper proposes an ADL and architecture for model-based adaptation. As a case study, this paper presents some scenarios to demonstrate the application of the framework in practice, with and without the use of ADL, as well as check some characteristics related to dynamic adaptation

Implementação de um sistema de síntese de alto nível baseado em modelos java

Este trabalho apresenta uma metodologia para a geração automática de ASICs, em VHDL, a partir da linguagem de entrada Java. Como linguagem de especificação adotou-se a Linguagem Java por esta possuir características desejáveis para especificação a nível de sistema, como: orientação a objetos, portabilidade e segurança. O sistema é especificamente projetado para suportar síntese de ASICs a partir dos modelos de computação Máquina de Estados Finita e Pipeline. Neste trabalho, adotou-se estes modelos de computação por serem mais usados em sistemas embarcados As principais características exploradas são a disponibilização da geração de ASICs para a ferramenta SASHIMI, o alto nível de abstração com que o projetista pode contar em seu projeto, as otimizações de escalonamento realizadas automaticamente, e o sistema ser capaz de abstrair diferentes modelos de computação para uma descrição em VHDL. Portanto, o ambiente permite a redução do tempo de projeto e, consequentemente, dos custos agregados, diminuindo a probabilidade de erros na elaboração do projeto, portabilidade e reuso de código – através da orientação a objetos de Java – podendo-se proteger os investimentos prévios em desenvolvimento de software. A validação desses conceitos foi realizada mediante estudos de casos, utilizando-se algumas aplicações e analisando os resultados obtidos com a geração dos ASICs.

Modelagem da interação fluido-estrutura usando o método da fronteira imersa: aplicação ao estudo do escoamento em torno de um cilindro confinado

Pós-graduação em Engenharia Mecânica - FEIS

Indicadores de bibliotecas universitárias: criação de índice de desenvolvimento baseado em redes de conhecimento compartilhado

Pós-graduação em Ciência da Informação - FFC

Os Acordos de Basiléia e bancos de desenvolvimento no Brasil: uma avaliação do BNDES e do BNB

No Brasil, os bancos de desenvolvimento foram submetidos às exigências regulamentares de Basileia e tratados de modo idêntico às demais instituições componentes do sistema financeiro nacional. Contudo, dada a natureza idiossincrática dos bancos de desenvolvimento, frequentemente se argumenta que a aplicação dos acordos a este tipo de instituição não é adequada, tendo por última implicação impedi-las de cumprir suas funções de modo eficaz. Assim, o presente artigo tem por objetivo avaliar se a submissão dos dois principais bancos de desenvolvimento brasileiros, o BNDES e o BNB, aos procedimentos normativos de Basileia provocou uma perda de dinamismo dessas instituições, de modo a impedir integral ou parcialmente o cumprimento de suas funções. Conclui-se que as duas instituições referidas foram afetadas de modo assimétrico pelas exigências regulamentares associadas a Basileia, permitindo ao BNDES exercer suas funções com alguma pequena limitação, mas prejudicando fortemente o BNB no exercício de suas funções de banco de desenvolvimento.

O desenvolvimento da capacidade de avaliação nos países parceiros: a realização de avaliações conjuntas

Comunicação apresentada no 3º Encontro Conhecimento e Cooperação, INA, Lisboa, 17 de setembro de 2015

Recuperação automática da modelação comportamental com aplicações ao ensaio baseado em modelos

O problema dos sistemas de software legados sem documentação ou com documentação obsoleta, continua a ser uma realidade no mundo empresarial. O progressivo aumento da dimensão e complexidade dos sistemas desenvolvidos vem aumentar a necessidade de existirem mecanismos de modelação e documentação de apoio às actividades de manutenção e teste. Apesar da investigação que tem sido levada a cabo para tentar apresentar cada vez melhores abordagens à resolução deste problema,o seu uso no mundo empresarial ainda é muito esparso. Tal deve-se, pelo menos em parte, ao facto de muitas das abordagens propostas acabarem por representar um acrescento do esforço e do tempo, que as organizações não estão em condições de disponibilizar. Esta dissertação contribui com uma abordagem automatizada de suporte às actividades de documentação de sistemas, de manutenção e de testes. Para demonstrar a aplicabilidade e usabilidade da abordagem, propõe-se a implementação de uma ferramenta de apoio. A abordagem proposta baseia-se em técnicas já existentes e consolidadas, mas propõe extensões que permitem melhorar a sua integração,usabilidade e eficiência na sua aplicação. O problema fulcral aqui tratado é a inexistência ou insuficiência de documentação sobre os sistemas desenvolvidos. De modo a mitigar este problema, é apresentado um mecanismo de recuperação da modelação dinâmica de sistemas legados e respectiva geração de artefactos documentais,nomeadamente diagramas de sequência (UML), cartões CRC e matrizes de CRUD. Finalmente, introduzem-se técnicas de rastreabilidade e de apoio a testes de qualidade e cobertura para os sistemas construídos, usando uma metáfora de coloração de diagramas UML.

Desenvolvimento do modelo para avaliação de parâmetros hemodinâmicos do sistema mãe-placenta

Uma das principais causas de mortalidade durante a gravidez está relacionada com variações na pressão arterial materna, tal como a pré-eclâmpsia. Esta dissertação surgiu da necessidade de compreender o que provoca alterações na pressão arterial, a sua relação com o fluxo e velocidade e os efeitos nas artérias uterinas. De forma a perceber os efeitos da pressão no fluxo sanguíneo, modelou-se o sistema arterial materno, desde a aorta até às artérias uterinas, numa ferramenta de desenho tridimensional. Neste modelo foi aplicado um método de cálculo utilizando uma ferramenta de dinâmica de fluídos computacional, no qual se simulou o fluxo sanguíneo. Utilizaram-se como parâmetros de entrada, na aorta ascendente, uma função de velocidade e um valor saudável de pressão arterial central, e como parâmetro de saída introduziram-se vários valores de pressão arterial periférica normal e típicos de situações patofisiológicas, tais como hipertensão e pré-eclâmpsia. Obtiveram-se diagramas de velocidade, pressão e tensão de corte ao longo de todo o modelo arterial. Em cada saída do modelo, obtiveram-se os valores de fluxo calculados automaticamente, para cada pressão de saída introduzida. Alguns dos valores de fluxo obtidos foram comparados com valores existentes na literatura, de forma a avaliar a eficácia do modelo desenhado, concluindo-se que este produzia valores próximos dos reais. Desta forma efectuaram-se várias simulações, através das quais se percebeu que aumentando a pressão nas artérias uterinas, e mantendo constante a pressão de entrada, o fluxo de saída também aumenta.

Dimensionamento de equipes baseado em modelos de previsão, simulação e alocação : caso de uma empresa do setor elétrico

O bom dimensionamento de equipes contribui para o aumento do nível dos serviços prestados pelas empresas, com o menor custo possível. Uma alternativa para abordar a questão foi dimensionar as equipes de eletricistas, de uma empresa do setor elétrico, (utilizando técnicas de previsão de demanda, de simulação e de alocação) para atender de forma otimizada, a demanda variável das atividades prestadas - fornecimento de energia. Um equilíbrio entre a demanda por serviços e a capacidade de execução da empresa evitaria longas filas de espera dos clientes e servidores (eletricistas) ociosos. Cinco etapas forma cumpridas: fase exploratória, coleta de dados, previsão de demanda e simulação do processo e alocação do recurso. Na primeira houve um entendimento de como chegava o pedido do serviço na empresa até a finalização da ordem de serviço. Na coleta de dados foram levantados aproximadamente 80 tipos diferentes de atividades desenvolvidas pelos eletricistas e classificadas de acordo com a prioridade de urgência, prazos de atendimento dos serviços e afinidade de execução das tarefas. Nesta etapa ainda foram coletados os volumes de serviços gerados e tempos médios de deslocamento e execução das atividades. Na terceira etapa foi utilizado um software de previsão de demanda chamado Forecast Pro, possibilitando a escolha automática do modelo de previsão mais apropriado para a série histórica em estudo. Na quarta etapa, foi utilizado um software de simulação de processos chamado Arena. Desenvolveu-se um modelo do processo real com os respectivos dados de entrada dos serviços, tempos de deslocamento e execução e número de equipes. Na última etapa, utilizando a ferramenta Solver do Excel otimizou-se o número de equipes. Um dos resultados da ação foi obter vários cenários com a variação do número de equipes e seus respectivos tempos médios de atendimento, sem causar nenhum dano para a empresa, podendo assim ser analisado qual o melhor cenário para ser implementado na companhia, minimizando o problema.

Desenvolvimento de técnica para avaliação da atividade das isoenzimas 5-alfa-redutase I e II em tecido prostático de pacientes do Hospital de Clínicas de Porto Alegre

Resumo não disponível