Submitted by Nayara Passos (nayara.passos@ufpe.br) on 2015-03-10T14:26:26Z No. of bitstreams: 2 DISSERTAÇÃO Natália Cabral Silva.pdf: 2867606 bytes, checksum: 4e1c75788ce8db0420f34c1ca5195e63 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-11T17:30:06Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Natália Cabral Silva.pdf: 2867606 bytes, checksum: 4e1c75788ce8db0420f34c1ca5195e63 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014 / Diante do ambiente complexo e dinâmico encontrado nas empresas atualmente, o sistema tradicional de Workflow não está sendo flexível suficiente para modelar Processos de Negócio. Nesse contexto, surgiram os Processos Flexíveis que tem por principal objetivo suprir a necessidade de modelar processos menos estáticos. Processo declarativo é um tipo de processo flexível que permite os participantes decidirem a ordem em que as atividades são executadas através de regras de negócio. As regras de negócio determinam as restrições e obrigações que devem ser satisfeitas durante a execução. Tais regras descrevem o que deve ou não deve ser feito durante a execução do processo, mas não definem como. Os métodos e ferramentas atualmente disponíveis para modelar e executar processos declarativos apresentam várias limitações que prejudicam a sua utilização para este fim. Em particular, a abordagem que emprega lógica temporal linear (LTL) sofre do problema de explosão de estados a medida que o tamanho do modelo do processo cresce. Embora mecanismos eficientes em relação a memória terem surgido, eles não são capazes de adequadamente garantir a conclusão correta do processo, uma vez que permitem o usuário alcançar estados proibidos ou que causem deadlock. Além disso, as implementações atuais de ferramentas para execução de processos declarativos se concentram apenas em atividades manuais. Comunicação automática com aplicações externas para troca de dados e reutilização de funcionalidade não é suportado. Essas oportunidades de automação poderiam ser melhor exploradas por uma engine declarativa que se integra com tecnologias SOC existentes. Este trabalho propõe uma nova engine de regras baseada em grafo, chamado de REFlex. Tal engine não compartilha os problemas apresentados pelas abordagens disponíveis, sendo mais adequada para modelar processos de negócio declarativos. Além disso, REFlex preenche a lacuna entre os processos declarativos e SOC. O orquestrador REFlex é um orquestrador de serviços declarativo, eficiente e dependente de dados. Ele permite que os participantes chamem serviços externos para executar tarefas automatizadas. Diferente dos trabalhos relacionados, o algoritmo de REFlex não depende da geração de todos os estados alcançáveis, o que o torna adequado para modelar processos de negócios grandes e complexos. Além disso, REFlex suporta regras de negócio dependentes de dados, o que proporciona sensibilidade ao contexto. / Declarative business process modeling is a flexible approach to business process management in which participants can decide the order in which activities are performed. Business rules are employed to determine restrictions and obligations that must be satisfied during execution time. Such business rules describe what must or must not be done during the process execution, but do not prescribe how. In this way, complex control-flows are simplified and participants have more flexibility to handle unpredicted situations. The methods and tools currently available to model and execute declarative processes present several limitations that impair their use to this application. In particular, the well-known approach that employs Linear Temporal Logic (LTL) has the drawback of the state space explosion as the size of the process model grows. Although approaches proposing memory efficient methods have been proposed in the literature, they are not able to properly guarantee the correct termination of the process, since they allow the user to reach deadlock states. Moreover, current implementations of declarative business process engines focus only on manual activities. Automatic communication with external applications to exchange data and reuse functionality is barely supported. Such automation opportunities could be better exploited by a declarative engine that integrates with existing SOC technologies. This work proposes a novel graph-based rule engine called REFlex that does not share the problems presented by other engines, being better suited to model declarative business processes than the techniques currently in use. Additionally, such engine fills this gap between declarative processes and SOC. The REFlex orchestrator is an efficient, data-aware declarative web services orchestrator. It enables participants to call external web services to perform automated tasks. Different from related work, the REFlex algorithm does not depend on the generation of all reachable states, which makes it well suited to model large and complex business processes. Moreover, REFlex is capable of modeling data-dependent business rules, which provides unprecedented context awareness and modeling power to the declarative paradigm.

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 Gestão do Ciclo de Vida (LCM) pode ser entendida como uma abordagem para melhorar continuamente o desempenho em sustentabilidade da organização e de seus produtos e serviços por meio da incorporação do pensamento de ciclo de vida nas práticas de negócio. Entretanto, faltam instrumentos de gestão para auxiliar na sua operacionalização e implementação. Nesse sentido cabe destacar as possibilidades advindas da abordagem de Gestão por Processos de Negócio (BPM), que visa a reestruturação e otimização das atividades organizacionais. Este trabalho teve como objetivo identificar e analisar as relações entre essa duas abordagens, verificando as possibilidades de contribuições entre elas. Para isso foi conduzida uma revisão bibliográfica sistemática para identificar as definições e práticas de BPM e LCM, que foram utilizadas para a elaboração de definições de trabalho e para a análise das relações entre as práticas e os processos de negócio. Adicionalmente, foi realizado um estudo bibliométrico para identificar relações entre as duas áreas de pesquisa, a partir do qual é possível afirmar que não há referencial teórico compartilhado entre as duas áreas. Em contrapartida, os resultados da análise de publicações indicam que as práticas de BPM estão relacionadas com os processos de negócio e com o desempenho da organização, e que muitas práticas de LCM estão sendo aplicadas nos processos de negócio, havendo assim uma relação indireta entre as abordagens. Além disso, foram identificadas oportunidades de contribuição relacionados a teoria e prática dessas abordagens: BPM possui um conjunto de práticas para a gestão e melhoria dos processos com base no planejamento estratégico, enquanto LCM possui elementos e práticas que visam a sustentabilidade do ciclo de vida de produtos. / Life cycle management (LCM) is an approach for continuously improve the sustainability performance in organizations and its products through the incorporation of life cycle thinking in business practices. However, there are few management instruments to support this approach. Aiming to meet this demand, the purpose of this study is to analyze the relationship of LCM with Business Process Management, which aims at continuous improvement of organizational activities. A systematic literature review was conduct to identify BPM and LCM definitions and practices, which were used to define BPM and LCM and to analyze the relationship between practices and business process. Additionally, a bibliometric study was conducted to identify relationships between the two areas and its results shows that there are no conceptual framework shared between two. In constrast, the results indicate that BPM practices are related to business processes and organizational performance, and that many LCM practices are being applied into business processes, thus having an indiredt relationship between approaches. In addition, opportunities related to theory and practice are indentified: BPM has a set of practices for the management and improvement of process based on strategic planning, while LCM has elements and practices aimed at sustainability of the life cycle of products.

