[pt] Durante as etapas iniciais de design, o designer forma um entendimento inicial sobre o problema que ele deve resolver e desenvolve suas primeiras ideias, geralmente influenciadas por conhecimentos de design passados. Com o objetivo de auxiliar o design de IHC (interação humano-computador) neste contexto, nós investigamos como podemos usar o raciocínio baseado em casos (CBR) para ajudar designers a acessar e reutilizar conhecimentos de design para resolver novos problemas de IHC. Nós conduzimos entrevistas com designers de IHC profissionais para coletar dados sobre como eles lidam com problemas de design e suas motivações e expectativas sobre o uso de conhecimentos de design auxiliado por uma ferramenta de CBR. Usando estes dados, construímos uma ferramenta, chamada CHIDeK, que contém uma biblioteca contendo casos de design de IHC e fornece acesso aos casos através de navegação facetada, links diretos entre casos e busca. Para investigar como o CHIDeK influencia a atividade de design, conduzimos um estudo que simulava a etapa inicial de design de IHC de um sistema online de reserva de bicicletas. Alguns participantes podiam resolver o problema enquanto tinham acesso ao CHIDeK e outros deviam resolver sem o CHIDeK. Descobrimos que os casos no CHIDeK ajudaram o design motivando o processo de reflexão dos designers, ativando memórias de experiências com sistemas similares aos descritos nos casos e ajudando a gerar novas ideias. Também identificamos algumas limitações na representação dos casos, o que oferece oportunidade para novas pesquisas. Comparando ambos os tipos de atividade de design, percebemos que os designers sem a biblioteca de casos usaram a mesma solução para um dos itens descrito no cenário do estudo, enquanto os designers com os casos variaram entre duas soluções. Concluímos dizendo que uma ferramenta de CBR tem muito potencial para ajudar na atividade de design, porém existem problemas que devem ser endereçados por pesquisas futuras. / [en] During the early stages of design, the designer forms an initial understanding about the problem and some ideas on how to solve it, often influenced by previous design knowledge. In order to support HCI design in this context, we investigated ways to use case-based reasoning (CBR) to help designers access and reuse design knowledge to solve new HCI design problems. We conducted interviews with professional HCI designers to collect data about how they deal with design problems, and their motivations and expectations regarding the use of design knowledge aided by a CBR tool. Using this data, we designed and developed a tool called CHIDeK, which has a library containing HCI design cases and provides access to them through faceted navigation, direct links between cases, and search. To investigate the way CHIDeK influences the design activity, we conducted a study that simulated the early stage of HCI design of an online bike reservation system. Some participants could solve the problem while having access to CHIDeK and others had to solve it without CHIDeK. We discovered that the cases from CHIDeK supported the design by motivating the designers reflective process, triggering their memories of experiences with systems similar to the ones in cases, and helping generate new ideas. We also identified some limitations in the case representation, which offers an opportunity for further research. When comparing both kinds of design activities, we noticed that designers without the case library used the same solution for one of the issues described in the study scenario, while the designers with the cases varied between two solutions. We concluded that a CBR tool has much potential to aid the design activity, but there are still issues that need to be addressed by further research.

