Submitted by Kilvya Braga (kilvyabraga@hotmail.com) on 2018-05-14T12:42:51Z No. of bitstreams: 1 ÁLVARO ÁLVARES DE CARVALHO CÉSAR SOBRINHO - TESE (PPGCC) 2016.pdf: 17134758 bytes, checksum: 9420a0e5c444740bf9e0d441542a3714 (MD5) / Made available in DSpace on 2018-05-14T12:42:51Z (GMT). No. of bitstreams: 1 ÁLVARO ÁLVARES DE CARVALHO CÉSAR SOBRINHO - TESE (PPGCC) 2016.pdf: 17134758 bytes, checksum: 9420a0e5c444740bf9e0d441542a3714 (MD5) Previous issue date: 2016 / Sistemas embarcados estão presentes em atividades diárias da população em geral, de ambientes domésticos até industriais e governamentais. O uso de sistemas embarcados tem aumentado como resultado, por exemplo, da disseminação da comunicação sem fio, de dispositivos eletrônicos com custos e tamanhos reduzidos, e de software embarcado em equipamentos eletrônicos. Software embarcado pode ser projetado como parte, desde sistemas embarcados simples para o controle de equipamentos domésticos, até sistemas críticos de segurança. Quanto mais complexo um sistema embarcado, maior a probabilidade de ocorrer situações adversas que ofereçam riscos financeiros, físicos, entre outros. Em sistemas embarcados críticos de segurança (e.g., médicos, aviônicos e aeroespaciais), falhas podem resultar em desastres naturais e danos à integridade física da população. Diante deste cenário, sistemas devem ser desenvolvidos de modo que sejam seguros e eficazes, e que estejam em conformidade com requisitos regulatórios. Portanto, um desafio importante que emerge dessa situação é o desenvolvimento de sistemas de acordo com sua especificação de requisitos, e ao mesmo tempo confiáveis e certificáveis. É no contexto de sistemas embarcados críticos de segurança que se insere esse trabalho. Propõe-se um método para o desenvolvimento e certificação de software desses sistemas. O método é baseado em redes de Petri coloridas (Coloured Petri Nets - CPN) e casos de garantia (assurance cases) representados com a notação estruturada por metas (Goal Structuring Notation - GSN). Conceitos associados com os processos de certificação prescritivo (padrões de processo) e baseado em metas (características de produto) são integrados durante o processo de desenvolvimento. Além disso, a definição e rastreabilidade de requisitos regulatórios e específicos do produto, juntamente com a verificação de conformidade com requisitos regulatórios, é realizada por meio de casos de garantia. Por fim, neste trabalho também é apresentado um estudo de caso sobre um sistema de Eletrocardiografia (ECG) configurado como um monitor cardíaco. Esse estudo de caso serve como cenário de implementação e avaliação experimental do método. / Embedded systems are part of the general population’s everyday life, from domestic, to industrial and governmental environments. The use of embedded systems has grown as a result, for example, of the dissemination of wireless communication, low power and portable electronic devices, and software embedded into electronic equipments. Embedded software can be designed to compose from simple embedded systems used to control domestic equipments, to safety-critical systems. The most complex an embedded system is, the more adverse situations are likely to occur, leading to financial risks, safety risks, among other. In safety-critical embedded systems (e.g., medical, avionics, and aerospace), failures may result in natural disasters and injuries to the population. Given this scenario, systemsmust be developedinorder tobesafeand effective, andto conform to regulatory requirements. Therefore, an important challenge that raises from this situation is to develop systems according to their requirements specification, and at the same time, being reliable and certifiable. This work is applied in the context of safety-critical embedded systems. A method to develop and certify software embedded in these systems is proposed. The method is based on Coloured Petri Nets (CPN) and assurance cases represented with the Goal Structuring Notation (GSN). Concepts related to prescriptive (process standards) and goal based (product features) certification processes are integrated during the development process. Moreover, the requirements specification and regulatory andproduct- specificrequirementstraceability,alongwiththeverificationofconformanceto regulatory requirements, is carried out through assurance cases. Finally, a case study on an Electrocardiography (ECG) system configured as a cardiac monitor is presented. The case study is useful as an implementation scenario and experimental evaluation of the method.