No cenário atual, nota-se a constante busca das organizações para que se mantenham competitivas no mercado. Para apoiar a organização, tanto no nível operacional quanto no nível não operacional, a Tecnologia da Informação (TI) é usada. Com intuito de apoiar as estratégias, as organizações usam a Gestão de Processos de Negócio (BPM Business Process Management) para identificar, definir e evoluir seus processos de negócio. Usando estes recursos, o framework Strategic Alignment with BPM (StrAli-BPM) foi desenvolvido para contribuir na melhoria do alinhamento entre os níveis estratégicos e operacionais da organização, por meio do tratamento dos requisitos não funcionais nos processos de negócio. Este projeto de pesquisa propõe estender o framework StrAli-BPM com a criação de um novo componente para fazer a extração de informações de metas estratégicas organizacionais a serem usadas na modelagem de requisitos não funcionais de processos de negócio. Para auxiliar na melhoria do alinhamento estratégico, a versão antiga do framework StrAli-BPM usa os Acordos em Nível de Negócio (BLA Business Level Agreement) para tratar os requisitos não funcionais. Além de tratar os requisitos não funcionais por meio de BLAs, a versão antiga do framework StrAli-BPM define que o BLA deve dar origem aos Acordos em Nível de Serviço (SLA Service Level Agreement), ou seja, os SLAs devem ser derivados dos BLAs. No entanto, esta versão antiga não define quais informações das metas estratégicas organizacionais devem ser usadas para compor BLAs. O novo componente proposto neste projeto de pesquisa, chamado Indicador Chave de Desempenho para Acordo em Nível de Negócio (KPI2BLA Key Performance Indicator to Business Level Agreements), se propõe a identificar quais informações relevantes das metas estratégicas organizacionais devem ser usadas na criação dos requisitos não funcionais, que, posteriormente, devem servir para criação de BLAs / In the present scenario, there is the constant search for organizations to remain competitive in the market. And to support the organization, both at the operational level and in the non-operational level, the Information Technology (IT) is used. In order to support the strategies organizations use the Business Process Management (BPM) to identify, define and evolve their business processes. Using these features, the framework Strategic Alignment with BPM (StrAli-BPM) is designed to contribute to improving the strategic alignment between the strategic and operational levels of the organization, through the treatment of non-functional requirements in the business process. This research project proposes to extend the StrAli-BPM framework with the creation of a new component to the extraction of organizational strategic goals information to be used in the modeling of non-functional requirements of business processes. To assist in improving the strategic alignment, the old version of StrAli-BPM framework uses the Agreements in Business Level (BLA) to treat the non-functional requirements. In addition to treating non-functional requirements through BLAs, the old version of StrAli-BPM framework defines the BLA should lead to agreements on service level (SLA), its mean, the SLAs should be derived from BLAs. However, this old version does not define what information the organizational strategic goals should be used to compose BLAs. The new component proposed in this research project, called Key Performance Indicator to Agreement on Business Level (KPI2BLA) aims to identify relevant information from organizational strategic goals should be used in the creation of requirements nonfunctional, which later must be used to create BLAs