[pt] A avaliação de uma interface de usuário pode ser feita em diferentes fases do ciclo de desenvolvimento de um software. Avaliações formativas são aquelas feitas ao longo do processo de design, antes do sistema estar concluído, e muitas vezes, antes de uma única linha de código estar escrita. No âmbito da engenharia semiótica, a linguagem de modelagem MoLIC (Modeling Language for Interaction as Conversation) visa apoiar a reflexão do designer durante o design de IHC. No entanto, não há um método específico para avaliar soluções de interação elaboradas com a MoLIC. Visando apoiar o processo de avaliação de uma solução representada em MoLIC, este trabalho apresenta a MoLIC WOz, uma ferramenta computacional que permite emular a interação usuário-sistema representada em um diagrama de interação MoLIC. A ferramenta torna possível essa interação através da técnica Wizard of Oz (WOz), onde um usuário interage com o sistema sendo operado por uma outra pessoa (o Wizard). O objetivo desse trabalho foi verificar de que maneira a MoLIC WOz promove reflexão ao seu usuário, aquele que interage com a emulação da interação do sistema em avaliação. Para avaliar essa proposta, foi realizado um estudo com doze participantes interagindo com a ferramenta. Os resultados do estudo indicam que a MoLIC WOz tem potencial para ajudar na avaliação da comunicabilidade de diagramas de interação por promover e motivar reflexão. Novos estudos com a ferramenta são sugeridos para verificar outras formas de apoio à avaliação formativa desse modelo. / [en] A user interface can be evaluated at different stages of the software development cycle. Formative evaluations are those that are made throughout the design process, before the system is finished, and often before a single line of code is written. Within semiotic engineering, the modeling language MoLIC (Modeling Language for Interaction as Conversation) aims to support the reflection of the designer during the HCI design. However, there is no specific method to evaluate interaction solutions prepared with MoLIC. Aiming to support the evaluation process of a solution represented in MoLIC, this work presents MoLIC WOz, a computational tool that emulates the user-system interaction represented in a MoLIC interaction diagram. The tool makes this interaction through the Wizard of Oz (WOz) technique, where a user interacts with the system being operated by another person (the Wizard). The goal of this work was to analyze how MoLIC WOz promotes reflection to its user, who plays the role of experiencing the emulation of system’s interaction. To assess this proposal, we conducted a study with twelve participants interacting with the tool. The results of this study indicate that MoLIC WOz has potential to support the communicability evaluation of MoLIC interaction diagrams through induced reflection. Further studies with the tool are suggested to verify other ways that support formative evaluations of this model.

