Orientador : Prof. Eduardo Cunha de Almeida / Orientador : Dr. Jorge Augusto Meira / Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 19/04/2016 / Inclui referências : f. 53-57 / Resumo: O provisionamento de recursos é uma técnica utilizada para alocar recursos computa- cionais em ambientes de alto desempenho. Tais ambientes estão sujeitos a processar diferentes padrões de carga de trabalho (e.g., e-commerce), incluindo picos de carga durante datas especí- ficas, como por exemplo, black friday, natal e páscoa. Através do provisionamento é possível adicionar e remover recursos conforme a necessidade apresentada pelo sistema. Neste trabalho nos concentramos no provisionamento de núcleos de CPU para processamento de consultas em bancos de dados. Nós propomos um modelo de alto nível para sincronização dinâmica de múltiplos núcleos para processamento de consultas. Nosso modelo chamado de PrT-PRO é ba- seado em um provisionamento dinâmico reativo utilizando Redes de Petri Predicado/Transição, que atua por meio de regra-condição-ação no topo do monitoramento de desempenho. Através da PrT-PRO, busca-se obter um valor ótimo de múltiplos núcleos que atenda a demanda das consultas com objetivo de melhorar seu desempenho. Nosso modelo foi validado através de experimentos no popular sistema gerenciador de banco de dados (SGBD) PostgreSQL. Os re- sultados demonstram que ao encontrar o valor ótimo de múltiplos núcleos utilizando a PrT-PRO diminuímos substancialmente os misses de cache de CPU quando comparado com a execução utilizando todos os recursos disponíveis no hardware. A melhora de desempenho no processa- mento de consultas fica evidente, pois ao diminuir os misses de CPU diminui também o tempo de execução de uma determinada carga de trabalho. Assim, podemos afirmar que a PrT-PRO apresenta um melhor aproveitamento de CPU comparado com o atual modelo interno do SGBD PostgreSQL. Utilizando a PrT-PRO o SGBD PostgreSQL foi capaz de sincronizar o acesso aos múltiplos núcleos para acomodar leituras simultâneas com tipos mistos de acesso a CPU. Palavras-chave: Provisionamento de Recursos Computacionais, SGBD, Redes de Petri. / Abstract: Resource provisioning is a technique to efficiently allocate computational resources on-demand in high-performance environments. The goal is to provision resources upon every running con- dition, even if the environment is challenged by different workload patterns (e.g., e-commerce), including peak loads during specific dates, for example, black friday, and christmas. In this dissertation, we focus on resource provisioning of multi-core CPUs for query processing. Our goal is to present a multi-core harnessing model to reduce response time for query processing in relational database systems. We present a high-level model for dynamic synchronization of multi-core in query processing. Our model called PrT-PRO is based on reactive dynamic provi- sioning using Petri Nets Predicate/Transition, which operates through rule-condition-action on top of the performance monitoring. The PrT-PRO seeks an optimal number of CPU cores to quickly respond to on-line needs of query processing. We validate the PrT-PRO on top of the popular open-source DBMS PostgreSQL. The results show that the optimal number of cores given by PrT-PRO substantially reduces the cache misses of CPU when compared with results using all available resources. Moreover, we show that decreasing the cache misses of CPU, it also decreases the response time to execute a particular workload. Thus, we can affirm that the PrT-PRO features a better harnessing of CPU compared with the current internal model of PostgreSQL. Keywords: Computing Resouce provisioning, DBMS, Petri nets.

Resumo

