Search

O conhecimento da glicobiologia estrutural se mantém como a parte menos explorada do estudo de estrutras tridimensionais. Considerando que a glicosilação pode estar envolvida em processos biológicos como crescimento celular e inflamação o descrever das bases moleculares da interação proteína-carboidrato pode auxiliar na compreensão destes eventos. Neste sentido considerando o pequeno número de trabalhos avaliando o perfil conformacional de glicoproteínas por simulação de dinâmica molecular e RMN este trabalho demonstrou que o campo de força GROMOS43a1 é capaz de representar adequadamente um conjunto de glicoproteínas tendo como conformação inicial as estrutras determinadas por RMN. O próximo desafio foi simular dissacarídeos isolados em solução e comparar o seu perfil aos estudos anteriores, o que demonstrou que o conjunto de conformações de cada dissacarídeo representa as conformações obtidas em ambos os métodos. Para validar o uso de conformações de dissacarídeos como unidades de construção de glicanas em glicoproteínas foi descrita a forma glicosilada das enzimas Cox-1 e Cox-2, que não possuíam a estrutura da glicosilação, e as conformações das glicanas nestas simulações foram similares as dos dissacarídeos, comprovando que as conformações de dissacarídeos podem ser extrapoláveis para construção de glicoproteínas. Finalmente foi construída a forma glicosilada da AGP humana, uma proteína que possui diferenças funcionais associadas ao perfil das glicanas ligadas. Sabe-se que em casos de resposta inflamatória a concentração plasmática da AGP pode ser aumentada em até cinco vezes a concentração normal e durante este aumento há uma diferença no número de ramificações das glicanas e presença de resíduos de fucose. Foram simuladas três estrutras AGP, sem glicosilação e glicosilada com a presença e ausência de fucoses,. A flexibilidade da estrutura não glicosilada é muito maior que das glicoproteínas, mostrando o papel estrutural da glicosilação. Adicionalmente foi estudada a interação que a AGP com selectinas, proteínas envolvidas nos processos inflamatórios, fornecendo dados preeliminares do papel molecular da interação AGP-selectina. The knowning of strucutural glycobiology still the less explored area in threedimensional structures. Considering the envolviment of glycosylation in biological process such cellular grown and inflammation describe the molecular basis interactions of protein-carbohidrate may facilitate understanding of these events. In this way considering the small number of works evaluated the conformational profile of glycoproteins by molecular dynamics simulations and NMR this work demonstrate that the GROMOS96 43a1 force field adequately represent a glycoprotein’s conformational ensemble taking as the starting geometries, the NMR determined structures. The next step is simulate isolated disaccharides in solution and compare these proflite with previous work, which demonstrate that the conformational ensamble of disaccharides represents the conformations obtain in both methods. To validate the use of disaccharides conformations such construct units of glycans in glycoproteins, the glycosylated form of Cox-1 and Cox-2 with no previous structure were simulated, and the conformations of glycans were similar to disaccharides, proving that disaccharides conformations can be extrapolated to construct glycoproteins. Finaly it was construct the glycosylated form of human AGP, a protein with functional differentces associated to glycan linked profile. In cases of inflammatory response the the plasma concentration can rise up to fivefold and in this case the glycans differ in the branching and presence of fucose residues. Three structures of AGP were construct, unglycosylated and glycosylated with and without fucoses. The structural flexibility of unglycosylated form was higher than the glycosylated forms, demonstrated the structural role of glycans. Additionally it was study the interaction of AGP with selectins, proteins envolved in inflammatory process, supply preliminary data to molecular role of AGP-selectin interaction.

As enzimas da via do ácido chiquímico constituem um excelente alvo para o desenho de novos agentes antibacterianos. Esta rota é encontrada em bactérias, fungos, plantas e parasitas do filo apicomplexa, mas está ausente em mamíferos. A Corismato sintase (CS) catalisa o último passo desta rota, produto que é utilizado em outras reações biossintéticas, como biossíntese de aminoácidos aromáticos, folato, vitamina K e ubiquinona. Esta reação é a mais incomum de toda rota e é unica na natureza. Ela converte 5-enolpiruvil-chiqiuimato-3-fosfato (EPSP) em corismato na presença de uma flavina mononucleotídeo reduzida (FMNH2) como coenzima. A predição da estrutura tridimensional (3D) da enzima CS de Mycobacterium tuberculosis (Mtb) foi feita pela técnica de modelagem comparativa por homologia, utilizando a estrutura cristalográfica de CS de Streptococcus pneumoniae (PDB ID: 1QX0) como molde (≈ 42% de identidade), e o programa MODELLER6v2. Adicionalmente, com o intuito de entender as possíveis formas de ligação do substrato e da coenzima a enzima EPSP e flavina mononucleotídeo (FMN), repectivamente, foi feito um docking geométrico. A minimização de energia de todo o complexo mostrou, como esperado, que a maioria das interações ocorridas no molde são preservadas na estrutura de Mtb, exceto pela His11, Arg139 e Gln255. Entretanto, novas interações envolvendo Arg111, Gli113 e Ser317 também foram observadas. Este conhecimento poderá facilitar na busca por novos inibidores para esta enzima como fármacos alternativos no tratamento da tuberculose (Tb). The enzymes of the shikimate pathway constitute an excellent target for the design of new antibacterial agents. This pathway is found in bacteria, fungi, plants and apicomplexan parasites but is absent in mammals. Chorismate synthase (CS) catalyzes the last step of this pathway, the product of which is utilized in other enzymatic transformations like the biosynthesis of aromatic amino acids, folate, vitamin K and ubiquinone. This reaction is the most unusual of the entire pathway and is unique in nature. It converts EPSP to chorismate in the presence of a reduced FMN coenzime. Structure prediction used the comparative protein structure modeling methodology. The three-dimensional (3D) structure prediction of the enzyme CS of Mycobacterium tuberculosis was performed using the crystal structure (PDB ID: 1QX0) of CS from Streptococcus pneumoniae as template (≈ 42% identity), and the MODELLER6v2 package. Additionally, in order to understand the possible binding modes of substrate and coenzime to the enzyme, EPSP and FMN, respectively, were geometrically docked to CS. Energy minimization of the whole complex showed, as expected, that most of the template interactions are preserved in the Mtb structure, except for His11, Arg139 and Gln255. However, novel interactions involving Arg111, Gly113 and Ser317 were also observed. This knowledge should facilitate the search for inhibitors of this enzyme as alternative agents to treat tuberculosis.