O presente estudo busca explicar de que forma o uso de jogos digitais contribui para o processo de desenvolvimento de gestores públicos, considerando-se que a capacitação gerencial é fundamental para o alcance de resultados e para a prestação de serviços públicos de qualidade. O primeiro passo da pesquisa foi compreender na literatura o que significa o uso de jogos digitais para fins educacionais e de desenvolvimento, o que foi feito por meio de um estudo bibliométrico. Na prática, o uso de jogos digitais relaciona-se a conceitos como jogos sérios (serious games), gamificação (gamification) e aprendizado por meio de jogos (game-based learning). O estudo envolveu, então, o desenvolvimento do serious game Liderança em Jogo: Competências, Papéis e Responsabilidades, que leva em conta o contexto do setor público e foi pensado justamente como ferramenta para o desenvolvimento de gestores públicos. A aplicação do jogo foi feita por meio de um curso especialmente concebido para este trabalho e a avaliação de sua eficácia considerou o modelo de quatro níveis de Kirkpatrick (reação, aprendizado, comportamento e resultados). O impacto do uso desse jogo digital foi avaliado comparativamente por meio de um conjunto de dois experimentos completamente aleatorizados, com grupo de controle e no formato pré-teste/pós-teste (experimento 1) e pós-teste apenas (experimento 2). A pesquisa foi multimétodo, envolvendo triangulação metodológica, sendo complementada por análises qualitativas (entrevistas semiestruturadas e análise de conteúdo). Como principais resultados, foram verificados impactos nos quatro níveis avaliados. Os experimentos mostraram que, em comparação ao grupo de controle, quem joga (grupo experimental) gosta mais do processo de aprendizado (reação) e apresenta maiores níveis de atenção e relevância do modelo ARCS, desenvolvido por John M. Keller, utilizado para avaliar a motivação; demonstra maiores níveis de aquisição de conhecimento (aprendizado); desenvolve uma visão de gestão mais atrelada aos aspectos humanos (atitude como antecedente do comportamento); e vê mais impactos do treinamento sobre o resultado projetado de seu trabalho para o futuro (resultados). As entrevistas ainda indicaram que o jogo, além de ter seguido os preceitos de game design que o caracterizam como tal, provocou reflexões que resultaram em mudança de comportamento em situações do dia a dia. Assim, considerando-se o desenvolvimento gerencial do ponto de vista das competências como o conjunto de Conhecimentos, Habilidades e Atitudes (CHA) da pessoa, vê-se que o jogo digital utilizado é efetivo para o desenvolvimento gerencial, uma vez que os experimentos detectaram aquisição de conhecimentos e mudanças de atitudes. A contribuição do estudo é relevante pois, além de trazer evidências empíricas necessárias à literatura, integra em um framework conceitual as inter-relações de diversos referenciais teóricos como base para uma pesquisa operacionalizável. As principais limitações do estudo estão associadas à artificialidade dos experimentos e ao não controle de variáveis que possam ter impacto no aprendizado. Além da opção de avaliar apenas os níveis mais baixos de aprendizado da taxonomia de Bloom, com a utilização de questões diretas no instrumento de avaliação de conhecimento, o reduzido número de participantes também foi uma limitação, impactando as possibilidades estatísticas de identificar efeitos sobre os níveis de profundidade do conhecimento adquirido ou diferentes assuntos considerados no curso/treinamento. / This study aims to explain how the use of digital games can contribute to the process of development of public managers, considering that managerial capacity is key to the achievement of results and the provision of good quality public services. The first step of the research was to seek in the literature what the use of digital games means in terms of educational and development purposes. That was done through a bibliometric study. In practice, the use of digital games is related to concepts such as serious games, gamification and game-based learning. The following step involved the development of the serious game entitled Liderançaem Jogo: Competências, Papéis e Responsabilidades, which takes into account the context of the Public Sector and was built specifically as a tool for the development of public managers. The application of the game was made through a course specially designed for this study and the assessment of its effectiveness considered Kirkpatrick\'s four-level model (reaction, learning, behavior and results). The impact of the use of this digital game was evaluated through a set of two randomized experiments, with a control group and in the pre-test /post-test format (experiment 1) and post-test only (experiment 2). The research was multi-method, involving methodological triangulation and was complemented by qualitative analyzes (semi-structured interviews and content analysis). The main results show impacts in the four evaluated levels. The experiments showed that, in comparison with the control group, the subjects who play (experimental group) enjoy more the learning process (reaction) and present higher levels of attention and relevance, according to the ARCS model developed by John M. Keller, used to evaluate motivation. In addition, they demonstrate higher levels of knowledge acquisition (learning); develop a management vision more linked to human aspects (attitude as antecedent of the behavior) and see more impact of the training on the outcomes of their job for the future (results). The interviews also indicated that the game, in addition to having followed the precepts of game design led to reflections that resulted in behavior change in day-to-day situations. Therefore, considering the managerial development from the point of view of the competences as the sum of knowledge, skills and attitudes (KSA) of a person, it is seen that the digital game used is effective, once the experiments detected acquisition of knowledge and changes in attitudes. The contribution of this study is relevant because, in addition to bringing empirical evidence to the literature, it integrates the inter-relationships of several theoretical references into a conceptual framework as the basis for an executable research. The main limitations of the study are associated with the artificiality of the experiments and the non-control of variables that may have an impact on learning. Besides evaluating only the lower learning levels according to the Bloom\'s taxonomy, using direct questions in the assessment instrument, the small number of participants was also a factor of limitation, which might have impacted on statistical inference of the effects on the levels of depth of knowledge acquired or on the different topics approached in the course/training.

Esta pesquisa apresenta um modelo de custeio para apoiar decisão de formação de preços em indústrias de produção sob encomenda. Trata-se de um modelo híbrido que se vale de diferentes métodos de custeio, os quais são, por sua vez, utilizados complementarmente uns aos outros de forma a indicar adequadamente os custos e despesas ocorridos em sistemas de produção sob encomenda para uso no auxílio à formação de preços, tais como, custos de matérias primas, de transformação e despesas fixas indiretas. O modelo se vale dos seguintes métodos: custeio-padrão, custeio por unidade de esforços da produção UEP e custeio baseado em atividades e tempo - TDABC. O modelo proposto foi aplicado em uma indústria de projeto e produção sob encomenda para o setor elétrico permitindo um estudo comparativo acerca da decisão de preços em relação ao modelo atualmente utilizado e o novo modelo proposto. Na comparação realizada, para um produto selecionado, observou-se que ao se utilizar o novo modelo o preço baseado em custos deveria ser 15.5% inferior àquele que se definiria a partir do modelo atualmente aplicado pela indústria, mostrando ter o modelo proposto um tratamento mais coerente em relação aos custos de transformação e despesas da estrutura de apoio se comparado ao modelo atual, refletindo diretamente na competitividade da indústria na medida em que um preço além daquele fixado pela concorrência para uma produção sob encomenda pode afugentar a colocação do pedido pelo potencial cliente. / This research presents a cost model to support the pricing decision in make-to-order industries. The developed hybrid model uses different costing methods, which are, in turn, used in addition to each other presenting indicate adequately the costs and expenditures that occurred in make-to-order systems of production for support pricing decision, such as costs of raw materials, processing and indirect fixed costs. The model takes advantages of the following methods: standard costing, cost per added value unit - AVU and time-driven activity-based costing - TDABC. The proposed model was applied to a make-to-order Company, in this way, allowing a comparative study for the decision of prices between the new model and the current one. In a comparison, considering a selected product, It was observed that, using the new model, the price based on costs would be 15.5% lower than that which was settled using the model currently applied by the company, It shows that the proposed model may treat the processing costs and structures expenditures more consistent when compared to the current model, in this way reflecting the company\'s competitiveness as the price beyond that settled by the competitors for a make-to-order production can stave off placing an order from a potential customer.

