Atualmente as empresas precisam de sistemas ágeis a mudanças constantes do ambiente do negócio e para garantir que os sistemas cumpram com sua finalidade, os desenvolvedores devem possuir uma compreensão mais aprofundada sobre a organização, seus objetivos, metas e estratégias de mercado. O principal problema para o desenvolvimento de sistemas de software tem sido a dificuldade em se obter informações sobre o domínio da aplicação. Essa dificuldade levou ao surgimento de técnicas de modelagem organizacional, sendo uma atividade valiosa para a compreensão do ambiente empresarial. O EKD - Enterprise Knowledge Development - é uma metodologia que fornece uma forma sistemática e controlada de analisar, entender, desenvolver e documentar uma organização. Infelizmente não possui uma sintaxe e semântica bem definidas, dificultando análises mais complexas dos modelos. Como resultado, o modelo de processos de negócio do EKD pode ser ambíguo e de difícil análise, principalmente em sistemas mais complexos, não sendo possível verificar a consistência e completude do modelo. Neste trabalho, esses problemas serão estudados sob uma abordagem baseada em redes de Petri. O formalismo de redes de Petri a torna uma importante técnica de modelagem para a representação de processos. Além disso, redes de Petri permitem rastrear cada etapa da operação sem ambigüidade e possuem métodos eficientes de análise que garantem que o modelo está livre de erros. Assim, este trabalho tem como objetivo desenvolver um método de avaliação do modelo de processo de negócio do EKD (MPN-EKD). Por meio desse método é possível verificar se o modelo tem erros de construção e travamentos. Este método pode ser aplicado em modelos direcionados para o desenvolvimento de sistema de informação ou de controle do fluxo de trabalho, e pode ser utilizado também para o estudo de estratégias de trabalho e simulação do fluxo de trabalho. / Nowadays all companies need fast systems and frequent changes on the business environment and to guarantee that the systems are reaching their goals, the developers must have a deeper comprehension of the enterprise, its goals and market strategies. The main problem to the development of software systems has been the difficulty to obtain information about the application domain. This difficulty leaded to the creation of enterprise modeling techniques, which is a valuable activity for the comprehension of business environment. The EKD - Enterprise Knowledge Development - is a methodology that gives a systematic and controlled way to analyze, understand, develop, and document an enterprise. Unfortunately it doesn\'t have syntax neither a semantic well defined, which doesn\'t help on more complex analyses of the models. As a result, the enterprise process model of EKD can be ambiguous and hard to analyze, especially on more complex systems, and also it is not possible to verify the consistency and entireness of the model. On this paper, these problems will be studied under an approach based on Petri nets. Because of the Petri nets formalism this is an important modeling technique to process representation. Furthermore, Petri nets allow the tracking of each step of the operation without ambiguity and also they have efficient methodology for analyses, which guarantee the accuracy of the model. Therefore, this work has the objective to develop an evaluation methodology of the business process model of EKD (MPN-EKD). Such methodology will make possible the verification of possible building and locking model errors. This methodology can be applied to information systems or workflow, and also can be used to study the strategies of work and workflow simulations.