On décrit l'application de deux méthodes analytiques à un même problème avec l'utilisation simultanée de ressources, l'évaluation des performances des interconnexions de processeurs du type multistage. On applique d'abord la méthode traditionnelle utilisant les réseaux de files d'attente et les chaînes de Markov. Aprés, on utilise une méthode avec modélisation basée sur les réseaux de Petri et l'extraction à travers des pondérations des résultats déterministes. Les modèles développés par chacun des méthodes sont comparés selon trois aspects distincts: facilité de modélisation, vitesse d'évaluation et précision des résultats. La première méthode employée, la méthode analytique traditionnelle, utilise les réseaux de files d'attente (théorie des réseaux) pour faire la modélisation et l'algorithme de convolution (constante de normalisation) pour faire l'extraction des résultats. La resolution est faire à travers l'approche stochastique traditionnelle avec les formules derivées des chaînes de Markov. La méthode d'évaluation apliquée après est basée sur les dévelopment des modèles en réseaux des Petri temporisées. Cette méthode est composée de deux parties: l'application d'une méthode analytique pure (modéle Q) et l'application des méthode approximatives. Ces méthodes approximatives font la décomposition d'un problème avec comportement variable en plusiers problèmes avec comportement déterministes et probabilitées associées. Les modèles des interconnexions multistage ont été développées avec plusiers degrés de rafinement dans tout les deux méthodes dejà citées. Les modèles de base avec des imprecisions ont été rafinés jusqu'à avoir une description la plus proche possible de la realité (les interconnexions multistage). La comparaison de tout les modèles développés est faite en trois parties pour établir les modèles les plus adequés à l'évaluation des performances des interconnexions multistage. L'adequation doit envisager la facilité de dévelopement du modèle, la vitesse et la précision des résultats. Ces informations sont prises selon la taille du problème (dimension de l'interconnexion), l'enfoque de modélisation (les paramètres à considerer) et les objectify qualitatifs de l'evaluation (ce qu'on veux savoir). Descreve-se a aplicação de dois métodos analíticos para um mesmo problema com alocação simultânea de recursos: a avaliação de desempenho de interconexões de processadores do tipo multi-estágios. Aplica-se o método analítico tradicional com redes de filas de espera e cadeias de Markov. utiliza - se apos um método com modelagem através de redes de Petri temporizadas e extração através de ponderação de resultados determinísticos. Os modelos desenvolvidos por cada um dos métodos são comparados segundo três diferentes aspectos: facilidade de modelagem, velocidade de extração e acuracidade de resultados. O primeiro método de avaliação empregado, método analítico tradicional, consiste no use de redes de filas de espera (teoria de filas) para a modelagem e do algoritmo de convolução (cálculo da constante de normalização) para a extração de resultados. A abordagem de resolução é clássica (abordagem estocástica) resultando nas formulas derivadas do modelo de cadeias de Markov. O método de avaliação aplicado em seguida esta baseado no desenvolvimento de modelos em redes de Petri temporizadas. Este método se divide na aplicação de um método analítico puro (modelo Q) e na aplicação de métodos aproximativos. Estes métodos aproximativos consistem na decomposição de um problema com comportamento variável em diversos problemas com comportamento determinístico e probabilidades associadas. Os modelos para as interconexões multi-estágios em ambos os métodos já citados são desenvolvidos com diferentes graus de refinamento. Modelos básicos com imprecisões de descrição são refinados ate ser estabelecido um modelo tão próximo quanto possível da realidade descrita (interconexão multiestágios). A comparação de todos os modelos desenvolvidos é feita em três etapas visando estabelecer quais modelos são adequados a avaliação de desempenho de interconexões multi-estágios. A adequação deve considerar aspectos como facilidade de desenvolvimento do modelo, rapidez e precisão na obtenção de resultados. Estas informações são consideradas segundo o tamanho do problema (dimensão da interconexão), o enfoque de modelagem (parâmetros relevantes) e os objetivos qualitativos da avaliacão (o que se pretende descobrir). This work describes the application of two analytic models to the multistage processor interconnections, a simultaneous resource allocation problem. First, the traditional method based on queueing networks and Markov chains is applied. After, a Petri nets based method with deterministic weigthed results is used. The models developed in each method are compared in three levels: modeling facility, evaluation speed and precision. The first evaluation method used is based on the queueing network classic method (queueing theory) to model and the convolution algorithm (normalization constant calculus) to obtain results. The classic stochastic approach is used through formules derived from Markov chains. The second method used is based on temporised Petri nets models. This method has two parts: the application of a pure analitical method (model Q) and the application of approximatives methods. This approximatives methods decompose a problem with non-fixed behaviour in several weighted problems with deterministic behaviour. The multistage interconnections models are developped with different degrees of accuracy for both methods cited. Basic models without description precision are refined until as accurate as possible model is obtained for the choosen reality (multistage interconnections). The comparison of all developped models is made in three steps aiming the qualitative judgment of the models for multistages performance evaluation. This judgment should consider the dificulty to develop the model, the speed and the precision of the results. These informations are considered taking into account the the problem size (number of elements in the interconnection), the modelling approach (relevant parameters) and the the qualitative evaluation goals (the evaluation purpose).

O desenvolvimento de aplicativos para dispositivos m?veis ? um mercado crescente desde quando surgiram as primeiras plataformas de distribui??o de grandes empresas. As plataformas de desenvolvimento mudam constantemente com adi??es de novos recursos de hardware e software organizados em diferentes frameworks, o que motiva o fato do desenvolvimento de aplicativos ser escal?vel para acompanhar as constantes atualiza??es de plataforma. Determinar a melhor maneira de preparar desenvolvedores para esta ind?stria de software emergente ? um desafio. H? uma necessidade de se identificar e construir um consenso em torno de pr?ticas de sucesso em ambientes de aprendizagem e desenvolvimento de aplicativos para dispositivos m?veis. Esta tese tem como objetivo geral propor um m?todo de apoio ao treinamento de desenvolvimento, atrav?s de uma abordagem baseada em desafios e pr?ticas ?geis, em um ambiente de ensino e desenvolvimento de aplicativos. A metodologia de pesquisa foi organizada em tr?s fases de investiga??o. Na fase um, foram identificadas as melhores pr?ticas para desenvolvimento de aplicativos para dispositivos m?veis na literatura. A partir destes resultados, na fase dois foi constru?do um m?todo preliminar integrando a aprendizagem baseada em desafios e pr?ticas ?geis. Nessa etapa tamb?m foi realizado um estudo de campo a fim de compreender o ambiente de desenvolvimento de aplicativos para dispositivos m?veis, bem como para mapear vantagens e desvantagens, identificando a viabilidade do uso do m?todo, gerando um conjunto de li??es aprendidas. Na fase tr?s um estudo de caso foi realizado em quatro universidades de regi?es distintas do Brasil, este estudo permitiu aplicar o m?todo e compreender o seu uso em diferentes regi?es, gerando um conjunto de oportunidades de melhoria, melhores pr?ticas e recomenda??es. A ado??o deste m?todo apresentou resultados em termos de percep??o de ganho de conhecimento e tamb?m resultou em projetos de aplicativos entregues ao mercado. The development of mobile applications is a growing market since when the first distribution platforms from large IT companies emerged. The development platforms constantly change with additions of new hardware and software features organized in different frameworks, which motivates the fact of being scalable application development to keep up with the constant plataform updates. Determining the best way to prepare developers for this emerging software industry is a challenge. There is a need for identifying and building a consensus around success practices in mobile application learning and development environments. This thesis has as main objective to propose a method to support application development training through challenge based learning and agile practices. This research methodology was organized into three research phases. In phase one, the best practices for mobile application development in the literature have been identified. From these results, in phase two a preliminary method integrating challenge based learning and agile practices was proposed. Also, this step carried out a field study in order to understand the mobile application development environment, as well as to map advantages and drawbacks, identifying the method feasibility, providing a set of lessons learned. In phase three a case study was conducted in four universities in different regions of Brazil, this study allowed to apply the method and to understand its use in different regions and generated a set of improvement opportunities, best practices and recommendations. The adoption of this method presented results in terms of knowledge gain perception and also resulted on mobile application projects delivered to the market.

Este estudo apresenta um m?todo para avaliar o desempenho de equipes de projetos de desenvolvimento de software usando Redes de Aut?matos Estoc?sticos. Para a aplica??o deste m?todo foi criada a ferramenta ?Avalia??o de Desempenho?. Esta ferramenta pode ser usada por Gerentes de Projetos e Analistas de M?tricas para simular cen?rios de execu??o dos projetos. De acordo com o desempenho atual da equipe do projeto, o Gerente de Projetos poder? prever o esfor?o necess?rio para realizar o projeto, a data prov?vel para a sua conclus?o e o seu custo total. Atrav?s do resultado desta simula??o, o Gerente de Projetos ser? capaz de tomar as a??es necess?rias para mitigar o impacto no prazo e custo do projeto. Al?m disso, o Analista de M?tricas poder? validar a melhor produtividade a ser usada no projeto. A ferramenta tem um grande potencial para ser usada em conjunto com as boas pr?ticas de gest?o de projetos descritas no Guia do PMBoK. O estudo descreve todos os processos do PMBoK com foco no grupo de processos de monitoramento e controle e como a ferramenta de avalia??o de desempenho pode contribuir na gest?o do projeto. O estudo tamb?m apresenta trabalhos relacionados onde Redes de Aut?matos Estoc?sticos podem contribuir significativamente para a ?rea da Engenharia de Software. O estudo tamb?m apresenta a avalia??o de dois cen?rios que foram criados na ferramenta com dados reais de dois projetos e no final foi realizada uma compara??o entre os dados reais e os resultados da simula??o. Por fim, s?o apresentadas melhorias e sugest?es para futuras implementa??es na ferramenta ?Avalia??o de Desempenho?. This study presents a method to evaluate the performance of teams of software development projects using Stochastic Automata Networks. For the application of this method, a ?Performance Evaluation? tool was created. This tool can be used by Project Managers and Metrics Analysts to simulate scenarios of execution in the projects. According to the present performance of the project team, the Project Manager can foresee the necessary effort to accomplish the project, probable date for its conclusion and its total cost.Through the result of this simulation, the Project Manager will be able to take the necessary actions to mitigate the impact in the project deadlines and cost. Furthermore, the Metrics Analyst can validate the best productivity to be used in the project. The tool has a great potential to be used together with good project management practices described in the PMBoK Guide. The study describes all the processes of the PMBoK with focus in the group of monitoring and control processes and how the Performance Evaluation tool can contribute to the project management. The study also presents related works where Stochastic Automata Networks can contribute significantly to Software Engineering area. The study also presents the evaluation of two scenarios that were created in the tool using real data of two projects and in the end a comparison was made between the real data and the simulation results. Finally, improvements and suggestions are presented for future implementations in the ?Performance Evaluation? tool.

O prolifera??o do uso de softwares no dia a dia de diversas institui??es ? um fato incontest?vel, quer seja institui??es acad?micas, industriais, comerciais, dentre outras. Esta grande procura de softwares cria um ambiente de grande press?o na academia e na ind?stria de software no que se refere a capacidade de resposta da grande demanda. A avalia??o de desempenho pode ser um dos grandes benef?cios para as institui??es, na tomada de decis?es que podem contribuir no aumento e melhoria da capacidade de resposta da crescente demanda. O presente trabalho tem como objetivo mostrar, com base num estudo de caso, a aplica??o de modelagem estoc?stica para avalia??o de desempenho de uma equipe de desenvolvimento de software que tem o modelo de processos Waterfall como base do projeto de software. Apesar de ser um modelo que vem sofrendo cr?ticas, tem sido um recurso em v?rios projetos de software pela sua estrutura r?gida e muito focada no gerenciamento. Alguns dos fatores que garantem um bom gerenciamento s?o as fases do projeto bem distintas, onde uma fase n?o se inicia sem que a outra tenha terminado e o foco para documenta??o que ajuda no hist?rico institucional ao longo do tempo. The proliferation of the use of software on a daily basis from various institutions is an indisputable fact, whether academic institutions, industrial, commercial, among others. This great looking software creates a great pressure environment in academia and software industry regarding the responsiveness of the great demand. The performance assessment can be a major benefit to the institutions, decision-making can contribute in increasing and improving the responsiveness of growing demand. This paper aims to show, based on a case study, the use of stochastic modeling for performance evaluation of a software development team that has the waterfall model based software design. Despite being a model that has been criticized, it has been a feature in various software projects for its rigid structure and focused management. Some of the factors that ensure a good management are very different design phases where one phase does not start without the other has finished and documentation that helps to focus the institutional history over time. Conselho Nacional de Pesquisa e Desenvolvimento Cient?fico e Tecnol?gico - CNPq

Atualmente as tecnologias de Processamento de Linguagem Natural (PLN) est?o sendo utilizadas em an?lises de enormes quantidades de dados. Com o advento das novas m?dias e a ado??o em massa das redes sociais, o fluxo de informa??es geradas a cada segundo ? o maior da hist?ria. Embora isso se concentre, em maior parte, por informa??es e arquivos de multim?dia, uma grande parcela da informa??o produzida, principalmente nas redes sociais, ? textual. Desta forma, as solu??es de PLN necessitam ser mais robustas do que jamais foram, encontrando solu??es de processamento que possam acompanhar esta gera??o constante de informa??es ou pelo menos apresentar resultados melhores se comparados aos procedimentos utilizados anteriormente. Os etiquetadores ou taggers s?o um dos principais componentes da PLN. Sua fun??o, explorada neste trabalho ? a capacidade de observar e catalogar as palavras em um texto de acordo com suas fun??es morfossint?ticas. O nome comumente dado a este processo ? o de POST (Part-Of-Speech Tagging). Dentro do contexto Part-Of-Speech (POS) encontra-se a fun??o de processar e identificar um grupo de palavras agrupando-as em tipos pr?-definidos. Este agrupamento pode ocorrer em raz?o sint?tica, morfol?gica ou morfossint?tica. Embora a velocidade de processamento seja uma carater?stica digna de nota, quando tratamos de etiquetadores, a acuidade obtida por seu processo deve ser a premissa. O conceito da obten??o de etiquetas sem?nticas a partir de avalia??es dos textos embora pare?a simples em um primeiro momento, apresenta v?rios desafios. Um dos maiores desafios encontrado em PLN ? o problema da ambiguidade. Esta situa??o que ocorre nas mais diversas etapas do processamento de linguagem natural ? complexa, devido ? necessidade de que a aplica??o processadora tenha conhecimentos abrangentes que possam ser utilizados como ferramentas que colaborem no intuito de realizar as escolhas mais corretas. Devido ao fato de se tratar de um problema antigo, inerente ? linguagem natural e existente desde o come?o das pesquisas da ?rea, diversas possibilidades de minimizar suas consequ?ncias foram propostas. O presente trabalho enumera algumas das propostas encontradas, adicionando a possibilidade de uso de estruturas do tipo MTMDD no processo, buscando um ganho substancial de desempenho. The Natural Language Processing technologies (PLN) are being used for analysis of huge amounts of data. With the advent of new media and mass adoption of social networking, the flow of information generated every second is the largest in history. The majority of that is multimedia files. Meanwhile, a large portion of the information produced, especially in social network, is textual. Thus, PLN solutions need to be more robust than they ever were, finding processing solutions that might accompany this constant information production or at least provide better results compared to procedures previously used. The labelers or taggers are a major component of PLN. Its function, explored in this work is the ability to observe and catalog the words in a text according to their morphosyntactic functions. The name commonly given to this process is the POST (Part-Of-Speech Tagging). Within the context Part-Of-Speech (POS) is the function to process and identify a group of words by grouping them into pre-defined types. This grouping can occur due to syntactic, morphological or morphosyntactic. Although the processing speed is a worthy feature, when we deal with labelers, the accuracy obtained for its process should be the premise. The concept of obtaining semantic labels from texts evaluations seems simple at first sight, although presents several challenges. One of the major challenges encountered in PLN is the problem of ambiguity. This situation, which occurs in several stages of natural language processing, is complex due to requires comprehensive knowledge from the processing application using that as tools to collaborate in order to implement the most correct choices. It is a classic problem, inherent to natural and existing language since the beginning of the researches of this area. Several possibilities to minimize its consequences have been proposed since then. This paper lists some of the proposals found on the literature by adding the possibility to use MTMDD structures during the process, looking for a substantial performance gain.

Avalia??o de desempenho de projetos ? um aspecto importante em desenvolvimento de software Distribu?do. Empresas e institui??es podem obter benef?cios atrav?s da utiliza??o de an?lise de performance em times trabalhando em diferentes locais. Este trabalho tem como objetivo apresentar uma defini??o de modelagem estoc?stica para projetos Follow-The-Sun (FTS) em diferentes aspectos como tempo, qualidade e custo. Exemplos de uso do modelo s?o apresentados em conjunto com os resultados de avalia??o dos mesmos. Projects performance evaluation is an important aspect of global software development. Companies and institutions can obtain benefits by the use of performance evaluation of teams working in different sites. The objective of this work is to discuss a stochastic model definition to performance evaluation of Follow-The-Sun (FTS) projects aspects such as time, quality and cost. Example issues that can be addressed using this FTS model are provided with performance evaluation results.

Na ?rea de Minera??o de Dados, experimentos vem sendo realizados utilizando Conjuntos de Classificadores. Estes experimentos s?o baseados em compara??es emp?ricas que sofrem com a falta de cuidados no que diz respeito ? quest?es de aleatoriedade destes m?todos. Experimentamos o Random Forests para avaliar a efici?ncia do algoritmo quando submetido a estas quest?es. Estudos sobre os resultados mostram que a sensibilidade do Random Forests ? significativamente maior quando comparado com a de outros m?todos encontrados na literatura, como Bagging e Boosting. O proposito desta disserta??o ? diminuir a sensibilidade do Random Forests quando submetido a aleatoriedade. Para alcan?ar este objetivo, implementamos uma extens?o do m?todo, que chamamos de Random Forests Estoc?stico. Logo especificamos como podem ser alcan?adas melhorias no problema encontrado no algoritmo combinando seus resultados. Por ?ltimo, um estudo ? apresentado mostrando as melhorias atingidas no problema de sensibilidade In the Data Mining area experiments have been carried out using Ensemble Classifiers. We experimented Random Forests to evaluate the performance when randomness is applied. The results of this experiment showed us that the impact of randomness is much more relevant in Random Forests when compared with other algorithms, e.g., Bagging and Boosting. The main purpose of this work is to decrease the effect of randomness in Random Forests. To achieve the main purpose we implemented an extension of this method named Stochastic Random Forests and specified the strategy to increase the performance and stability combining the results. At the end of this work the improvements achieved are presented

Atualmente, existe uma crescente demanda por se disponibilizar, atrav?s da Internet, software na forma de servi?os. Este novo modelo de neg?cio ? denominado de Software como Servi?o, aonde aplica??es n?o s?o mais vendidas como um produto, mas sim cedidas na forma de um servi?o e utilizados por clientes, que pagam apenas de acordo com a utiliza??o. Entretanto, solu??es que n?o foram desenvolvidas com o foco em integra??o, n?o conseguem entrar facilmente nesta nova tend?ncia. PEPS (Performance Evaluation of Parallel Systems) e PLAT (Production Line Analysis Tool) s?o exemplos de ferramentas que se enquadram nesta situa??o. Apesar de serem solu??es eficientes e confi?veis para a solu??o de, respectivamente, modelos de Redes de Aut?matos Estoc?sticos e modelos te?ricos de linhas de produ??o seriais, nenhuma das duas possui mecanismos de integra??o. Neste sentido, este trabalho prop?e: Primeiro, a especifica??o de um framework gen?rico e reutiliz?vel para a disponibiliza??o de ferramentas na forma de servi?os; Segundo, as implementa??es deste framework para a disponibiliza??o dos software PEPS e PLAT na forma de servi?os. Currently, there is a growing trend for exposing software, through the Internet, as services. This new business model is called Software as a Service , where applications are no longer sold as a product, but instead are rented as a service and used by customers, who pay only according to use. However, solutions that were not developed with a focus on integration, can not easily enter into this new trend. PEPS (Performance Evaluation of Parallel Systems) and PLAT (Production Line Analysis Tool) are examples of tools into this situation. Although they are efficient and reliable solutions to solve, respectively, Stochastic Automata Networks models and theoretical performance models of serial production lines, neither have mechanisms for integration. Thus, this work proposes: Firstly, the specification of a generic and reusable framework for the provision of legacy codes as services; and secondly, the implementation of this framework for the provision of PEPS and PLAT as services.

Encontrar petr?leo ? uma tarefa dif?cil que requer grandes quantidades de informa??es e recursos. Ao longo de d?cadas de pesquisa, os ge?logos da Petrobras acumularam grandes quantidades de dados. Al?m disso, na geologia do petr?leo outras fontes de dados s?o importantes, fontes estas, que em geral est?o dispersas e possuem v?rias formas de represen??o. Esta disserta??o relata a cria??o de um banco de dados que agrega diversos dados de origem paleoclim?tica e paleogeogr?fica provenientes do Atl?ntico Sul. Grande parte destes dados foram extra?dos de cartas estratigr?ficas, convertidos e armazenados em forma de um modelo num?rico. Modelo este, que ? resultado de agrega??es de dados provenientes das bacias sedimentares brasileiras e da cria??o de uma solu??o algor?tmica capaz de mapear os dados coletados ao longo da ?rea designada. Estes dados s?o relativos a um per?odo de tempo entre a idade geol?gica atual at? 140 milh?es de anos atr?s. Os 140 milh?es de anos correspondem ao per?odo de deslocamento do continente Sul-Americano desde a costa da ?frica at? a posi??o atual. Durante esse deslocamento houveram diversas mudan?as naturais nas bacias sedimentares oce?nicas at? chegarem ao estado atual. O grupamento destes dados potencializa a descoberta de conhecimento relativo aos fatores necess?rios para a deposi??o de mat?ria org?nica e gera??o de petr?leo no fundo do mar, assim, estes novos fatores podem vir a melhorar as probabilidades de descoberta de petr?leo. Finding oil is a hard task that requires large amounts of information and resources. Along decades of research, geoscientists from Petrobras have accumulated great amout of data. Therefore, in petroleum geology other sources of important data are generally dispersed and have many forms of representation. This Master Thesis reports the creation of a database that stored various geophysical, paleogeographic and paleoclimatic data from the South Atlantic. Great part of these data were extracted from stratigraphic charts, converted, and stored as a numeric model. This model is the result of an aggregation of data from the Brazilian Sedimentary Basins and the creation of an algorithm solution able to map collected data at the designated geographical area. These data cover the past 140 millions years. The 140 millions of years correspond to a drift period of the South American Plate from the African west coast to the present location. During this drift several natural changes happened in the Ocean Sedimentary Basins until they reached the actual state. The grouping of these data enhances the potential to knowledge discovery on the factors necessary for the deposit of organic matter and oil generation, in consequence, these new factors may improve the chances of finding oil.

Este trabalho apresenta o formalismo para modelagem de sistemas chamado Redes de Aut?matos Estoc?sticos (SAN). O formalismo SAN tem o objetivo de aumentar o n?vel de abstra??o e oferece uma alternativa de modelagem mais sofisticada do que a proporcionada pelas tradicionais Cadeias de Markov (MC). Este formalismo utiliza a ?lgebra tensorial cl?ssica (CTA) e geralizada (GTA) para simplificar a matriz das transi??es entre os estados do modelo. Embora todos os modelos SAN descritos utilizando GTA possuam pelo menos um modelo equivalente descrito utilizando CTA, e que a solu??o de certos modelos utilizando CTA possa ser mais r?pido que o modelo equivalente que utiliza GTA, este trabalho prop?e um algoritmo para traduzir um modelo descrito em GTA para o modelo equivalente descrito em CTA. Espera-se com isto permitir que um modelo descrito utilizando fun??es (usando GTA) possa ser resolvido mais rapidamente ou ocupando menos mem?ria atrav?s da solu??o de seu modelo convertido para CTA This work presents a formalism for modeling systems called Stochastic Automata Networks (SAN), SAN formalism aims to increase the abstraction s level and provides a sophisticated alternative model to the tadicional formalism of Markov Chains (MC). SAN uses both Classical (CTA) and Generalized Tensor Algebra (GTA) to simplify the matrix of transitions between states of the model. Despite all models described with GTA having at least one equivalent model described using CTA, and that the solution of certain models based on CTA could be faster than the equivalent GTA based model, this dissertation proposes an algorithm for translating a model described in GTA into the equivalent model described in CTA. It is expected that some models described using functions (using GTA) could be solved more quickly or taking less memory through the solution of its CTA-converted model

As recentes pesquisas na área de Gestão de Processos de Negócio (GPN) vêm contribuindo para aumentar a eficiência nas organizações. A GPN pode ser compreendida como o conjunto de métodos, técnicas e ferramentas computacionais desenvolvidas para amparar os processos de negócios. Tipicamente, a GPN é fundamentada por modelos de processos. Esses modelos, além de permitirem a automação da configuração e execução, aumentam a capacidade de análise dos processos de negócio. Apesar de auxiliar os especialistas de negócio nas diferentes fases envolvidas no ciclo de vida de um processo de negócio (projeto, configuração, implantação/execução e a análise), os modelos definidos em linguagens específicas de domínio, como a BPMN (Business Process Model and Notation), não são os mais apropriados para amparar a fase de análise. De formal geral, esses modelos não possuem uma semântica operacional formalmente definida (o que limita o seu uso para a verificação e validação dos processos) e nem mecanismos para quantificar o comportamento modelado (o que impossibilita a análise de desempenho). Neste trabalho de doutorado, nós desenvolvemos um arcabouço que ampara e automatiza os principais passos envolvidos na análise de desempenho de processos de negócio via modelagem analítica. Nós estudamos a viabilidade da aplicação de três formalismos Markovianos na modelagem de processos de negócio: as Redes de Petri Estocásticas, as Álgebras de Processo Estocásticas e as Redes de Autômatos Estocásticos (SAN, do inglês Stochastic Automata Networks). Escolhemos SAN como formalismo base para o método proposto neste trabalho. Nosso arcabouço é constituído por: (i) uma notação para enriquecer modelos de processos de negócio descritos em BPMN com informações sobre o seu gerenciamento de recursos, e (ii) um algoritmo que faz a conversão automática desses modelos não-formais de processos para modelos estocásticos em SAN. Com isso, somos capazes de capturar o impacto causado pela contenção de recursos no desempenho de um processo de negócio. A partir de um modelo em SAN gerado com o nosso arcabouço, podemos predizer variados índices de desempenho que são boas aproximações para o desempenho esperado do processo de negócio no mundo real. Recent results in the research field of Business Process Management (BPM) are contributing to improve efficiency in organizations. BPM can be seen as a set of methods, techniques and tools developed to support business processes in their different requirements. Usually, the BPM techniques are based on a process model. In addition to enabling automated process configuration and execution, these models also increase the analizability of business processes. Despite being able to support business specialists in different phases of the life cycle of a business process (design, configuration, execution, and analysis), the models created in domain-specific languages, such as BPMN (Business Process Model and Notation), are not the most appropriated ones to support the analysis phase. Generally, these models have neither a formally defined operational semantics (which hinders their use for verification and validation), nor mechanisms to quantify the modeled behavior (which hinders their use for performance analysis). In this PhD research, we developed a framework to support and to automatize the main steps involved in the analytical modeling of business processes aiming performance evaluation. We studied the viability of applying three Markovian formalisms in business process modeling: Stochastic Petri Nets, Stochastic Process Algebras and Stochastic Automata Networks (SAN). We have chosen SAN to support the method proposed in this work. Our framework is composed of: (i) a notation to enrich BPMN business process models with information concerning the associated resource management and (ii) an algorithm that automatically converts these non-formal business process models in SAN stochastic models. With this, we are able to capture the impact caused by resource contention in the performance of a business process. From a model generated through our framework, we are able to extract varied performance indices that are good approximations for the expected process performance in the real world.

O objetivo deste trabalho ? fornecer uma ferramenta para simula??o visual de SAN. O formalismo SAN, atrav?s da ferramenta PEPS, utiliza solu??es num?ricas para calcular erros de avalia??es condicionais ou comportamento n?o esperado de sistemas modelados atrav?s deste formalismo. Estas solu??es num?ricas s?o a base para os formalismos estruturados na medida em que fornecem resultados num?ricos por meio de rela??es matem?ticas. Complementar a efici?ncia de solu??es num?ricas com a simula??o visual ? bastante interessante, pois adiciona informa??es mais detalhadas sobre o modelo o que facilita que usu?rios acad?micos iniciantes ou pesquisadores tenham um maior entendimento da aplicabilidade do formalismo estruturado. Esta disserta??o descreve uma ferramenta para modelagem e simula??o visual de SAN que em sua estrutura define um esquema de armazenamento compacto para a matriz de transi??o da cadeia de Markov e usa a ?lgebra tensorial para lidar com as multiplica??es de vetores de base da matriz. Esta ferramenta permitir? aos usu?rios acad?micos ou entusiastas do formalismo SAN manipular modelos sem a preocupa??o de um dom?nio profundo dos conceitos deste formalismo estruturado. This study aims to develop a tool to visually simulate Stochastic Automata Networks (SAN). The SAN formalism uses the PEPS tool for numerical solution, evaluating unexpected behaviors. These numerical solutions are the core for structured formalisms since they provide numerical results based on mathematical relationships. It is very interesting to complement the numerical solution with visual simulations because it adds more detailed information about models, making them more understandable for broader audiences of researchers and general users. The present dissertation describes a tool for modeling and visual simulation of SAN models, since its internal structure defines a compact storage schema (a Descriptor) for the transition matrix representing the underlying Markov Chain and uses tensor algebra to deal with the vector-descriptor multiplication. The proposed tool will allow both academic users and enthusiasts of the SAN formalism to manipulate models abstracting a deeper knowledge of this structured formalism.

O prop?sito desta disserta??o ? propor uma representa??o tensorial para Modelos Markovianos Ocultos (Hidden Markov Models HMM). A forma escolhida para alcan?ar esse objetivo passa pelo estudo de como converter um modelo HMM em um modelo SAN (Stochastic Automata Networks): estruturado e cujo formato tensorial ? conhecido. A estrat?gia de convers?o consiste na cria??o de dois aut?matos, um correspondendo ? cadeia de Markov oculta e outro para representar as emiss?es do modelo HMM. Esses aut?matos se relacionam por transi??es sincronizadas e depend?ncias funcionais s?o definidas. Um passo intermedi?rio ? necess?rio para mostrar a equival?ncia entre as representa??es SAN e HMM, sendo este passo a obten??o de uma cadeia de Markov global capaz de representar o modelo HMM. A igualdade entre as cadeias de Markov globais obtidas a partir de ambos os formalismos SAN e HMM constitui a prova de equival?ncia.

Os formalismos estruturados foram definidos ao longo dos anos com o objetivo de aumentar o n?vel de abstra??o e oferecer uma alternativa de modelagem mais sofisticada do que a proporcionada pelas tradicionais Cadeias de Markov. Exemplos de formalismos estruturados que utilizam ?lgebra tensorial para o armazenamento de seus descritores s?o as Redes de Aut?matos Estoc?sticos, as Redes de Petri Estoc?sticas Generalizadas Superpostas e as ?lgebras de Processo. Tais descri??es utilizam primitivas de modelagem entre seus componentes capturando sua sem?ntica operacional e permitindo a sua an?lise ao retornarem ?ndices quantitativos de desempenho quando s?o resolvidos numericamente. Os mecanismos atuais de solu??o usam propriedades da ?lgebra Tensorial (cl?ssica ou generalizada) para multiplicar termos tensoriais de eventos entre os estados dos modelos (i.e., um descritor Markoviano) por um vetor de probabilidade, que cont?m a solu??o estacion?ria ou transiente. Esta opera??o ? chamada de Multiplica??o Vetor-Descritor (MVD) e ? realizada de tr?s maneiras b?sicas: de forma esparsa (ineficiente em mem?ria, eficiente em tempo), utilizando o Algoritmo Shuffle (eficiente em mem?ria, ineficiente em tempo para algumas classes de modelos) ou atrav?s do Algoritmo Split, que ? uma combina??o das duas primeiras abordagens. A principal contribui??o deste ?ltimo foi a proposi??o de um m?todo h?brido onde incrementa-se a mem?ria (de forma razo?vel) para acelerar o c?lculo efetuado por itera??o. Entretanto, o principal desafio do Algoritmo Split ? relativo ? determina??o de cortes de cada termo tensorial e em como re-estrutur?-lo para reduzir o custo computacional por itera??o, acelerando a converg?ncia de modelos estruturados. Este trabalho aborda estes problemas, baseando-se em tr?s eixos: i) na discuss?o das primitivas de modelagem para composi??o de sistemas atrav?s de formas mais abstratas de descri??o, ii) nas diferentes formas de tratamento de termos tensoriais de descritores Markovianos para execu??o mais otimizada da MVD a partir de re-estrutura??es das ordens originais, e iii) na execu??o do Algoritmo Split com taxas constantes ou funcionais demonstrando os resultados obtidos para diversas classes de modelos. Para os casos observados, foi demonstrado atrav?s de experimentos que o melhor ganho, balanceando-se tempo e mem?ria, ? verificado quando as matrizes dos termos tensoriais s?o reordenadas, tratando as do tipo identidade na parte estruturada e avaliando-se os elementos funcionais uma ?nica vez na parte esparsa. Ao avaliar as fun??es somente uma vez em todo o processo de MVD, converte-se os descritores generalizados para cl?ssicos em tempo de execu??o e promove-se ganhos consider?veis em tempo para determinadas classes de modelos. Observou-se tamb?m que as atividades de sincroniza??o ou comunica??o entre os m?dulos ou parti??es envolvidas bem como o total de par?metros das depend?ncias funcionais realizam um papel crucial no desempenho obtido. A presente tese ? finalizada identificando as classes de modelos mais adequadas para a utiliza??o do Algoritmo Split, propondo formas de re-estrutura??o de descritores Markovianos que privilegiem a esparsidade e a exist?ncia de matrizes do tipo identidade para balancear os custos em mem?ria e tempo de execu??o.