A neutralizacao de pH e utilizada nas industrias, para garantir o descarte seguro de euentes. As plantas de neutralizacao de pH sao um problema complexo de controle, visto que a planta segue um modelo nao-linear e apresenta caractersticas variantes no tempo, o que demanda sua correta modelagem para o projeto de sistemas de controle ecientes. No entanto, a teoria referente a modelagem de pH nao e facilmente aplicada na pratica, resultando frequentemente em modelos que nao predizem corretamente o comportamento dinamico da planta. O primeiro objetivo deste trabalho foi modelar matematicamente a Planta Piloto de Neutralizacao de pH do Laboratorio de Controle de Processos Industriais (LCPI), utilizando uma metodologia que possa ser aplicada para obter o modelo matematico de outras plantas de neutralizacao de pH. Inicialmente a Planta Piloto de Neutralizacao de pH do LCPI foi modelada de acordo com a abordagem fenomenologica, utilizando-se os princpios de conservacao de massa, da eletroneutralidade e os conceitos de equilbrio qumico. Em seguida, o modelo foi ajustado aos dados experimentais do processo (abordagem emprica), utilizando-se curvas de titulacao dos inuentes e distribuicoes de tempos de residencia do reator. Atraves de experimentos, vericou-se que o modelo representou, de forma satisfatoria, a dinamica real da Planta Piloto de Neutralizacao de pH do LCPI. Ademais, este modelo foi utilizado para alcancar o segundo objetivo deste trabalho: projetar um sistema de controle de pH, o qual foi composto por um observador nao-linear e um controlador baseado em modelo. Esta estrutura de controle foi testada experimentalmente, onde certicou-se que os requisitos de controle foram satisfeitos. / The pH neutralization is used in industry to discard properly the wastewater, ensuring the environment preservation. The pH neutralization is a complex control problem, as the model of the plant presents a strong nonlinearity and time varying characteristics, which demands a proper modeling in order to design ecient control systems. However, the application of the theory related to pH modeling is not a trivial task and may result in models that can not predict the plant dynamics. The rst objective of this research was to model the pH Neutralization Pilot Plant, of the Laboratory of Industrial Processes Control (LCPI), using a methodology that could be replicated to model other pH neutralization plants. Initially, the pH Neutralization Pilot Plant was modeled with the phenomenological approach, utilizing rst principles, such as the mass conservation, electroneutrality and chemical equilibrium. Moreover, the model was adjusted to represent the process observed data (empirical approach), as its titration curves of the inuent streams and its reactor residence time distribution. Through experiments, it was veried that the model could represent adequately the real process dynamics. Furthermore, this model was used to achieve the second objective of this research: to design a pH control system, which was composed of a nonlinear observer and a modelbased control. This control structure was tested experimentally, ensuring that the control requirements were satised.