Neste trabalho se estuda os principais métodos de planejamento temporal. Propõe soluções baseadas no grafo de planos, bem como soluções baseadas na tradução deste em Redes de Petri Temporais. Objetivando a contextualização do cenário em que o presente trabalho se insere, é apresentada uma revisão dos algoritmos que fazem o tratamento de problemas de planejamento clássico e o planejamento temporal. Propõe-se um novo método de tratamento temporal sobre o grafo de planos e sua tradução para uma Rede de Petri Temporal. / In this work it is studied the main methods of temporal planning. It is proposed solutions based on graph of plans as well as solutions based on the translation of graph of plans into time Petri nets. A review is presented about the algorithms for the treatment of classical planning and temporal planning. This review aims at to present the context of this work. Subsequently, it is proposed a new method of temporal treatment for the graph of plans and its translation into a time Petri net.

Neste trabalho se estuda os principais métodos de planejamento temporal. Propõe soluções baseadas no grafo de planos, bem como soluções baseadas na tradução deste em Redes de Petri Temporais. Objetivando a contextualização do cenário em que o presente trabalho se insere, é apresentada uma revisão dos algoritmos que fazem o tratamento de problemas de planejamento clássico e o planejamento temporal. Propõe-se um novo método de tratamento temporal sobre o grafo de planos e sua tradução para uma Rede de Petri Temporal. / In this work it is studied the main methods of temporal planning. It is proposed solutions based on graph of plans as well as solutions based on the translation of graph of plans into time Petri nets. A review is presented about the algorithms for the treatment of classical planning and temporal planning. This review aims at to present the context of this work. Subsequently, it is proposed a new method of temporal treatment for the graph of plans and its translation into a time Petri net.