Atrav?s de formalismos Markovianos ? poss?vel modelar diversos sistemas e resolv?-los atrav?s de solu??es computacionais espec?ficas possibilitando prever ou avaliar seus padr?es de comportamento. O formalismo de Redes de Aut?matos Estoc?sticos (SAN) permite descrever modelos Markovianos de forma compacta e modular. Al?m disso, ? utilizado para obter ?ındices de desempenho de sistemas atrav?s de solu??es num?ricas iterativas que se baseiam em um descritor e um vetor cujo tamanho ? igual ao espa?o de estados do modelo. Dependendo do tamanho do modelo esta opera?ao torna-se computacionalmente onerosa e muitas vezes impratic?vel. Um m?todo alternativo para calcular ?ndices a partir de um modelo ? a simula??o, principalmente porque ela simplesmente exige a defini??o de um gerador de n?meros pseudo-aleat?rios e fun??es de transi??o entre estados que permitem a cria??o de uma trajet?ria. O processo de amostragem pode ser diferente para cada t?cnica estabelecendo algumas regras para coleta de amostras para posterior an?lise estat?stica. As t?cnicas de simula??o, normalmente requerem muitas amostras para calcular ?ndices de desempenho estatisticamente relevantes. Este trabalho proporciona compara??es da precis?o dos resultados de alguns modelos Markovianos obtidos a partir da execu??o de diferentes t?cnicas de simula??o. Al?m disso, prop?e uma maneira distinta de simular modelos Markovianos usando um m?todo baseado em estat?stica Bootstrap para minimizar o efeito de escolha das amostras. A efic?cia do m?todo proposto, denominado Bootstrap simulation, ? comparado com resultados da solu??o num?rica para um conjunto de exemplos descritos por meio do formalismo de modelagem SAN.