Nos estudos de populações pesqueiras é comum o uso de modelos hidrodinâmicos acoplados a modelos biológicos e, um tipo de modelo merece destaque: o baseado no indivíduo (IBM). A Plataforma Continental do Atlântico Sudoeste comporta uma importante atividade pesqueira e, a influência da circulação na distribuição de ovos/larvas nessa região é pouco entendida. Estudos anteriores sugerem que o transporte de Ekman em direção à costa e o deságue de água fluvial impedem a perda de ovos e larvas da área costeira. Este trabalho apresenta resultados de um estudo englobando os padrões de circulação e de transporte de larvas nessa área, realizado através do desenvolvimento de um IBM para os estágios iniciais da Engraulis anchoita e o acoplamento deste a dois campos de velocidade superficial: a de Ekman, e a saída de um modelo hidrodinâmico 3D. Os resultados mostram que somente a deriva de Ekman não é suficiente para explicar o padrão de retenção larval observado na região. Os valores de retenção encontrados com a utilização da saída do modelo estão próximos aos observados. Maiores concentrações larvais foram obtidas no outono/inverno e menores na primavera/verão. Estes resultados estão diretamente relacionados à combinação dos efeitos dos padrões de vento da área com a influência das Correntes do Brasil e das Malvinas e do deságue continental na circulação sobre a plataforma. / Recruitment of pelagic fishes is the net result a series of continuous events in their life cycle. Most of the variability in natural mortality is thought to occur during the early stages of development and is related to environmental factors. The use of coupled physical-biological modeling in the study of fisheries populations is very common and a particular type of model deserves special mention: the Individual Based Model (IBM). The Atlantic Southwestern Continental Shelf is one of the most productive fishing sites in the Western South Atlantic, but the processes involving the circulation in this area and its influence on eggs/larvae transport and retention are still poorly understood. Recent studies describe the spawning activity of anchovy and its relationship to oceanographic processes and suggest that predominant onshore Ekman transport, during the austral winter/spring, keeps the eggs and larvae in coastal areas. According to these studies, the river runoff contributes to the formation of a retention zone for planktonic organisms over the area. This work presents results of a study that considers both the circulation pattern and larval transport, throught the development of an IBM for the early stages of anchovy Engraulis anchoita. The model is coupled to two surface velocity fields: the Ekman drift, and the output of a 3D hydrographic model. The results show that just Ekman surface velocities are not able to explain the larval dispersion observed in this region. Retention values obtained with the model output are much closer to observed values. Autumn and winter seasons present the highest values of retention. These results are due to the combined effect of the wind patterns registered in the area with the influence of the river runoff and the Brazil-Malvinas shelf circulation.

A esquistossomose é uma das principais causas de morbidade em países Tropicais e Subtropicais, gerando graves consequências socioeconômicas. Atualmente, os fármacos disponíveis para o tratamento da desta doença são praziquantel e oxamniquina, porém relatos de baixa susceptibilidade do parasita a esses medicamentos sugerem a necessidade de novas estratégias terapêuticas para o tratamento da doença. Todavia, existe pouco interesse da indústria farmacêutica no desenvolvimento de fármacos contra doenças tropicais e negligenciadas, entre as quais se encontra a esquistossomose. Devido a estes fatores, o presente trabalho teve por objetivo geral utilizar ferramentas computacionais para identificar inibidores da SmDHFR candidatos a novos fármacos. Avaliou-se as características exclusivas para a proteína de S. mansoni por meio de uma análise das sequências FASTA em comparação com a DHFR de outros organismos. A fim de garantir a ação seletiva dessas moléculas frente a enzima do parasita, os campos moleculares de interação seletivos para SmDHFR foram calculados e empregados na construção do modelo farmacofórico, o qual foi utilizado na triagem virtual de inibidores de SmDHFR. Os estudos computacionais realizados nos permitiram a seleção de 20 moléculas com uma boa complementariedade com o modelo farmacofórico gerado e com potencial para serem inibidores de SmDHFR. / Schistosomiasis is one of morbidity\'s main causes in tropical and subtropical countries, which leads to serious socioeconomic consequences. Praziquantel and oxamniquina are the drugs currently available for treating this disease, but reports points that the parasite has been resistant to both drugs, which suggests the need for new therapeutic strategies for the treatment of this disease. However, there is little interest in the pharmaceutical industry in developing drugs against neglected tropical diseases, including schistosomiasis. Due to these factors, the present work has the general objective to use computational tools to identify SmDHFR inhibitors which could be good candidates for developing new drugs. Evaluation of the exclusive characteristics of the S. mansoni protein were performed by FASTA sequence analyses in comparison to DHFR from other organisms. In order to guarantee the selective action of these molecules against the parasite enzyme, the molecular interaction fields selective for SmDHFR were calculated and used in the construction of the pharmacophoric model, which was further used in the virtual screening of SmDHFR inhibitors. Computational studies were performed and those led us to 20 molecules with a good complementarity with the pharmacophoric model that was previously generated and with potential to be SmDHFR inhibitors.