Esquemas baseados em grafos, em diferentes níveis de formalismo, são um forte apelo para a constituição de representações de sistemas complexos e de grande porte aplicados em várias áreas do conhecimento. Este fato responde pelo crescimento acentuado de métodos e representações formais baseadas em grafos e aplicadas em diferentes áreas, especialmente na Engenharia. As Redes de Petri (RdP) constituem um destes métodos, que apareceu em 1962 e desde então tem contribuído para o avanço dos métodos formais para o tratamento de sistemas de controle, sistemas discretos, logística, workflow, cadeia de fornecedores, redes de computadores, e uma variada classe de outros sistemas. Da mesma forma que outras representações formais, as primeiras tentativas de uso prático destas redes estiveram sempre ligadas ao domínio de aplicação, o que levou à criação de várias extensões. Por outro lado, a necessidade de se aplicar a representação em redes para sistemas de grande porte suscitou a discussão sobre as limitações do formalismo e sobre a necessidade de se inserir redes de alto nível. No entanto, todo este desenvolvimento, apesar de sua difusão em diferentes domínios, levantou a discussão sobre a unificação das redes. Desde 1992 a unificação do formalismo das RdPs é discutida pela comunidade acadêmica e, finalmente, no início deste século um padrão ISO/IEC foi proposto. Esta proposta conduz a dois desafios: i) mostrar que um formalismo de redes que seja candidato a ser usado na prática pertença de fato à classe de redes prescrita pelo padrão; ii) participar da discussão sobre a semântica das extensões propondo ambientes computacionais para o uso prático na modelagem e design de sistemas de grande porte. A rede GHENeSys, concebida e desenvolvida no Design Lab da Universidade de São Paulo, é uma rede estendida com conceitos de orientação a objetos, um mecanismo de hierarquia e, até o momento, parece ser uma das primeiras tentativas de prover um ambiente de modelagem e design com as propriedades de uma rede unificada, com capacidade para cobrir as diferentes variantes das RdP e suas extensões. Neste trabalho é apresentada uma proposta de ambiente integrado de modelagem para a representação de sistemas a eventos discretos (SEDs) em RdP, baseada em um formalismo enquadrado dentro da norma ISO/IEC 15909 recentemente proposta. Este formalismo é a rede GHENeSys, que terá sua definição estendida utilizando como base a definição das RdPs Coloridas (CPN) com o objetivo de permitir a representação de tipos nas marcas. Um protótipo para testes, resultado da integração de diversos trabalhos desenvolvidos separadamente por membros do D-Lab que nunca foram implementados nem integrados em formalismo único, é apresentado. Este protótipo é utilizado em um estudo de caso com a finalidade de validar de forma prática os novos elementos acrescentados à definição da rede GHENeSys para permitir a modelagem de sistemas utilizando os elementos das RdPs de alto nível. / Graph schemas are a strong approach to the representation (in dierent degrees of formality) of large and complex systems in several areas of knowledge. This fact has provided a continuous growth of methods and new formal schemas, specially in Engineering. Petri Nets(PN) are one of these methods, which appears in 1962 and since then has improved the representation of discrete control, discrete systems, logistics, workflow, supply chain, computer networks, and a variety of other systems. As any other representation, the first attempts to use it in practice were always made in a close relation between the representation and the domain of discourse, openning opportunity for several extensions. Also the need to use it in large systems brought a discussion about the formalism and the need for high level systems. However, all this development, besides the broad use in different domains, rose the need for an unified approach. Since 1992 such unification has been addressed by the scientific community and finally, in the beginning of this century, a ISO/IEC standard was proposed. That proposal also brings two new challenges: i) to show that any proposed net that belongs to Petri Net class proved itself as satisfying the requirements of the standard; ii) to enter the discussions of the semantics of extensions and also provide practical and unified system environments that can really support the design of large and complex systems. In this work, we present a proposal for the developing of an integrated modeling environment for the representation of discrete event systems using Petri Nets. This environment will use an underlying formalism framed within the rules defined recently by the ISO/IEC, in the standard 15909. The formalism to be used will be the GHENeSys net, which will have its definition extended using the definition of the Coloured PN (CPN) as a starting point in order to allow the representation of types within the net tokens. A testing prototype for this integrated modeling environment, result of the integration of several previous works of D-Lab members that were never implemented or integrated in a unique formalism, is presented. This prototype will be used in a case study in order to validate in practical way the new elements added to the definition of GHENeSys, to allow the modeling of systems using the elements of HLPNs.

A fase inicial de projeto de sistemas, baseada na elicitação, modelagem e análise dos requisitos é considerada a mais complexa e a mais estratégica para obtenção de bons resultados. Por conseguinte, erros precisam ser detectados durante esta fase inicial, antes de começar a implementação, evitando assim o desperdício de tempo e recursos. Este trabalho propõe um método formal de modelagem, análise e verificação de requisitos, partindo de uma representação semi-formal de requisitos em UML, e utilizando o formalismo das Redes de Petri para proceder à modelagem, análise e verificação. Propriedades das redes de Petri, tais como invariantes, são usadas para analisar os requisitos, permitindo uma validação antecipada dos requisitos no processo de design. O objetivo deste trabalho é estender a aplicação das redes de Petri como representação formal para a modelagem e análise de requisitos, endereçando assim a fase anterior às especificações. Pressupõe-se a existência de uma disciplina de projeto baseada em modelos (model driven) que abrange a fase inicial do projeto e se propaga para a modelagem e verificação de soluções. Assim, a abordagem proposta nesta tese se encaixa plenamente em um processo orientado a modelos que use a mesma linguagem: as redes de Petri. / The first stage of system design, which includes elicitation, modeling, and analysis of requirements is considered at the same time, very complex and very strategic to achieve proper results.Therefore it is important to detect mistakes both, conceptual and in requirements, before implementation begins, avoiding the waste of time and resources. This work proposes a formal method for modeling, analysis and verification of requirements, starting with a semi-formal representation of requirements in UML. Petri net and its properties such as invariants are used to analyze requirements, thereby allowing that requirements can be validated earlier. The main objective of this work is to extend the application of Petri Nets, as a formal representation, to requirements phase, addressing specification building. It is assumed that there is a model driven design approach that encompass the initial (requirements) phase and goes through the modeling and verification of solutions. Therefore the approach proposed in this work fits a model driven general approach which could use the same formal language: Petri Nets.