O processo de desenvolvimento de software ? uma tarefa que envolve um conjunto de atividades a serem realizadas, e em muitos casos, por equipes grandes que podem se encontrar geograficamente dispersas. Isso exige do desenvolvedor a utilizac?o de m?todos que proporcionem uma vis?o de todas as etapas desse processo de desenvolvimento. A UML (Unified Modeling Language) ? uma linguagem de modelagem que possibilita essa vis?o atrav?s do uso de diagramas que demonstram graficamente a estrutura do software em desenvolvimento. O diagrama de atividades ? utilizado para modelar o comportamento do sistema, atrav?s dos fluxos de execu??o de cada atividade desempenhada pelo mesmo. Com o objetivo de obter um modelo comportamental de sistemas computacionais apresentamos neste trabalho uma proposta de convers?o de diagramas de atividades para SAN (Stochastic Automata Networks), um formalismo matem?tico que possibilita a modelagem de sistemas em geral, a partir do qual ? poss?vel extrair ?ndices probabil?sticos relacionados aos estados, permitindo aos respons?veis pelo processo de desenvolvimento tomar decis?es sobre os recursos alocados no projeto. Com o intuito de demonstrarmos como executar a convers?o, usamos uma vers?o simplificada dos elementos do diagrama de atividades da UML, para descrever os par?metros e regras utilizadas para a convers?o proposta. Apresentamos ainda os resultados obtidos a partir do modelo SAN gerado.