Submitted by Jailda Nascimento (jmnascimento@pucsp.br) on 2016-10-21T15:12:13Z No. of bitstreams: 1 Kátia Alvarenga Franza Gatti.pdf: 663272 bytes, checksum: 7cd17fbe97b4fae02d6d2794de52e59f (MD5) / Made available in DSpace on 2016-10-21T15:12:14Z (GMT). No. of bitstreams: 1 Kátia Alvarenga Franza Gatti.pdf: 663272 bytes, checksum: 7cd17fbe97b4fae02d6d2794de52e59f (MD5) Previous issue date: 2016-09-08 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This study aims to investigate the legal business under private law with the implications and effects that come to the tax law, embodied in the obligation to tax collection. At the same time, it seeks to demonstrate the legitimacy of the institution of elision tax law, leaving the issue of tax evasion the issues related to any wrongfulness. Therefore, with the study of the legal business was demonstrated possibility of imperfections that regularly cause the unwinding of illicit legal business by the tax authorities, with consequent tax impact being sought to prevent illicitly. In other cases, that is, the situation of tax avoidance as treated here, there is no need to admit the unwinding by the tax authorities of the perfect legal transactions, so only because the taxpayer sought to lower tax incidence, with justifications nothing deeply grounded. We tried to explain the theoretical context of philosophy of language, explaining the theory of tax incidence, was made notes about the theory of the system, as well as on the theory of evidence and its importance to support the possibility of taxation / O presente trabalho objetiva investigar o negócio jurídico no âmbito do direito privado com as implicações e efeitos que surgem para o ramo do direito tributário, consubstanciados na obrigação ao recolhimento de tributos. Ao mesmo tempo, busca-se demonstrar com isso a legitimidade do instituto da elisão fiscal, deixando para o tema da evasão fiscal as questões correlatas a qualquer ilicitude. Para tanto, com o estudo do negócio jurídico demonstrou-se possibilidade de imperfeições que ocasionam regularmente o desfazimento do negócio jurídico ilícito pelo fisco, com consequente incidência tributária que se buscou evitar ilicitamente. Nos demais casos, ou seja, na situação de elisão fiscal como aqui tratada, não há que se admitir o desfazimento pelo fisco dos negócios jurídicos perfeitos, tão somente porque o contribuinte buscou menor incidência tributária, com justificativas nada profundamente fundamentadas. Tratou-se de explicar o contexto teórico da filosofia da linguagem, explicando a teoria da incidência tributária, fez-se apontamentos acerca da teoria do ordenamento, bem como, sobre a teoria das provas e sua importância para fundamentar as possibilidade de tributação