SERVICE oriented architecture (SOA) is an architectural style to structure software systems, fostering loose coupling and dynamic integration among the applications. The use of SOA and Web services to develop complex and large business processes demands more formal and systematic testing. In addition, characteristics of this type of software limit the straightforward application of traditional testing techniques. Model-based testing (MBT) is a promising approach to deal with these problems. This dissertation investigates how two modeling techniques, namely Finite State Machine (FSM) and Event Sequence Graph (ESG), can be used to support MBT of service-oriented applications. Both techniques model different aspects and can be applied in a complementary way. Initially, we define an MBT process for service-oriented applications that employs FSMs. Based on previous experience, we propose a model-based approach to test composite services using ESGs. This approach is holistic, once test suites are generated to cover both desired situations (positive testing) and unexpected behaviors (negative testing). Three experimental studies evaluate the proposed approach: (i) a case study, (ii) a cost analysis, and (iii) a study in industry. Testing tools are also presented to support its practical use / A Arquitetura orientada a serviço (SOA) é um estilo arquitetural para estruturar sistemas de software de modo que exista um baixo grau de acoplamento entre as aplicações e essas possam ser facilmente integradas de forma dinâmica. A incorporação de SOA e serviços Web em sistemas que modelam processos de negócios grandes e complexos contribui para a necessidade de testes mais formais e sistemáticos. Além disso, características próprias dessa nova classe de software fazem com que técnicas de teste tradicionais não possam ser diretamente aplicadas. O teste baseado em modelo (TBM) apresenta-se como uma abordagem promissora que busca a resolução desses problemas. Esta tese investiga como duas técnicas de modelagem, Máquina de Estados Finitos (MEF) e Grafo de Sequência de Eventos (GSE), podem ser utilizadas para apoiar o TBM de aplicações orientadas a serviço. Essas técnicas modelam diferentes aspectos e podem ser aplicadas de forma complementar. Inicialmente, é definido um processo de TBM para aplicações orientadas a serviço que emprega MEFs. Com base na experiência adquirida, é proposta uma abordagem baseada em modelo para o teste de serviços compostos usando GSEs. Essa abordagem é holística uma vez que conjuntos de teste são gerados para cobrir tanto situações desejadas (teste positivo) quanto comportamentos inesperados (teste negativo). Três estudos experimentais avaliam a abordagem proposta: (i) um estudo de caso, (ii) uma análise de custo e (ii) um estudo na indústria. Ferramentas de teste também são apresentadas para apoiar o uso prático da abordagem proposta

A Arquitetura Orientada a Serviços (SOA) é um estilo arquitetural formado por um conjunto de restrições que visa promover a escalabilidade e a flexibilidade de um sistema, provendo suas funcionalidades como serviços. Nos últimos anos, um estilo alternativo foi proposto e amplamente adotado, que projeta as funcionalidades de um sistema como recursos. Este estilo arquitetural orientado a recursos é chamado de REST. O teste de serviços web em geral apresenta vários desafios devido a sua natureza distribuída, canal de comunicação pouco confiável, baixo acoplamento e a falta de uma interface de usuário. O teste de serviços RESTful (serviços que utilizam o REST) compartilham estes mesmos desafios e ainda necessitam que suas restrições sejam obedecidas. Estes desafios demandam testes mais sistemáticos e formais. Neste contexto, o teste baseado em modelos (TBM) se apresenta como um processo viável para abordar essas necessidades. O modelo que representa o sistema deve ser simples e ao mesmo tempo preciso para que sejam gerados casos de teste com qualidade. Com base nesse contexto, este projeto de mestrado propõe uma abordagem baseada em modelos para testar serviços RESTful. O modelo comportamental adotado foi a máquina de estados de protocolos UML, capaz de formalizar a interface do serviço enquanto esconde o seu funcionamento interno. Uma ferramenta foi desenvolvida para gerar automaticamente os casos de teste usando critérios de cobertura de estados e transições para percorrer o modelo / Service Oriented Architecture (SOA) is an architectural style consisting of a set of restrictions aimed at promoting the scalability and flexibility of a system, providing its functionalities as services. In recent years, an alternative style was proposed and widely adopted, which designs the system\'s functionalities as resources. This resource oriented architectural style is called REST. In general, the test of web services has several challenges due to its distributed nature, unreliable communication channel, low coupling and the lack of a user interface. Testing RESTful web services (services that use REST) share these same challenges and also need to obey the REST constraints. These challenges require a more systematic and formal testing approach. In this context, model based testing presents itself as a viable process for addressing those needs. The model that represents the system should be simple and precise enough to generate quality test cases. Based on this context, this work proposes a model based approach to test RESTful web services. The behavioral model used was the UML protocol state machine, which is capable to provide a formalization of the service interface, while hiding its internal behaviour. A tool was developed to automatically generate test cases using the state and transition coverage criteria to traverse the model