A solu??o de modelos markovianos com grande espa?o de estados ? um dos maiores desafios da ?rea de avalia??o de desempenho de sistemas. Os formalismos estruturados, como as Redes de Aut?matos Estoc?sticos (SAN), foram propostos para descrever m?ltiplos componentes atrav?s de aut?matos, cujas transi??es s?o regidas por eventos locais ou sincronizantes, com taxas de ocorr?ncia constantes ou funcionais. Devido ? capacidade de representa??o modular de SAN, atrav?s do uso de ?lgebra tensorial (ou de Kronecker), armazena-se o gerador infinitesimal do modelo de forma compacta e eficiente em mem?ria. Os m?todos num?ricos de sol??o que calculam a distribui??o estacion?ria das probabilidades s?o adaptados a estas representa??es tensoriais. A opera??o b?sica ? a multiplica??o vetor-descritor, que ? produto de um vetor de probabilidades por termos tensoriais compostos por matrizes normalmente esparsas. O principal algoritmo chama-se Shuffle e ? caracterizado pelo acesso e embaralhamento de posi??es do vetor quando multiplicado pelas matrizes de cada termo. Este m?todo ? considerado extremamente eficaz no armazenamento em mem?ria, entretanto apresenta um tempo de processamento alto para a solu??o de modelos reais. Prop?e-se um algoritmo h?brido e mais flex?vel para a multiplica??o vetor-descritor, chamado Split, que coloca o algoritmo Shuffle em perspectiva, apresentando ganhos significativos no tempo de execu??o para diversas classes de modelos, sem onerar os recursos computacionais. Entretanto, quando os modelos aumentam em escala, este algoritmo num?rico torna-se inadequado devido ao problema da explos?o do espa?o de estados. Para mitigar o impacto deste problema prop?e-se o uso de solu??es alternativas de simula??o, as quais buscam estimar a distribui??o estacion?ria de probabilidades t?o pr?ximas quanto poss?vel das solu??es anal?ticas, baseando-se na execu??o de longas trajet?rias. Utiliza-se a t?cnica de simula??o baseada em amostragem perfeita (tamb?m chamada de simula??o exata), para fornecer amostras confi?veis da distribui??o estacion?ria atrav?s do casamento de trajet?rias, em tempo de simula??o reverso. Esta difere-se da simula??o tradicional por evitar o per?odo transiente e a escolha aleat?ria de um estado inicial. Mostra-se a viabilidade destes algoritmos aplicados a SAN, principalmente quando se detectam propriedades de monotonicidade nos modelos. Espa?os de estados parcialmente ordenados e propriedades de monotonicidade permitem a execu??o de um n?mero reduzido de trajet?rias em paralelo para obten??o de uma amostra. A an?lise num?rica iterativa e a simula??o de modelos estoc?sticos s?o abordagens que apresentam vantagens e limita??es quando aplicadas ? solu??o de modelos estruturados como SAN. A principal contribui??o desta tese foca na redu??o do impacto da explos?o do espa?o de estados de modelos markovianos descritos em SAN, propondo solu??es quando o tempo de computa??o das t?cnicas anal?ticas ? muito longo ou quando os requisitos de armazenamento do vetor de probabilidade excedem a capacidade de mem?ria das tecnologias correntes.