Made available in DSpace on 2016-04-26T20:21:27Z (GMT). No. of bitstreams: 1 Daniel Pires Novais Dias.pdf: 1264304 bytes, checksum: 4ab76b1bb1945d10345dd838657d646b (MD5) Previous issue date: 2012-12-04 / This dissertation aims to examine closely the business foundation, which is the legal business through which the process of creating a private foundation in Brazilian law begins. It is a insufficiently addressed subject by the Brazilian doctrine: specialized works on Private Foundations approach the subject only indirectly and in a superficial vision, which is, from a perspective centered on the artificial foundational person, which implies a vision without pretensions of unity and coherence over the foundational business. This fragmentation has as negative consequence, a partial view on the foundational phenomenon, with special reflections on the process of creating the foundation and that, in practice, has corresponded to a disregard of the value of the negotiating freedom of the settlor. In the analysis of the foundational business we start from its formation, nearing the end of its extinction and juristic nature. The methodology used was the literature research of national and international authors and judicial decisions. Among the foreign authors, emphasis was placed on the German, Italian and Portuguese doctrines, because of the similarity of the theoretical bases and greater depth in which the subject is approached in these countries compared to the Brazilian law. The main problems faced are the interpretations of the requirement "free goods", contained in art. 62 of the Civil Code and also about the limit of the stipulation of the foundational purposes, predicted in the single paragraph of that article and, finally, the lawfulness of the reversal of the foundational residual patrimony in the event of termination of the foundation. The conclusions reached in each of these problems respectively were: the requirement free goods imposes that endowed goods to the foundation are not subject to the real rights of guaranty or under lien and its transmission is valid, the settlor can only create foundations for purposes of pursuing the collective interest, and, finally, the settlor may provide a reversal of patrimony that he himself transferred the property / A presente dissertação de mestrado tem por objetivo analisar detidamente o negócio fundacional, que é o negócio jurídico por meio do qual se dá início ao processo de criação de uma fundação privada no Direito brasileiro. Trata-se de tema insuficientemente abordado pela doutrina brasileira: as obras especializadas sobre Fundações Privadas abordam o assunto apenas de maneira pontual e indireta, isto é, partindo de uma perspectiva centrada na pessoa jurídica da fundação, o que implica em uma visão sem pretensões de unidade e coerência sobre o negócio fundacional. Esta fragmentação tem como consequência negativa uma visão parcial do fenômeno fundacional, com especiais reflexos sobre o processo de criação da fundação e que, na prática, tem correspondido a uma desconsideração do valor da liberdade negocial do instituidor. Na análise do negócio fundacional parte-se da sua formação, chegando ao final à sua extinção e natureza jurídica. A metodologia utilizada foi de pesquisa bibliográfica de autores nacionais e estrangeiros e consulta a decisões judiciais. Entre os autores estrangeiros, deu-se ênfase às doutrinas alemã, italiana e portuguesa, pela semelhança das bases teóricas e maior profundidade com que o tema é abordado nestes países em comparação ao Direito brasileiro. Os principais problemas enfrentados são as interpretações do requisito bens livres , contido no art. 62 do Código Civil e também do limite para estipulação dos fins fundacionais, previsto no parágrafo único do referido artigo e, por fim, a licitude da reversão dos bens fundacionais residuais em caso de extinção da fundação. Os resultados a que se chegou em cada um destes problemas respectivamente foram: que o requisito bens livres impõe que os bens dotados à fundação não estejam sujeitos a direitos reais de garantia ou sob penhora e sua transmissão seja válida; o instituidor só poderá criar fundações para perseguir fins de interesse coletivo; e, por fim, o instituidor poderá estipular a reversão dos bens que ele mesmo transferiu à propriedade