No mercado global e digital, as empresas são desafiadas a encontrar caminhos inovadores para atender o aumento da pressão -competitiva. A competição é uma das formas de interação das organizações, além da colaboração e da cooperação. A cooperação e a colaboração apresentam formas de produzir conjuntamente aumentando o potencial de atendimento das empresas. Os desafios mais encontrados no mercado são: reduzir os custos, sempre assegurar qualidade e personalizar os produtos e serviços. Um fenômeno de negócios comum hoje é a terceirização da manufatura e da logística para fornecedores domésticos e estrangeiros e provedores de serviços. Essa terceirização provoca, intrinsecamente, um espalhamento geográfico da produção em novos centros que oferecem vantagens nos recursos energéticos, matérias primas e centros de produção de conhecimento. Essa terceirização pode ser realizada também nas formas de colaboração e cooperação. Para isso, as empresas necessitam estabelecer uma forma de confiança entre si. No conceito de empresa virtual, a confiança é amplamente discutida para atingir uma colaboração e/ou cooperação entre empresas. O objetivo deste trabalho é propor e modelar uma ferramenta que atenda as necessidades das empresas para colaboração e/ou cooperação entre elas, considerando suas necessidades de confiança. As empresas aqui são vistas como sistemas produtivos, com suas camadas de gerenciamento de negócios, de acordo com o padrão ANSI/ISA 95. Além disso, um tipo de interpretação da rede de Petri, chamada de rede de Petri produtiva é introduzida como ferramenta para descrever o processo produtivo realizado pelas empresas na forma de workflow. A modelagem dessa arquitetura do sistema produtivo utiliza técnicas de sistemas distribuídos, como a arquitetura orientada a serviços. Além disso, um dos enfoques é das necessidades para o desenvolvimento de novos produtos, que envolve o desafio de personalização. Testes foram realizados para avaliar a proposta de workflow com pessoas de diferentes níveis de conhecimento sobre os processos, sejam de manufatura, sejam de outras áreas. Já a arquitetura proposta foi submetida a um estudo analítico das hipóteses levantadas no ambiente colaborativo. / In global and digital market, companies are challenged tof ind innovative ways to meet the increased competitive pressure. Competition is one way of interacting for organizations, as well as collaboration and cooperation. Cooperation and collaboration have ways to produce together increasing the potential of companies of meeting demands. Challenges most commonly found on the market are reducing costs, always ensuring quality and customizing products and services. A common business phenomenon today is the outsourcing of manufacturing and logistics for domestic and foreign suppliers and service providers. This outsourcing causes, intrinsically, a geographical spread of production in new centers which offer advantages in energy resources, raw materials and knowledge production centers. This outsourcing can be done also in the ways of collaboration and cooperation. For this, companies need to establish a trust between them. In the concept of virtual enterprise, trust is widely discussed to achieve the collaboration and/or cooperation between companies. The goal of this work is proposing and modeling a tool that meets the needs of companies for collaboration among them, considering their trust needs. Companies are understand as productive systems, in here, with their business process management layers, according to the standard ANSI/ISA 95. In addition, a kind of interpretation of Petri net, called productive Petri net is introduced as a tool to describe the production process performed by companies as workow. The modeling of this architecture of productive system uses techniques of distributed systems, such as service-oriented architecture. Furthermore, one of the approaches is the need for developing new products, which involves the customization challenge. Tests were conducted to evaluate the proposal of workflow with people from different levels of knowledge about the processes, both manufacturing and other areas. And the proposed architecture was studied analytically with the hypotheses elaborated from the collaborative environment.