Atualmente as empresas precisam de sistemas ágeis a mudanças constantes do ambiente do negócio e para garantir que os sistemas cumpram com sua finalidade, os desenvolvedores devem possuir uma compreensão mais aprofundada sobre a organização, seus objetivos, metas e estratégias de mercado. O principal problema para o desenvolvimento de sistemas de software tem sido a dificuldade em se obter informações sobre o domínio da aplicação. Essa dificuldade levou ao surgimento de técnicas de modelagem organizacional, sendo uma atividade valiosa para a compreensão do ambiente empresarial. O EKD - Enterprise Knowledge Development - é uma metodologia que fornece uma forma sistemática e controlada de analisar, entender, desenvolver e documentar uma organização. Infelizmente não possui uma sintaxe e semântica bem definidas, dificultando análises mais complexas dos modelos. Como resultado, o modelo de processos de negócio do EKD pode ser ambíguo e de difícil análise, principalmente em sistemas mais complexos, não sendo possível verificar a consistência e completude do modelo. Neste trabalho, esses problemas serão estudados sob uma abordagem baseada em redes de Petri. O formalismo de redes de Petri a torna uma importante técnica de modelagem para a representação de processos. Além disso, redes de Petri permitem rastrear cada etapa da operação sem ambigüidade e possuem métodos eficientes de análise que garantem que o modelo está livre de erros. Assim, este trabalho tem como objetivo desenvolver um método de avaliação do modelo de processo de negócio do EKD (MPN-EKD). Por meio desse método é possível verificar se o modelo tem erros de construção e travamentos. Este método pode ser aplicado em modelos direcionados para o desenvolvimento de sistema de informação ou de controle do fluxo de trabalho, e pode ser utilizado também para o estudo de estratégias de trabalho e simulação do fluxo de trabalho. / Nowadays all companies need fast systems and frequent changes on the business environment and to guarantee that the systems are reaching their goals, the developers must have a deeper comprehension of the enterprise, its goals and market strategies. The main problem to the development of software systems has been the difficulty to obtain information about the application domain. This difficulty leaded to the creation of enterprise modeling techniques, which is a valuable activity for the comprehension of business environment. The EKD - Enterprise Knowledge Development - is a methodology that gives a systematic and controlled way to analyze, understand, develop, and document an enterprise. Unfortunately it doesn\'t have syntax neither a semantic well defined, which doesn\'t help on more complex analyses of the models. As a result, the enterprise process model of EKD can be ambiguous and hard to analyze, especially on more complex systems, and also it is not possible to verify the consistency and entireness of the model. On this paper, these problems will be studied under an approach based on Petri nets. Because of the Petri nets formalism this is an important modeling technique to process representation. Furthermore, Petri nets allow the tracking of each step of the operation without ambiguity and also they have efficient methodology for analyses, which guarantee the accuracy of the model. Therefore, this work has the objective to develop an evaluation methodology of the business process model of EKD (MPN-EKD). Such methodology will make possible the verification of possible building and locking model errors. This methodology can be applied to information systems or workflow, and also can be used to study the strategies of work and workflow simulations.

A remanufatura é um processo industrial em que produtos usados são restaurados à condição de novos. Apesar de receber crescente atenção pelos meios empresarial e acadêmico, as pesquisas relacionadas muitas vezes são tratadas de forma fragmentada e de maneira difícil de incorporar às atividades das empresas. Neste sentido, a abordagem de processos de negócio pode ser usada para analisar e integrar as atividades de remanufatura, e a primeira ação para isto é a identificação dos processos e sua modelagem. Alguns modelos de referência para remanufatura e outras opções de recuperação de produtos têm sido desenvolvidos. Contudo, alguns deles são focados em tópicos pontuais da remanufatura, comumente a logística reversa e operações. Outros modelos que incorporam outros processos ou níveis de decisão, não tratam das particularidades da remanufatura. Para preencher esta lacuna, este trabalho apresenta o GRem Gerenciar a Remanufatura, um modelo que visa integrar os diferentes tipos de processos de negócio para a remanufatura. A estrutura é dividida em seis grupos de processos e permite a sistematização de boas práticas da remanufatura. A versão preliminar do modelo foi desenvolvida a partir de uma base conceitual teórico-empírica, composta da literatura e de estudos de casos. Novos estudos de casos, análise crítica por especialistas da academia e avaliação por profissionais da indústria constituíram iterações que resultaram na versão final do modelo. Espera-se que a estrutura facilite o planejamento e operação da remanufatura e a identificação de técnicas, ferramentas e práticas de apoio. Pretende-se ainda contribuir para o desenvolvimento e difusão do conhecimento sobre a remanufatura, sendo um instrumento de comunicação entre academia e indústria. / Remanufacture is an industrial process in which worn-out products are restored to as new condition. Although its growing attention by academy and industry, related research topics are still addressed in a fragmented way and it is difficult to embody them to companies activities. In this sense, business processes approaches can be used to analyse and integrate remanufacturing activities, and the first step to this is processes identification and modelling. Some reference models for remanufacturing and other product recovery option have been developed. Nevertheless, some of them focus on remanufacturing scattered topics, usually reverse logistics and operations. Other models cover other processes or decision levels, but do not capture remanufacturing specificities. In order to fulfil this lacuna, this study presents a business processes model for remanufacture, which intends for integration of remanufacturing cross-company processes. The framework is grouped into six process groups and also ground for systematization of reported remanufacturing-related good practices. Preliminary version was constructed from a theoretical and empirical conceptual basis, comprised for literature and case studies. Other case studies, critical analysis by academic experts and evaluation by industry practitioners were iterative steps which resulted in the final version of the model. This framework is supposed to make easier for industry practitioners planning their remanufacturing operations and find tools, techniques and other practices for supporting the remanufacturing business processes. It is also expected to contribute for spreading existing remanufacturing knowledge and development of it by the two-hand academic-industry communication.