A Gestão de Processos de Negócio é uma abordagem voltada a processos que, em um contexto de alta complexidade, viabiliza a integração, inovação e flexibilidade nas Organizações. Para a implementação desta abordagem nas empresas, apresenta-se como fundamental o Diagnóstico de Processos, pois o entendimento pleno do processo analisado permite resultados mais consistentes e maior alinhamento deste com a estratégia organizacional, otimizando o atendimento ao mercado, o custo operacional e a qualidade dos produtos e serviços. Contudo, a implementação do diagnóstico mostra-se um desafio para as Organizações, apresentando lacunas na literatura relacionados à temática de Diagnóstico de Processos, sob a abordagem de Gestão de Processos. Existe ainda a lacuna diante da proposta de identificar métodos de aplicação deste diagnóstico com técnicas complementares, capazes de contemplar as dimensões de processo. Tendo em vista estas lacunas, este estudo objetivou desenvolver um método de diagnóstico de processos baseado em técnicas complementares, possibilitando a identificação de fatores e atividades essenciais para a aplicação de um diagnóstico efetivo. Foram selecionadas duas técnicas de diagnóstico de processos: Mapeamento de Processos e Árvore da Realidade Atual. O Mapeamento de Processos é uma técnica que permite resultados robustos frente à necessidade de entendimento do fluxo de atividades e informações. A Árvore da Realidade Atual não permite resultados tão consistentes nestes fluxos, porém, é a técnica que proporciona melhor entendimento das dimensões do processo, de forma holística. Para verificar a efetividade deste método de diagnóstico, propôs-se uma pesquisa-ação em uma unidade da maior universidade da América Latina. A pesquisa-ação foi selecionada pela possibilidade de melhoria no método decorrente da aplicação do mesmo; para tanto, foram realizados três ciclos de aplicação, considerando fatores como a satisfação do grupo de trabalho, para medir a eficiência e a eficácia do método, e a satisfação da Organização, para medir a eficácia do mesmo. A seleção da instituição de ensino superior como local de pesquisa foi influenciada pela relevância desta referida universidade no cenário mundial, sendo seus resultados parâmetros para replicação em outras Organizações. Os resultados dos ciclos aplicados permitiram identificar quais são os fatores que influenciaram, de forma significativa, o Diagnóstico de Processos. Estes resultados auxiliam a referida universidade a entender seus processos, tal como prosseguir com outras análises. Auxiliam ainda a sociedade, por apresentar um método de diagnóstico, desenvolvido em uma universidade, que pode ser observado por duas perspectivas: (i) a aplicação do método formulado; ou, (ii) a possibilidade de um desenvolvimento customizado deste. Este estudo ainda pode embasar hipóteses em futuros estudos voltados a generalizar tais descobertas. / The Business Process Management is an approach processes focused that, in a context of high complexity, enables the integration, flexibility and innovation in organizations. To implement this approach in business, Process Diagnosis is fundamental for a full understanding of the analyzed process, allowing more consistent results and aligning with the organizational strategy, optimizing service to the market, the operating cost and quality of products and services. However, the implementation of this diagnosis is a challenge for organizations, because of the lack of studies in the literature related to Process Diagnosis, under the approach of Business Process Management. There is another gap to identify applications methods of this diagnosis with complementary techniques. Given these shortcomings, this study aimed to develop a diagnostic process method based on complementary techniques, enabling the identification of factors and activities essential for the implementation of an effective diagnosis. Two techniques were selected for the process diagnosis: Process Modeling and the Current Reality Tree. The Process Modeling is a technique that enables robust results to the necessity of understanding the activities and information flows. The Current Reality Tree does not allow such consistent results in these flows, however, is a technique that provides better understanding of the all dimensions of the process holistically. To verify the effectiveness of this method, it proposes an action research on the biggest university in Latin America. Action research was selected by the possibility of improvement in the method resulting from application of this. Therefore, there were three cycles of application, considering factors such as the satisfaction of the working group, to measure the efficiency and effectiveness of the method, and the satisfaction of organization, to measure the effectiveness of it. The selection of this higher education institution as a place of research was influenced by the relevance of that university on the world stage, and its results are parameters for replication in another organization. The results of the applied cycles allowed identifying what are the factors that influenced significantly the Process Diagnosis. These results help the university to understand that analyzed processes. Still help society by presenting a diagnostic method, developed in a university, which can be observed by two perspectives: (i) the application of the method formulated, or (ii) the possibility of development of this custom. This study can still to base hypotheses for future studies aimed to generalize these findings.