A an?lise comportamental de um processo permite a detec??o de defici?ncias, assim como avaliar o impacto no desempenho do mesmo causado por mudan?as no ambiente. O uso de modelos anal?ticos para descrever o processo em observa??o fornece estes dados atrav?s da resolu??o de sistemas de equa??es. No caso de modelagens feitas com a utiliza??o de formalismos como Rede de Aut?matos Estoc?sticos, a resolu??o destes sistemas depende da multiplica??o de vetores por estruturas definidas atrav?s da ?lgebra tensorial. Por ter um alto custo computacional, diversos algoritmos foram propostos para resolver esta multiplica??o. Recentemente a solu??o iterativa Split foi proposta, e o objetivo deste trabalho ? apresentar alternativas paralelas e otimiza??es para a mesma, buscando um melhor desempenho da solu??o

Os desafios que a engenharia global de software vem enfrentando atualmente em fun??o das grandes dist?ncias geogr?ficas continuam cada vez mais complexos. A globaliza??o de companhias tem afetado diretamente o mercado de desenvolvimento de software. Na busca por diferenciais competitivos que resultem em custos mais baixos e um alto ?ndice de produtividade e qualidade no desenvolvimento de software, diversas empresas multinacionais optaram por expandir suas fronteiras e come?aram a expandir o seu desenvolvimento de software nos pa?ses emergentes do bloco BRIC (Brasil, R?ssia, ?ndia e China) em fun??o dos incentivos fiscais favor?veis e m?o de obra especializada abundante. Torna-se cada vez mais necess?rio identificar alternativas de processos de desenvolvimento de software que sejam mais leves e menos burocr?ticos que contribuam para a agilidade das equipes distribu?das e aliviem os efeitos negativos que a distribui??o geogr?fica traz para o desenvolvimento global de software. Nesse sentido, esta disserta??o de mestrado tem como objetivo avaliar os efeitos causados pela ado??o de pr?ticas de desenvolvimento ?gil nos principais desafios enfrentados por projetos GSD. O m?todo de pesquisa utilizado foi o estudo de caso tendo como unidade de an?lise um projeto de desenvolvimento global de software envolvendo a participa??o de tr?s universidades situadas em dois continentes e um centro de pesquisas em engenharia de software localizado nos EUA. A pesquisa contribui no sentido de identificar quais as li??es aprendidas sobre os efeitos produzidos pela aplica??o da metodologia ?gil no contexto da engenharia global de software, bem como, que novos desafios surgem a partir desta combina??o.