A remanufatura é um processo industrial em que produtos usados são restaurados à condição de novos. Apesar de receber crescente atenção pelos meios empresarial e acadêmico, as pesquisas relacionadas muitas vezes são tratadas de forma fragmentada e de maneira difícil de incorporar às atividades das empresas. Neste sentido, a abordagem de processos de negócio pode ser usada para analisar e integrar as atividades de remanufatura, e a primeira ação para isto é a identificação dos processos e sua modelagem. Alguns modelos de referência para remanufatura e outras opções de recuperação de produtos têm sido desenvolvidos. Contudo, alguns deles são focados em tópicos pontuais da remanufatura, comumente a logística reversa e operações. Outros modelos que incorporam outros processos ou níveis de decisão, não tratam das particularidades da remanufatura. Para preencher esta lacuna, este trabalho apresenta o GRem Gerenciar a Remanufatura, um modelo que visa integrar os diferentes tipos de processos de negócio para a remanufatura. A estrutura é dividida em seis grupos de processos e permite a sistematização de boas práticas da remanufatura. A versão preliminar do modelo foi desenvolvida a partir de uma base conceitual teórico-empírica, composta da literatura e de estudos de casos. Novos estudos de casos, análise crítica por especialistas da academia e avaliação por profissionais da indústria constituíram iterações que resultaram na versão final do modelo. Espera-se que a estrutura facilite o planejamento e operação da remanufatura e a identificação de técnicas, ferramentas e práticas de apoio. Pretende-se ainda contribuir para o desenvolvimento e difusão do conhecimento sobre a remanufatura, sendo um instrumento de comunicação entre academia e indústria. / Remanufacture is an industrial process in which worn-out products are restored to as new condition. Although its growing attention by academy and industry, related research topics are still addressed in a fragmented way and it is difficult to embody them to companies activities. In this sense, business processes approaches can be used to analyse and integrate remanufacturing activities, and the first step to this is processes identification and modelling. Some reference models for remanufacturing and other product recovery option have been developed. Nevertheless, some of them focus on remanufacturing scattered topics, usually reverse logistics and operations. Other models cover other processes or decision levels, but do not capture remanufacturing specificities. In order to fulfil this lacuna, this study presents a business processes model for remanufacture, which intends for integration of remanufacturing cross-company processes. The framework is grouped into six process groups and also ground for systematization of reported remanufacturing-related good practices. Preliminary version was constructed from a theoretical and empirical conceptual basis, comprised for literature and case studies. Other case studies, critical analysis by academic experts and evaluation by industry practitioners were iterative steps which resulted in the final version of the model. This framework is supposed to make easier for industry practitioners planning their remanufacturing operations and find tools, techniques and other practices for supporting the remanufacturing business processes. It is also expected to contribute for spreading existing remanufacturing knowledge and development of it by the two-hand academic-industry communication.