Orientador: Leo Pini Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-10T11:59:31Z (GMT). No. of bitstreams: 1 Pelluzi_DennisGuimaraes_M.pdf: 2207338 bytes, checksum: e4656cffaa84f29e86a7fef7fc189ee2 (MD5) Previous issue date: 2007 / Resumo: Este trabalho aborda o problema da coordenação de atividades interdependentes em processos computacionais. As interdependências entre atividades podem ser temporais, de recursos, de bloqueio e de mútua exclusão, entre outras. Exemplos de processos computacionais com atividades interdependentes são ambientes multimídias, ferramentas de suporte ao trabalho colaborativo, workflows, vídeo games, animação computacional e composição de web services. Uma das dificuldades em projetar o mecanismo de coordenação é garantir que tal mecanismo seja consistente com a especificação do processo. Vários trabalhos sugerem o uso de ferramentas de modelagem como redes de Petri ou linguagens de coordenação para construir um mecanismo de coordenação. Um desse trabalhos apresenta a metodologia Grafo de Relações (GR) que trata das dependências temporais entre atividades. Esta dissertação apresenta uma extensão da metodologia GR para lidar com dependências de recursos, uma ferramenta para automatizar a modelagem do mecanismo de coordenação e uma proposta para o coordenador (componente de software responsável pela coordenação das atividades) / Abstract: This work approaches the problem of coordination of activities in computational processes. The coordination necessity appears when there are interdependencies among activities. The type of interdependencies can be temporal, of resources, blockage and mutual exclusion, among others. Processes with interdependent activities occur in multimedia environments, collaborative work support tools, workflows, video games, computational animation and web services composition. One of the difficulties in designing coordination mechanisms is to guarantee that such mechanisms are consistent with the specification of the process. Some works suggest the use of modeling tools such as Petri Nets or coordination languages to construct a coordination mechanism. One of them presents the methodology of Relations Graph which deals with the temporal dependencies among activities. This work presents an extension for the methodology of GR to deal with dependencies of resources, a tool which automates the modeling of the coordination mechanism and proposes a coordinator (software component which coordinates activities) / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Submitted by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-09T13:39:20Z No. of bitstreams: 2 tese-gaaj.pdf: 7318112 bytes, checksum: 1105c948e6824b1d2b869c07d785b563 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-09T13:39:20Z (GMT). No. of bitstreams: 2 tese-gaaj.pdf: 7318112 bytes, checksum: 1105c948e6824b1d2b869c07d785b563 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-02-04 / As atuais exigências de questões ambientais fizeram com que a análise de cadeias de suprimentos e sistemas de manufatura precisasse levar em consideração indicadores de desempenho ambiental, além das tradicionais métricas de desempenho. A quantidade de energia consumida para produzir um bem de consumo e o total de emissões de gases de efeito estufa (GEE) são exemplos desses indicadores. Diversas organizações e empresas vêm se envolvendo na definição de metodologias e ferramentas que auxiliem na avaliação de desempenho ambiental (ADA). O gerenciamento de cadeias de suprimentos verdes (GSCM), do inglês green supply chain management, surgiu da necessidade de se avaliarem metas relacionadas ao desempenho das cadeias de suprimentos e seu impacto ambiental. As redes de Petri vêm sendo aplicadas constantemente na avaliação de sistemas de manufatura e cadeias de suprimentos. Este trabalho propõe um framework baseado na utilização das stochastic Petri nets (SPN), especificamente as stochastic reward nets (SRNs), para a modelagem e aferição de indicadores das atividades do GSCM. Para alcançar esse objetivo, utiliza-se uma abordagem baseada em componentes para modelar os elementos do sistema. A composição desses componentes resulta em um modelo cujas propriedades são garantidas e que provê um conjunto de indicadores de desempenho ambiental e do sistema.

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-10T18:19:25Z No. of bitstreams: 2 DISSERTAÇÃO Rosiberto dos Santos Gonçalves.pdf: 1972536 bytes, checksum: 90435670a5e1a4473150a7c3da5648e6 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-11T17:40:41Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Rosiberto dos Santos Gonçalves.pdf: 1972536 bytes, checksum: 90435670a5e1a4473150a7c3da5648e6 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014-08-08 / A administração pública vem passando por uma crescente pressão para melhorar a sua eficiência e eficácia na prestação de seus serviços. Nesse contexto, o desenvolvimento da administração pública gerencial aparece como elemento que vai promover mudanças significativas nas estruturas internas e nos seus processos de negócios em benefício das necessidades do cidadão. Os processos de negócios estão presentes no nosso cotidiano e com eles interagimos direta ou indiretamente, como por exemplo, as Centrais de Atendimento ao Contribuinte (CAC). Caracterizados como um processo de negócio, os CACs reúnem no mesmo espaço físico, um conjunto de atividades estruturadas que produzem diversos serviços para atendimento dos cidadãos. Métricas de desempenho e disponibilidade, isto é, performabilidade, são essenciais, porém, difíceis de serem garantidas quando a demanda do serviço é alta e ocorre simultaneamente. Este trabalho propõe modelos para avaliação de performabilidade de processos governamentais de um CAC brasileiro. As métricas avaliadas (vazão, custo e disponibilidade) são estimadas através de modelos SPNs (redes de Petri estocásticas). Os modelos de desempenho e performabilidade criados neste trabalho levam em consideração aspectos como a ocorrência de falhas e um sistema em nuvem para melhorar as métricas adotadas. O modelo de desempenho permite avaliar o desempenho do processo de análise de solicitações dos contribuintes e custos com pessoal, considerando diferentes configurações da equipe. O modelo de performabilidade permite avaliar o impacto na disponibilidade do serviço causado pela ocorrência de falhas na infraestrutura do CAC. Os modelos foram aplicados em um estudo de caso real, no qual diversos cenários foram avaliados propondo modificações no CAC. Os resultados demonstram que os modelos SPNs (redes de Petri estocásticas) são representativos na avaliação de processos de negócios governamentais e que surge como uma ferramenta importante para auxiliar os gestores públicos na tomada de decisão.

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-10T18:39:41Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Rosiberto dos Santos Gonçalves.pdf: 1972536 bytes, checksum: 90435670a5e1a4473150a7c3da5648e6 (MD5) / Made available in DSpace on 2015-03-11T17:45:27Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Rosiberto dos Santos Gonçalves.pdf: 1972536 bytes, checksum: 90435670a5e1a4473150a7c3da5648e6 (MD5) Previous issue date: 2014-08-08 / A administração pública vem passando por uma crescente pressão para melhorar a sua eficiência e eficácia na prestação de seus serviços. Nesse contexto, o desenvolvimento da administração pública gerencial aparece como elemento que vai promover mudanças significativas nas estruturas internas e nos seus processos de negócios em benefício das necessidades do cidadão. Os processos de negócios estão presentes no nosso cotidiano e com eles interagimos direta ou indiretamente, como por exemplo, as Centrais de Atendimento ao Contribuinte (CAC). Caracterizados como um processo de negócio, os CACs reúnem no mesmo espaço físico, um conjunto de atividades estruturadas que produzem diversos serviços para atendimento dos cidadãos. Métricas de desempenho e disponibilidade, isto é, performabilidade, são essenciais, porém, difíceis de serem garantidas quando a demanda do serviço é alta e ocorre simultaneamente. Este trabalho propõe modelos para avaliação de performabilidade de processos governamentais de um CAC brasileiro. As métricas avaliadas (vazão, custo e disponibilidade) são estimadas através de modelos SPNs (redes de Petri estocásticas). Os modelos de desempenho e performabilidade criados neste trabalho levam em consideração aspectos como a ocorrência de falhas e um sistema em nuvem para melhorar as métricas adotadas. O modelo de desempenho permite avaliar o desempenho do processo de análise de solicitações dos contribuintes e custos com pessoal, considerando diferentes configurações da equipe. O modelo de performabilidade permite avaliar o impacto na disponibilidade do serviço causado pela ocorrência de falhas na infraestrutura do CAC. Os modelos foram aplicados em um estudo de caso real, no qual diversos cenários foram avaliados propondo modificações no CAC. Os resultados demonstram que os modelos SPNs (redes de Petri estocásticas) são representativos na avaliação de processos de negócios governamentais e que surge como uma ferramenta importante para auxiliar os gestores públicos na tomada de decisão.