Esse trabalho apresenta m?todo para a construc?o de SAN, a partir de informac?es extra?das de diagramas UML concebidos sob a abordagem do Processo Unificado. Nele foi formalizado umframework para a transcric?o de diagramas de estado UML, utilizados para a descric?o comportamental de um sistema, para uma estrutura equivalente em SAN. Essa SAN ? utilizada como um modelo de uso do sistema, de onde ? poss?vel a extrac?o de casos de teste de software, conforme verificado em estudo anteriores. Foi proposta a gerac?o dos modelos sob duas ?ticas: a primeira focada nas funcionalidades disponibilizadas aos usu?rios do sistema, e a segunda analisando o sistema como um todo. Para essa ?ltima, foi especificado um m?todo de simplificac?o da SAN, viabilizando assim a sua an?lise na ferramenta PEPS2003. Baseado no framework descrito, foi implementado um prot?tipo para a construc?o autom?tica de SAN, a partir de arquivos gerados pelo Rational Rose, arquivos esses contendo informac?es sobre os diagramas UML utilizados na descric?o do sistema. O trabalho tamb?m descreve um estudo de caso, onde s?o aplicadas as t?cnicas descritas. This research proposes a method to build the SAN, using information extracted from UML diagrams defined according to Unified Process methodology. A framework was formalized to translate the UML state diagrams into SAN structures. The UML state diagrams are basically used to describe the system features. The SAN provided reflect a usage model of the system, what can be used to generate software test cases. This research proposal is to generate the models considering two approaches: the first just focus on functionalities available for the system user, and the second one consider the whole system. This last approach also specifies a simplified function to reduce the SAN status to be visible in the PEP2003 Tool. Based on the framework proposed, a prototype was developed to generate the SAN automatically, based on UML diagrams provided by Rational Rose Tool. Finally, this search describes a case of study, where this framework is described in a real example.