O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferramenta, descreve a implementação de um protótipo e apresenta um exemplo de use deste. Na definição da ferramenta b dada ênfase na verificação automática de propriedades das redes. / A tool to support system modeling with Petri Nets is proposed. The kinds of assistance needed in the modeling system process, and the Petri Net classes that can be used in the proposed tool are discussed. The dissertation shows the structure and the architecture of the tool, describing the prototype implementation and presenting an example of its use. In the definition of the tool, emphasis is given in the automatic verification of the net properties.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2006. / Submitted by Alexandre Marinho Pimenta (alexmpsin@hotmail.com) on 2009-11-17T10:01:12Z No. of bitstreams: 1 2006_MarcosMartinsMelo.pdf: 8565470 bytes, checksum: 9c31e01c3283d48d2c5adadf43caa40e (MD5) / Approved for entry into archive by Carolina Campos(carolinacamposmaia@gmail.com) on 2009-11-18T18:28:57Z (GMT) No. of bitstreams: 1 2006_MarcosMartinsMelo.pdf: 8565470 bytes, checksum: 9c31e01c3283d48d2c5adadf43caa40e (MD5) / Made available in DSpace on 2009-11-18T18:28:57Z (GMT). No. of bitstreams: 1 2006_MarcosMartinsMelo.pdf: 8565470 bytes, checksum: 9c31e01c3283d48d2c5adadf43caa40e (MD5) Previous issue date: 2006-07 / O objetivo desta dissertação é implementar uma ferramenta de CAD para a descrição e simulação de Redes de Petri (RdPs) baseadas em software livre, chamada de SimRP. Esta ferramenta de CAD possibilitará a descrição e simulação de diversas RdPs, ou seja, Ordinárias, Temporais, Temporizadas e Interpretadas, além disso, O SimRP disponibilizará a opção de geração de código VHDL (uma linguagem de descrição de hardware), a partir de um modelamento de uma RdP interpretada. Adicionalmente o SimRP permite a verificação de diversas propriedades tais como rede marcada reiniciável, rede marcada viva, rede não pura e detecção de conflitos/deadlocks. Uma característica importante do SimRP é sua flexibilidade, Os usuários poderão descrever uma RdP Ordinária e mais tarde converte-la para outro tipo de rede estudada neste trabalho. Deste modo, os usuários poderão acrescentar atributos a uma RdP ordinária para representar e simular uma RdP Temporal (por exemplo). Estes atributos são facilmente adicionados e deletados pela interface gráfica. O SimRP foi desenvolvido na arquitetura cliente-servidor para garantir a melhor usabilidade/portabilidade. Tanto a instalação quanto a configuração são feitas no servidor. Neste caso, o SimRP necessita apenas de um browser na sua estação de trabalho.O simulador foi desenvolvido baseado na licença GPL, isto permite acesso ilimitado a todas funções do sistema e código fonte, permitindo que os usuários modifiquem e adaptem o sistema de acordo com sua necessidade, sem necessitasse de licença. _______________________________________________________________________________ ABSTRACT / The objective of this dissertation is to implement a description and simulation CAD tool for Petri Nets (PNs) based on open source, called SimRP. This CAD tool will be able to describe and simulate several PNs namely Ordinary, Temporal, Temporized and Interpreted types. Besides this, SimRP provides an option to generate VHDL code (a hardware description language), taking a model of an Interpreted PN. Additionally, SimRP allows several properties verification such as Restartable PN, Marked-alive PN, Not-pure PN and conflicts/deadlocks detection. An important feature of SimRP is its flexibility, since users can describe an ordinary PN and afterwards converts it to another type of network studied here. Thus, users can add certain attributes to an ordinary PN in order to represent and simulate a Temporal PN (for example). These attributes are easily added/deleted through a graphical interface. The SimRP was developed in client-server architecture in order to guarantee the best usability/portability. Both system installation and configuration are made on a server. In this case, a SimRP user needs only a browser in his/her workstation. Given that the simulator was developed under GPL license, this provides an unlimited use to all of its resources, including source code, allowing any user to use, modify, and adapt it to their needs without license requires.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2006. / Submitted by leandro spinola (l.spinolafla@gmail.com) on 2009-11-19T20:51:58Z No. of bitstreams: 1 EVANDRO LEONARDO SILVA TEIXEIRA.doc: 428032 bytes, checksum: 4dc4293c8fbd282001516cd00586b4e1 (MD5) / Rejected by Joanita Pereira(joanita), reason: Leandro, Por favor, corrija o campo "título", pois apenas a letra inicial e os nomes próprios deve começar com maiúscula. O arquivo a ser depositado é o da dissertação em PDF e não o arquivo em doc das informações dos metadados. Obrigada, Joanita on 2009-11-20T15:19:35Z (GMT) / Submitted by leandro spinola (l.spinolafla@gmail.com) on 2009-11-20T18:29:00Z No. of bitstreams: 1 dissert_evandro.pdf: 7498335 bytes, checksum: 6fb6802197fb4ca5cb17a06c878a17ab (MD5) / Rejected by Joanita Pereira(joanita), reason: A dissertação apresenta "resumo", "abstract" e "resumen". Favor adicionar o "Resumen". Att Joanita on 2009-11-20T19:19:03Z (GMT) / Submitted by leandro spinola (l.spinolafla@gmail.com) on 2009-11-20T20:59:09Z No. of bitstreams: 1 dissert_evandro.pdf: 7498335 bytes, checksum: 6fb6802197fb4ca5cb17a06c878a17ab (MD5) / Approved for entry into archive by Joanita Pereira(joanita) on 2009-11-23T16:09:56Z (GMT) No. of bitstreams: 1 dissert_evandro.pdf: 7498335 bytes, checksum: 6fb6802197fb4ca5cb17a06c878a17ab (MD5) / Made available in DSpace on 2009-11-23T16:09:56Z (GMT). No. of bitstreams: 1 dissert_evandro.pdf: 7498335 bytes, checksum: 6fb6802197fb4ca5cb17a06c878a17ab (MD5) Previous issue date: 2006 / Este trabalho apresenta uma metodologia para o projeto e implementação de Células Flexíveis de Manufatura (FMC’s) capaz de promover a fabricação remota de peças utilizando os recursos da World Wide Web. Esta metodologia, denominada WebFMC, descreve um método de integração das estações de trabalho de uma FMC baseado na arquitetura de controle hierárquica modificada e uma arquitetura detalhada para a implementação do sistema de controle da célula (denominado Unidade de Gerenciamento). A abordagem concebida poderá ser utilizada tanto na academia quanto na indústria. Na academia, esta metodologia servirá como modelo para a construção de laboratórios remotos auxiliando os cursos de engenharia no ensino a distância. Na indústria, promoverá a oportunidade de negócios às empresas que não possuem os recursos necessários para a fabricação de seus produtos. O projeto da FMC, a qual este trabalho faz referência, foi concebido a partir de um trabalho inicial de modelagem. As técnicas utilizadas (modelagem por simulação via workspace e modelagem a eventos discretos via Redes de Petri) resultaram na definição do layout da célula e nas mensagens que devem ser trocadas entre as estações de trabalho respectivamente. Os métodos IDEF0 e IDEF1x, da metodologia IDEF, foram utilizados para projetar e documentar respectivamente o modelo funcional e de dados da Unidade de Gerenciamento. A Unidade de Gerenciamento (MgU), como sistema computacional, foi projetada com base no Processo Unificado da Rational (RUP). Isto resultou na incorporação de elementos da célula e nas mensagens que devem ser trocadas entre as estações de trabalho respectivamente. Os métodos IDEF0 e IDEF1x, da metodologia IDEF, foram utilizados para projetar e documentar respectivamente o modelo funcional e de dados da Unidade de Gerenciamento. A Unidade de Gerenciamento (MgU), como sistema computacional, foi projetada com base no Processo Unificado da Rational (RUP). Isto resultou na incorporação de elementos da tecnologia de orientação a objetos na construção de um sistema computacional reutilizável e de fácil manutenção. Utilizou-se a Linguagem de Modelagem Unificada (UML) para documentar os fluxos de trabalho do ciclo de vida da MgU. Java é a tecnologia utilizada na implementação da MgU. As API’s e tecnologias associadas fornecem o suporte necessário para que a MgU possa ser executada via internet (via JNLP - URL: http://webfmc.graco.unb.br/mgu/mgu.jnlp), para que tenha acesso a base de dados (via JDBC) e se comunique com as estações de trabalho (utilizando a API Java Communication e a interface JNI). _______________________________________________________________________________ ABSTRACT / The aim of this work is to present a methodology to design and to implement Flexible Manufacturing Cell (FMC’s) that should be used to manufacture parts remotely using the World Wide Web resources. This methodology (WebFMC) describes a method to integrate the FMC workstations based on the hierarchical modified control architecture and an architecture to implement the cell control system (Management Unit). This methodology approach can be applied in academic centre such as in the industry. In academic centre will serve as a model to built remote laboratories to the engineering courses in the distance learning. On the industry, will promote the business opportunity to the every company that does not possess the necessary resources to manufacture their products. The design of this FMC is based on the modeling work. The simulation modeling by workspace and the discrete event modeling by Petri Nets was used to define the cell layout and to describe the messages that should be changed among the workstations respectively. The methods IDEF0 and IDEF1x, from the IDEF methodology, were used to design and to document the functional and data modeling from the Management Unit. The Management Unit (MgU), as a computational system, was designed based on the Rational Unified Process (RUP). Based on this approach, was possible to aggregate important elements of object oriented design to build a computational system reusable and easiest maintenance. The Unified Modeling Language (UML) was used to design and to document the Management Unit’s cycle life. Java is the technology used to implement the MgU. The API’s and associated technology supply the necessary support to run the MgU by internet (via JNLP - URL: http://webfmc.graco.unb.br/mgu/mgu.jnlp), to access the database (via JDBC) and to establish the communication with the workstations (using the API Java Communication and the Interface JNI). ________________________________________________________________________________ RESUMEN / Este trabajo presenta una metodología para el proyecto y la implementación de Células Flexibles de Manufactura (FMC’s), utilizadas el la fabricación remota de piezas, empleando los recurso de la World Wide Web. Esta metodología, denominada WebFMC, describe un método de integración de la estaciones de trabajo de una FMC, basado en la arquitectura de control jerárquica modificada y una arquitectura para la implementación de los sistema de control de la célula (Unidad de Control). Esta metodología podrá ser utilizada tanto en lo académico como en lo industrial. En lo académico servirá como un modelo para la implementación de laboratorios remotos; en lo industrial, promoverá la oportunidad de negócios para empresas que aún no poseen las herramientas para la manufactura del producto. El proyecto de la FMC de este trabajo, fue concebido a partir de un trabajo inicial de modelamiento. Las técnicas utilizadas (modelamiento por simulación empleando el workspace y modelamiento a eventos discretos empleando Redes de Petri) resultaron en la definición del layout de la célula y los mensajes intercambiados entre las estaciones de trabajo. Los métodos IDEF0 e IDEF1x de la metodología IDEF, fueron utilizados para proyectar y documentar respectivamente el modelo funcional y de de datos de la Unidad de Control. La Unidad de Control (MgU) fue proyectada con base en el Proceso Unificado de la Rational (RUP). Esto resultó en la incorporación de elementos de tecnología orientada a objetos en la construcción de un sistema computacional reutilizable y de fácil mantenimiento. El Lenguaje Unificado de Modelaminento (UML) fue utilizado para documentar los fluxos de trabajo del ciclo de vida de la MgU. Java es la tecnología empleada en la implementación de la MgU. Las API’s y las tecnologías asociadas suministran el soporte necesario para ejecutar la MgU por la Internet (via JNLP URL: http://webfmc.graco.unb.br/mgu/mgu.jnlp), para accesar la base de datos (via JDBC) y para comunicarse con las estaciones de trabajo (API Java Communication y la interface JNI).

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-12T13:23:25Z No. of bitstreams: 2 Dissertaçao Rafael de Souza.pdf: 5024167 bytes, checksum: d0690bd2c55d5a6ca5e7bbe243777c13 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T13:14:31Z (GMT) No. of bitstreams: 2 Dissertaçao Rafael de Souza.pdf: 5024167 bytes, checksum: d0690bd2c55d5a6ca5e7bbe243777c13 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-13T13:14:31Z (GMT). No. of bitstreams: 2 Dissertaçao Rafael de Souza.pdf: 5024167 bytes, checksum: d0690bd2c55d5a6ca5e7bbe243777c13 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-08-30 / FACEPE / Os data centers estão em constante crescimento, a fim de atender às demandas de novas tecnologias, como cloud computing e e-commerce. Em tais paradigmas, períodos de inatividade podem levar a perdas financeiras de milhões de dólares e danificar permanentemente a reputação de uma empresa. Vários fatores afetam a disponibilidade de sistemas de TI em data center, entre eles, as variações de temperatura ambiente. Este trabalho propõe modelos para contemplar o efeito de variação de temperatura nas infraestruturas do data center. Além destes modelos, também é proposta uma metodologia para auxiliar na elaboração e avaliação dos diferentes cenários. Esta metodologia permite a análise através de vários modelos intermediários que ajudam a encontrar o efeito de variação de temperatura na disponibilidade das infraestruturas de TI do data center. Nesta abordagem, a avaliação é realizada com modelos de rede de Petri estocásticas, modelo de Arrhenius, modelo de energia, e diagrama de blocos de confiabilidade. Por fim, três estudos de casos real, bem como, exemplos são apresentados com a finalidade de mostrar a aplicabilidade deste trabalho.

Made available in DSpace on 2014-06-12T15:50:11Z (GMT). No. of bitstreams: 2 arquivo1930_1.pdf: 1742136 bytes, checksum: 9293c4cc8bc9198633a8db952346915b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / O estudo de sistemas através de modelos é baseado em abstrações do mundo real. Portanto, os cálculos resultantes devem ser interpretados com cautela. Quando incertezas ou variabilidades estão associadas com os parâmetros do sistema, a caracterização pontual dos parâmetros pode ser inadequada. As incertezas podem estar associadas a parâmetros que não são conhecidos antecipadamente, especialmente em estágios iniciais de projetos de sistemas. Um dos objetivos deste trabalho é a concepção do formalismo ISPN para análise quantitativa desses sistemas. Para alcançar este objetivo, desenvolveu-se a fundamentação teórica ISPN e foram adaptados algoritmos apropriados para análise dos modelos. A análise intervalar foi usada como método de análise do estado estacionário dos modelos ISPN, nos quais as taxas das transições exponenciais e os pesos das transições imediatas são intervalos. A ISPN é aplicada principalmente para modelar as situações em que os dados de entrada estão num determinado nível da exatidão. As incertezas das taxas são especificadas através de intervalos. Este ambiente de modelagem fornece uma maneira para formalizar e estudar os problemas relacionados à presença das incertezas. Tais incertezas incluem os erros dos dados que ocorrem durante os processos de medida e os erros de arredondamento gerados durante cálculos. O modelo proposto e o método de análise relacionado permitem que a análise de desempenho seja realizada, considerando variações simultâneas nos parâmetros. Os métodos intervalares foram aplicados na estimativa exterior do conjunto solução para sistemas de equações lineares intervalares resolvidas pela aritmética intervalar clássica e pela aritmética de Kaucher dentro do ambiente do MATLAB toolbox INTLAB. Usamos ISPN como uma ferramenta de alto nível para modelagem e análise. O poder de modelagem ISPN foi avaliado em diversos estudos de caso apresentados

Made available in DSpace on 2014-06-12T15:56:20Z (GMT). No. of bitstreams: 2 arquivo2917_1.pdf: 4541033 bytes, checksum: 4094fbc961a178b9ca5185e2bcc3d37d (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / A evolução das tecnologias de rede sem fio e a crescente necessidade de integração e alta disponibilidade de serviços alavancou pesquisa nesta área de redes e uma das soluções propostas são as Redes de Ambiente. Redes de Ambiente visam prover sistemas de comunicação de alto desempenho que possibilitem amplo acesso aos novos serviços, a outros usuários e a conteúdo multimídia. Este é o principal objetivo do projeto de Redes de Ambiente (desenvolvido pelo WWI em parceria com várias empresas de telecomunicações, entre elas: Ericsson, Nokia, Elisa, France Telecom e Vodafone), além de prover sistemas sem fio viáveis que possibilitem a integração de pessoas e dispositivos. Neste escopo foi introduzido o conceito de composição de redes para compartilhamento de informações e recursos, de forma dinâmica, sob demanda e sem a necessidade (ou mínima) de interação de administradores de rede. As Redes de Petri representam uma especificação de sistemas através do uso da matemática e da exploração de recursos gráficos possibilitando diversos tipos de análise, como por exemplo, verificação das propriedades do sistema, análise de desempenho e corretude. O PBMAN (Policy-based Management for Ambient Networks) é um arcabouço que visa prover soluções de gerenciamento baseado em políticas para Redes de Ambiente. Este projeto teve como um dos seus objetivos o desenvolvimento de um protótipo que implementa os conceitos de composição de redes, compartilhamento de recursos e gerenciamento automático das redes baseado em políticas. Esta dissertação de mestrado teve como objetivo a modelagem do protótipo do PBMAN em redes de Petri para verificação da corretude do projeto e análise de desempenho. O desenvolvimento deste modelo foi importante para que fossem encontradas falhas de especificação de requisitos no protótipo PBMAN, além de possibilitar uma extrapolação do escopo do projeto. Essa modelagem permitiu a realização de testes rápidos sem a necessidade de modificar o protótipo em ambiente real, reduzindo significativamente custos e tempo de desenvolvimento

Made available in DSpace on 2014-06-12T15:56:59Z (GMT). No. of bitstreams: 2 arquivo3111_1.pdf: 7314545 bytes, checksum: b798714e0b187ec560d0acdc3aa2ef2e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Um dos maiores desafios atuais das organizações é a integração das aplicações corporativas permitindo o adequado gerenciamento dos processos de negócio. Atualmente, sistemas de middleware orientados a mensagem (MOMs) têm sido amplamente utilizados como ferramentas para realizar esta integração. Diante desse contexto, o seu planejamento e gerenciamento de capacidade passa a ter relevância significativa para o sucesso da integração, uma vez que, se o MOM falhar ou ficar indisponível, toda a interação entre as aplicações será comprometida. Este trabalho propõe o JMSCapacity, um toolkit formado por um processo, uma biblioteca de componentes e ferramentas para auxiliar no planejamento e gerenciamento de capacidade de MOMs baseados na especificação Java Message Service (JMS). O processo define como utilizar a biblioteca e as ferramentas para realizar o planejamento de capacidade sendo a principal contribuição deste trabalho. No processo proposto, adotou-se uma abordagem baseada em modelos para permitir que especificações de alto nível da integração sejam mapeadas em modelos formais em redes de Petri estocásticas. Isso viabiliza a realização de predições de desempenho em múltiplos cenários de carga, facilitando a identificação do ponto de saturação do MOM e da capacidade máxima de entrega de mensagens.

Made available in DSpace on 2014-06-12T15:59:34Z (GMT). No. of bitstreams: 2 arquivo5183_1.pdf: 2402030 bytes, checksum: 0c171b737eb1d33ccd399f546d49a3a0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / A plataforma J2EE (Java 2 Platform Enterprise Edition) especifica um ambiente de suporte ao desenvolvimento e execução de aplicações corporativas distribuídas. Diversos fornecedores oferecem implementações desta especificação, as quais são referenciadas como servidores de aplicação J2EE. Este mercado concorrido gera um novo desafio para departamentos de TI que compreende a avaliação e seleção de um produto J2EE adequado. A escolha de uma implementação é uma tarefa árdua uma vez que envolve uma avaliação conjunta de muitas características, tais como custo, desempenho, escalabilidade, flexibilidade e adaptabilidade, facilidades de uso e de gerenciamento, e conformidade com os padrões. Contudo, essa escolha é usualmente centrada em desempenho, uma vez que avaliar servidores de aplicação com base em todas as suas características é difícil. As abordagens atuais para avaliação de desempenho de servidores de aplicação têm se concentrado principalmente no uso da técnica de medição. Este trabalho, por sua vez, propõe a utilização de modelagem analítica e simulação, introduzindo uma abordagem para a avaliação de desempenho baseada em redes de Petri estocásticas. Para ilustrar a proposta, modelos para o servidor de aplicação JBoss são projetados e utilizados na derivação de métricas de desempenho. Os resultados obtidos são validados através da realização de medições em ambientes controlados