O planejamento da operação de sistemas hidrotérmicos pode ser classificado como um problema de um sistema acoplado no tempo e no espaço, não linear, não convexo, estocástico e de grande porte. A complexidade do problema justifica a necessidade de utilização de diversas ferramentas computacionais com abordagens variadas. Este trabalho tem como objetivo a realização de estudos relacionados ao planejamento da operação energética de sistemas hidrotérmicos de geração, pela aplicação de componentes de software e de sistemas de inferência fuzzy. Pretende-se apresentar e aplicar um processo de desenvolvimento (UML Components), baseado em componentes de software, para a construção de modelos computacionais de simulação e otimização para servir de apoio ao planejamento da operação energética do sistema hidrotérmico brasileiro. O processo de desenvolvimento UML Components é aplicado de forma a nortear o desenvolvimento do software, para englobar as diferentes atividades realizadas nos fluxos de trabalho, além de incluir os vários artefatos produzidos. Como contribuição adicional, paralelamente ao uso dos componentes de software, este trabalho apresenta uma política de operação energética para reservatórios baseada em sistemas de inferência fuzzy Takagi-Sugeno. A política proposta é baseada na otimização da operação energética das usinas hidrelétricas, empregando o modelo de otimização desenvolvido. Com a operação energética otimizada, obtém-se as relações entre a energia armazenada do sistema e o volume útil operativo de cada usina a reservatório. A partir dessas relações são ajustados os parâmetros do modelo Takagi-Sugeno de ordem um. Ao optar-se por um sistema de inferência fuzzy para determinar a política de operação energética de um conjunto de reservatórios, obtém-se uma estratégia de ação/controle que pode ser monitorada e interpretada, inclusive do ponto de vista lingüístico. Outra vantagem na aplicação de sistemas fuzzy deve-se ao fato dos operadores humanos (especialistas) poderem traduzir, de forma consistente, e em termos de regras lingüísticas, o seu processo de tomada de decisões, fazendo com que a ação do sistema fuzzy seja tão fundamentada e consistente quanto a deles. / The operation planning of hydrothermal power systems can be classified as a nonseparable, nonlinear, nonconvex, stochastic and of large scale optimization problem. The complexity of this problem justifies the need for the use of various computational tools with different approaches. This work aims the accomplishment of studies related to the operation planning of hydrothermal power systems through the implementation of software components and fuzzy inference systems. It is intended to provide and implement a development process (UML Components) based on software components for building computational model of optimization and simulation to support the operation planning of the Brazilian hydrothermal power systems. The UML Components development process is a applied in a way to guide the software development to encompass different activities realized on workflows, as well as to include the various artifacts produced. As additional contribution, in parallel to the use of software components, it is intended to present an operational policy of reservoirs based on Takagi-Sugeno fuzzy inference systems. The proposed policy is based on optimization of hydropower operation, using the optimization model developed. Through the optimized operation, relations between system stored energy and the reservoir volume of each plat are obtained. With these relationships, the parameters of the Takagi-Sugeno model are adjusted. In choosing a fuzzy inference system for determining the operational policy of a set of reservoirs, it is obtained as strategy of action/control that can be monitored and interpreted including linguistic standpoint. Another benefit of the fuzzy system application refers to the fact that human specialists can consistently represent, through linguistic rules, their decision making process, making the fuzzy system action as consistent and sound as theirs.