Formalismos de modelagem s?o linguagens capazes de descrever sistemas de forma n?o amb?g?a, permitindo a sua avalia??o quantitativa. Os formalismos conhecidos como estruturados permitem a representa??o sistem?tica de modelos grandes e complexos. Entretanto, na pr?tica, a modelagem de sistemas de tal porte pode apresentar o problema de explos?o do espa?o de estados. Em geral, a modelagem de sistemas atrav?s de formalismos estruturados, com espa?o de estados discreto, resulta em um grande n?mero de estados inating?veis. A gera??o e armazenamento dos estados n?o ating?veis ? um ?nus n?o desejado ao processo de modelagem. Este trabalho apresenta um algoritmo capaz de gerar e armazenar somente o espa?o de estados ating?vel (RSS) para o formalismo de Redes de Aut?matos Estoc?sticos (SAN) utilizando Diagramas de Decis?o Multi-Valorada (MDD). A id?ia principal ? apresentar uma primeira vers?o desse algoritmo, a m de comprovar a sua viabilidade para o formalismo SAN.

A avalia??o de desempenho de um software orientado a objetos, hoje, pode ser feita basicamente de tr?s maneiras: com testes de desempenho, simula??es ou utilizando m?todos anal?ticos como redes de Aut?matos estoc?sticos e redes de filas de espera. Os testes de desempenho s?o eficientes e, porem podem ser aplicados apenas nas fases finais do desenvolvimento de software, quando o produto esta praticamente pronto, as simula??es podem ser realizadas nas etapas iniciais do processo de desenvolvimento de software por?m, geralmente, s?o custosas, pois dependem da cria??o de um simulador. Os m?todos anal?ticos podem ser aplicados nas fases iniciais do desenvolvimento, mas exigem a cria??o de um modelo de avalia??o de desempenho. No desenvolvimento de software orientados a objetos j? se constr?i um modelo, o qual possui informa??es detalhadas sobre o sistema. Estas informa??es podem ser utilizadas para gerar um modelo de avalia??o de desempenho que represente o software j? que muitas das informa??es contidas no modelo do software s?o comuns ao modelo de avalia??o de desempenho. Utilizando esta id?ia foram criados alguns m?todos de convers?o de UML para formalismos de avalia??o de desempenho como redes de filas de espera. Porem, ainda inexiste m?todos ou t?cnicas que convertem UML para formalismos como SAN, que ? mais abrangente que, por exemplo, redes de espera. Este trabalho demonstra uma t?cnica de convers?o de UML para SAN, onde explora-se a representa??o da arquitetura l?gica de software orientados a objetos

Os estudos na ?rea de Avalia??o de desempenho de Sistemas t?m evolu?do nos ?ltimos anos, em especial com a defini??o do formalismo de Redes de Aut?matos Estoc?sticos (SAN) e com a implementa??o do algoritmo Shuffle, o qual implementa um m?todo eficiente para a execu??o da multiplica??o vetor-descritor, necess?ria para a resolu??o de modelos SAN. Mais recentemente, foi proposto um novo m?todo para a multiplica??o vetor-descritor, o m?todo slice, que introduzindo novos conceitos, prometia na teoria ser mais eficiente que o tradicional m?todo Shuffle. Pois neste estudo, este rec?m definido e at? ent?o pouco explorado m?todo, foi estudado em detalhes e realizada uma implementa??o incluindo algumas otimiza??es no seu algoritmo original. Ainda, durante este estudo, foram realizadas algumas modifica??es do algoritmo do m?todo Slice com mesmo intuito de resolver modelos SAN funcionais, uma vez que as vers?es anteriores n?o eram capaz de tratar fun??es. Para demonstrar a efici?ncia do m?todo Slice e das otimiza??es propostas, diversos experimentos foram conduzidos utilizando dois modelos SAN. Os resultados de tempo e custo computacional foram analisados e discutidos durante este estudo, comparando-os inclusive com resultados do tradicional m?todo Shuffle. Desta forma, verificou-se o quanto o m?todo Slice pode ser ?til na resolu??o de sistemas, uma vez que os resultados pr?ticos mostram que o m?todo Slice ? mais eficiente que a solu??o tradicional (Shuffle) na maioria dos casos.