Submitted by Joana Azevedo (joanad@id.uff.br) on 2017-06-30T19:43:49Z No. of bitstreams: 1 Dissert INGRID COSTA DIAS.pdf: 1436941 bytes, checksum: 47524feac1cbfdfd8210c85fa5059106 (MD5) / Rejected by Biblioteca da Escola de Engenharia (bee@ndc.uff.br), reason: Item rejeitado, pois a ficha catalográfica está fora do padrão. Atenciosamente, Catarina Ribeiro Bibliotecária BEE - Ramal 5992/5993/5994 on 2017-07-07T12:37:24Z (GMT) / Submitted by Joana Azevedo (joanad@id.uff.br) on 2017-07-25T19:36:46Z No. of bitstreams: 1 Dissert INGRID COSTA DIAS.pdf: 1525309 bytes, checksum: 688fdff58f6e2f733a095a9810244c54 (MD5) / Approved for entry into archive by Biblioteca da Escola de Engenharia (bee@ndc.uff.br) on 2017-07-28T15:10:40Z (GMT) No. of bitstreams: 1 Dissert INGRID COSTA DIAS.pdf: 1525309 bytes, checksum: 688fdff58f6e2f733a095a9810244c54 (MD5) / Made available in DSpace on 2017-07-28T15:10:40Z (GMT). No. of bitstreams: 1 Dissert INGRID COSTA DIAS.pdf: 1525309 bytes, checksum: 688fdff58f6e2f733a095a9810244c54 (MD5) / O anúncio da descoberta da chamada camada Pré-Sal no Brasil fez com trabalhadores de distintas nacionalidades fossem recrutados para atuação em território nacional. Esse movimento foi determinante para a constituição de empresas de pequeno porte especializadas em desembaraço do trabalhador estrangeiro no Brasil (migração laboral). Em especial, o presente estudo analisa uma dessas empresas, no sentido de oferecer uma análise diagnóstica e propostas de melhoria para o seu processo-chave – legalização do trabalhador estrangeiro no Brasil. O estudo está suportado por uma revisão de literatura fundamentada na legislação vigente e em livros, artigos e publicações científicas que relacionam as Técnicas de Mapeamento de Processos e MASP – Metodologia de Análise de Solução de Problemas. Como resultados obtidos, o mapeamento do processo foi realizado, as etapas do processo foram modificadas e algumas foram acrescentadas, o que possibilitou melhorias no ambiente de trabalho e a solução do problema apontado, o atraso para a legalização do trabalhador estrangeiro no Brasil. Desta forma, esta pesquisa pode contribuir para o avanço da publicação de trabalhos neste segmento e sugerir possíveis soluções para melhorar o desempenho destas empresas no Brasil. / The announcement of the discovery of Pre-Salt layer in Brazil made different nationalities workers be recruited to act in national territory. This movement was crucial for the establishment of small companies specialized in the foreign worker resourcefulness in Brazil (labor migration). In particular, this study examines one of these companies, in order to provide a diagnostic analysis and improvement proposals for its key process - legalization of foreign workers in Brazil. The study is supported by a literature review based on the current legislation and in books, articles and scientific publications relating the Process Mapping Techniques and MASP - Methodology for Analysis and Problem Solution. As results, process mapping was conducted, the process steps have been modified and some were added, which enabled improvements in the work environment and the solution of the identified problem, the delay for the legalization of foreign workers in Brazil. Thus, this research can contribute to the advancement of publishing work in this field and suggest possible solutions to improve the performance of these companies in Brazil.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2017-07-19T11:05:26Z No. of bitstreams: 2 Dissertação - Gilmar Teixeira Junior - 2017.pdf: 6982787 bytes, checksum: c52c456e0cb8184f1f7144d862bff726 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-07-19T11:05:52Z (GMT) No. of bitstreams: 2 Dissertação - Gilmar Teixeira Junior - 2017.pdf: 6982787 bytes, checksum: c52c456e0cb8184f1f7144d862bff726 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-07-19T11:05:52Z (GMT). No. of bitstreams: 2 Dissertação - Gilmar Teixeira Junior - 2017.pdf: 6982787 bytes, checksum: c52c456e0cb8184f1f7144d862bff726 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-05-03 / Storing information in large data repositories (Big Data) creates opportunities for Organizations to use Process Mining techniques to extract knowledge about the performance and actual flow of their processes of business. One of the fundamental elements for achieving this objective is the relationship between process modeling languages, process event logging (logs) and Process Mining algorithms. In this work, comparisons were made between three languages (BPMN, Petri Nets and YAWL) which are usually used to model business processes with respect to their capabilities of use in Process Mining, especially in Process Discovery. The models created were based on typical Workflow patterns and five scenarios were simulated for each language using three Process Discovery algorithms (Alpha, Heuristic Miner and ILP Miner). The results indicate that the choice of the language used in the modeling and in recording of the business processes influences the quality of the results obtained by the Process Discovery algorithms. This work also presents suggestions for the development of process modeling languages and process mining algorithms. / O armazenamento das informações em grandes repositórios de dados (Big Data) geram oportunidades para que as Organizações utilizem técnicas de Mineração de Processos (Process Mining) para extrair conhecimento sobre o desempenho e o fluxo real de seus processos de negócio. Um dos elementos fundamentais para que este objetivo seja alcançado está na relação entre as linguagens de modelagem de processos, o registro dos eventos de processo (logs) e os algoritmos de Mineração de Processos. Neste trabalho, foram realizadas comparações entre três linguagens (BPMN, Redes de Petri e YAWL) normalmente utilizadas para modelar processos de negócio com respeito a suas capacidades de utilização na Mineração de Processos, em especial, na Descoberta de Processos. Os modelos criados foram baseados em padrões típicos de Workflow e cinco cenários foram simulados para cada linguagem utilizando três algoritmos de Descoberta de Processos (Alpha, Heuristic Miner e ILP Miner). Os resultados indicam que a escolha da linguagem utilizada na modelagem e no registro dos processos de negócio influencia na qualidade dos resultados obtidos pelos algoritmos de Descoberta de Processos. O trabalho também apresenta sugestões para o desenvolvimento das linguagens de modelagem de processos e dos algoritmos de Mineração de Processos.

No cenário atual, nota-se a constante busca das organizações para que se mantenham competitivas no mercado. Para apoiar a organização, tanto no nível operacional quanto no nível não operacional, a Tecnologia da Informação (TI) é usada. Com intuito de apoiar as estratégias, as organizações usam a Gestão de Processos de Negócio (BPM Business Process Management) para identificar, definir e evoluir seus processos de negócio. Usando estes recursos, o framework Strategic Alignment with BPM (StrAli-BPM) foi desenvolvido para contribuir na melhoria do alinhamento entre os níveis estratégicos e operacionais da organização, por meio do tratamento dos requisitos não funcionais nos processos de negócio. Este projeto de pesquisa propõe estender o framework StrAli-BPM com a criação de um novo componente para fazer a extração de informações de metas estratégicas organizacionais a serem usadas na modelagem de requisitos não funcionais de processos de negócio. Para auxiliar na melhoria do alinhamento estratégico, a versão antiga do framework StrAli-BPM usa os Acordos em Nível de Negócio (BLA Business Level Agreement) para tratar os requisitos não funcionais. Além de tratar os requisitos não funcionais por meio de BLAs, a versão antiga do framework StrAli-BPM define que o BLA deve dar origem aos Acordos em Nível de Serviço (SLA Service Level Agreement), ou seja, os SLAs devem ser derivados dos BLAs. No entanto, esta versão antiga não define quais informações das metas estratégicas organizacionais devem ser usadas para compor BLAs. O novo componente proposto neste projeto de pesquisa, chamado Indicador Chave de Desempenho para Acordo em Nível de Negócio (KPI2BLA Key Performance Indicator to Business Level Agreements), se propõe a identificar quais informações relevantes das metas estratégicas organizacionais devem ser usadas na criação dos requisitos não funcionais, que, posteriormente, devem servir para criação de BLAs / In the present scenario, there is the constant search for organizations to remain competitive in the market. And to support the organization, both at the operational level and in the non-operational level, the Information Technology (IT) is used. In order to support the strategies organizations use the Business Process Management (BPM) to identify, define and evolve their business processes. Using these features, the framework Strategic Alignment with BPM (StrAli-BPM) is designed to contribute to improving the strategic alignment between the strategic and operational levels of the organization, through the treatment of non-functional requirements in the business process. This research project proposes to extend the StrAli-BPM framework with the creation of a new component to the extraction of organizational strategic goals information to be used in the modeling of non-functional requirements of business processes. To assist in improving the strategic alignment, the old version of StrAli-BPM framework uses the Agreements in Business Level (BLA) to treat the non-functional requirements. In addition to treating non-functional requirements through BLAs, the old version of StrAli-BPM framework defines the BLA should lead to agreements on service level (SLA), its mean, the SLAs should be derived from BLAs. However, this old version does not define what information the organizational strategic goals should be used to compose BLAs. The new component proposed in this research project, called Key Performance Indicator to Agreement on Business Level (KPI2BLA) aims to identify relevant information from organizational strategic goals should be used in the creation of requirements nonfunctional, which later must be used to create BLAs