Made available in DSpace on 2014-07-29T14:57:46Z (GMT). No. of bitstreams: 1 Dissert parte 1 Glauber Boff.pdf: 3627301 bytes, checksum: a9c5bc5ed01e465f7ee93a59c0da1439 (MD5) Previous issue date: 2010-04-12 / The development of Information Systems (IS) should be performed so that changes in the client s business, which may be common, may be reflected in the system, without reducing its consistency and reliability. To achieve these features, portability and maintainability, which are challenges for Software Engineering, are very important. There are two essential requirements which, when present in the development process, make it easier to deal with the system complexity. The first requirement states that it should be possible to describe the IS business rules (BR) using a high level language, generating a single, implementation independent model. The second requirement demands that it should be possible to generate software source code from the abstract BR model, and to integrate this code to the IS. This work presents an approach to meet these requirements. This approach covers the specification, modeling, implementation and evaluation of business rules in software to facilitate the development and maintenance of complex IS. Instead of hard-coding the BR into the applications, this approach adopts OCL as a platform independent high-level language to define a single BR model for the IS. To store the rules safely throughout the IS life cycle, a centralized repository in the database was developed, which enables control over all BR versions. During implementation, rules in OCL are automatically converted to SQL and stored in the database as stored procedures for further evaluation by a specific component of the application. This approach facilitates the maintenance of the IS by the centralized and high-level description of all BR. To demonstrate the feasibility of the proposed approach, an empirical validation was performed in the context of a research project funded by CNPq, which aims to optimize the production of beef cattle. / O desenvolvimento de Sistemas de Informação (SI) deve ser realizado de forma que as mudanças no negócio do cliente, que podem ser frequentes, possam ser refletidas no sistema, sem que ele perca sua consistência e confiabilidade. Para se atingir essas características, a portabilidade e manutenibilidade, que são desafios para a Engenharia de Software, são importantes. Há dois requisitos essenciais que, quando presentes no processo de desenvolvimento, facilitam o tratamento da complexidade do sistema. O primeiro requisito diz que deveria ser possível descrever as regras de negócio (RN) usando uma linguagem de alto nível, gerando um modelo único e independente de implementação. O segundo requisito demanda que deveria ser possível gerar código fonte a partir do modelo abstrato de RN e integrá-lo ao SI. Neste trabalho é apresentada uma abordagem para atender a esses requisitos. Esta abordagem abrange especificação, modelagem, implementação e avaliação de regras de negócio em software de forma a facilitar o desenvolvimento e a manutenção de SI complexos. Em vez de codificar as RN diretamente nas aplicações, adotou-se a linguagem OCL, uma linguagem abstrata e independente de plataforma, para definir um modelo único de RN para o SI. Para armazenar as regras ao longo do ciclo de vida do SI de forma segura e de fácil acesso foi criado um repositório centralizado no banco de dados, que permite realizar o controle de todas as versões das RN. Na implementação, regras em OCL são convertidas automaticamente para SQL e armazenadas em banco de dados como procedimentos armazenados para posterior avaliação por um componente específico da aplicação. Esta abordagem facilita a manutenção do SI pela descrição centralizada e em alto nível de todas as RN de um sistema. Para demonstrar a viabilidade da abordagem proposta, uma validação empírica foi realizada no contexto de um projeto de pesquisa apoiado pelo CNPq que visa a otimização da produção de gado de corte.

A preocupação da engenharia de software esteve por muito tempo relacionada a aspectos da funcionalidade do sistema, ou seja, com \"o que\" e \"como\" fazer e não com o \"por que\" fazer. Tais aspectos, envolvidos nos processos existentes, buscam a definição das propriedades desejadas, em lugar de observarem a informação de uma forma mais ampla, começando com as necessidades do próprio negócio, ou dos objetivos dos sistemas nele embutidos. As técnicas de análise estruturadas, diagrama de fluxo de dados e modelagem entidade e relacionamento modelam importantes conceitos para o desenvolvimento de sistemas, mas não buscam por soluções alternativas inovadoras aos problemas da organização. É comum encontrar situações onde o sistema não satisfaz às reais necessidades do negócio, embora esteja tecnicamente correto. O entendimento dos aspectos sociais, organizacionais, técnicos, jurídicos e econômicos é essencial para a realização de um bom trabalho de engenharia de requisitos. Nesse sentido, a modelagem organizacional facilita a compreensão do ambiente empresarial e é reconhecida como uma atividade valiosa pela engenharia de requisitos. O modelo organizacional representa o \"mundo\" onde se aplicam as regras do negócio. O entendimento das regras do negócio é muito importante para a organização ser flexível em um ambiente de crescente competitividade. Com a necessidade de se ter a modelagem dos aspectos relativos à organização para que o sistema atenda as suas reais necessidades, o presente trabalho tem como objetivo investigar o processo de desenvolvimento de software buscando conhecer técnicas ou métodos que atendem aos requisitos organizacionais, enfatizando o uso de regras do negócio com a finalidade de obter a especificação de requisitos. / The software engineering\'s focus were for a long time related to system\'s functionality aspects, or with \"what\" and \"how\" to do, and not with \"why\" to do. Those aspects in the existents process are looking for the definition of the desired proprieties instead observe the information in a more large aspect, beginning with the business needs itself or the systems goals inserted in it. The structure analysis techniques, flux data diagram, and relationship and entity modeling form important concepts for systems development but do not search for innovating alternatives solutions for organization\'s problems. It is very common to find situations were the system does not satisfy the real business needs, thought it is technically correct. The comprehension of social, organizational, technical, juridical and economics aspects are essential for a good realization of requirements in engineering work. In that way the enterprise modeling makes the business environment comprehension easier and is recognized as a value activity by the requirements engineering. The enterprise model represents the \"world\" where the business rules are applied. The comprehension of the business rules is very important so the organization can be flexible in a growing competitive environment. With the necessity to have a modeling of the relative aspects to the organization so the system can accomplish the real needs, this present research has the objective to investigate a software development process trying to find techniques or methods that answer the enterprise\'s requirement, emphasizing the use of business rules to obtain the specifics requirements.

A preocupação da engenharia de software esteve por muito tempo relacionada a aspectos da funcionalidade do sistema, ou seja, com \"o que\" e \"como\" fazer e não com o \"por que\" fazer. Tais aspectos, envolvidos nos processos existentes, buscam a definição das propriedades desejadas, em lugar de observarem a informação de uma forma mais ampla, começando com as necessidades do próprio negócio, ou dos objetivos dos sistemas nele embutidos. As técnicas de análise estruturadas, diagrama de fluxo de dados e modelagem entidade e relacionamento modelam importantes conceitos para o desenvolvimento de sistemas, mas não buscam por soluções alternativas inovadoras aos problemas da organização. É comum encontrar situações onde o sistema não satisfaz às reais necessidades do negócio, embora esteja tecnicamente correto. O entendimento dos aspectos sociais, organizacionais, técnicos, jurídicos e econômicos é essencial para a realização de um bom trabalho de engenharia de requisitos. Nesse sentido, a modelagem organizacional facilita a compreensão do ambiente empresarial e é reconhecida como uma atividade valiosa pela engenharia de requisitos. O modelo organizacional representa o \"mundo\" onde se aplicam as regras do negócio. O entendimento das regras do negócio é muito importante para a organização ser flexível em um ambiente de crescente competitividade. Com a necessidade de se ter a modelagem dos aspectos relativos à organização para que o sistema atenda as suas reais necessidades, o presente trabalho tem como objetivo investigar o processo de desenvolvimento de software buscando conhecer técnicas ou métodos que atendem aos requisitos organizacionais, enfatizando o uso de regras do negócio com a finalidade de obter a especificação de requisitos. / The software engineering\'s focus were for a long time related to system\'s functionality aspects, or with \"what\" and \"how\" to do, and not with \"why\" to do. Those aspects in the existents process are looking for the definition of the desired proprieties instead observe the information in a more large aspect, beginning with the business needs itself or the systems goals inserted in it. The structure analysis techniques, flux data diagram, and relationship and entity modeling form important concepts for systems development but do not search for innovating alternatives solutions for organization\'s problems. It is very common to find situations were the system does not satisfy the real business needs, thought it is technically correct. The comprehension of social, organizational, technical, juridical and economics aspects are essential for a good realization of requirements in engineering work. In that way the enterprise modeling makes the business environment comprehension easier and is recognized as a value activity by the requirements engineering. The enterprise model represents the \"world\" where the business rules are applied. The comprehension of the business rules is very important so the organization can be flexible in a growing competitive environment. With the necessity to have a modeling of the relative aspects to the organization so the system can accomplish the real needs, this present research has the objective to investigate a software development process trying to find techniques or methods that answer the enterprise\'s requirement, emphasizing the use of business rules to obtain the specifics requirements.

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.

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.

Submitted by JEAN MAKDISSI JUNIOR (jean@intimastore.com) on 2018-07-02T21:15:32Z No. of bitstreams: 1 marketplace_on-line_para_um_cluster_comecial_-_jean_makdissi_-_versao_final_2.pdf: 807948 bytes, checksum: 33b55ee6c73e08dfc445e715fbf805db (MD5) / Approved for entry into archive by Simone de Andrade Lopes Pires (simone.lopes@fgv.br) on 2018-07-04T17:09:12Z (GMT) No. of bitstreams: 1 marketplace_on-line_para_um_cluster_comecial_-_jean_makdissi_-_versao_final_2.pdf: 807948 bytes, checksum: 33b55ee6c73e08dfc445e715fbf805db (MD5) / Approved for entry into archive by Suzane Guimarães (suzane.guimaraes@fgv.br) on 2018-07-04T17:28:44Z (GMT) No. of bitstreams: 1 marketplace_on-line_para_um_cluster_comecial_-_jean_makdissi_-_versao_final_2.pdf: 807948 bytes, checksum: 33b55ee6c73e08dfc445e715fbf805db (MD5) / Made available in DSpace on 2018-07-04T17:28:44Z (GMT). No. of bitstreams: 1 marketplace_on-line_para_um_cluster_comecial_-_jean_makdissi_-_versao_final_2.pdf: 807948 bytes, checksum: 33b55ee6c73e08dfc445e715fbf805db (MD5) Previous issue date: 2018-07-02 / Os clusters comerciais de rua, também chamados de polos comerciais, têm sido afetados pelas mudanças que a internet e as mídias digitais têm causado no relacionamento do varejo com os consumidores. A alta concentração de lojas complementares e concorrentes em uma localidade geográfica foi a base da formação de clusters comerciais, porém esses fundamentos estão desafiados na nova realidade digital, onde os deslocamentos geográficos são cada vez menos necessários. Para adaptar-se a esta realidade, este estudo conceitua um marketplace on-line como endereço eletrônico oficial do polo comercial, fruto da união dos próprios lojistas. Como ambiente de estudo, seleciona o polo comercial do Brás. Os objetivos deste trabalho aplicado são: (1) testar a adesão dos lojistas ao conceito; (2) identificar as barreiras à execução do conceito; (3) levantar as características necessárias para o sucesso do conceito e (4) apresentar sugestões para o modelo de negócio. Para atingir os objetivos, o estudo baseou-se em: (A) revisão teórica sobre os aspectos acadêmicos relevantes sobre o tema, (B) levantamento de documentação e pesquisas sobre o ambiente de estudo, (C) entrevistas com dez lojistas presentes no polo há mais de 20 anos, e (D) observação direta e participante do pesquisador. Ao término, constatou-se que os lojistas do polo aceitaram a ideia, porém com ressalvas relacionadas à tecnologia de informação necessária, e a questões operacionais e comerciais. Notou-se uma baixa maturidade do campo em termos de preparo para a operação de comércio eletrônico e até mesmo uma descrença em relação aos resultados possíveis de serem obtidos em curto prazo, no entanto, os comerciantes em geral têm estruturas adaptáveis para as funções necessárias em uma operação de marketplace. De forma geral constatou-se que o relacionamento entre os lojistas tem baixos níveis de confiança e comprometimento, mas há disposição para mudança, que em muito, depende da consolidação de uma liderança que trabalhe para esse objetivo. Por fim, o estudo faz sugestões para o modelo de negócios a ser implantado na operação e sugere um modelo tradicional de marketplace baseado em comissão sobre vendas, porém complementado com uma taxa de mensalidade a ser subsidiada pelos lojistas participantes do projeto. / Street commercial clusters, also called commercial poles, have been affected by the internet and digital media changes, affecting the relationship between the retail and the consumers. The high amount of complementary and competitive stores in a geographic location was the basis for the commercial clusters formation, but these fundamentals are challenged in the new digital reality, where geographic shifts are decreasingly necessary. To adapt to this reality, this study defines an online marketplace as the official electronic address of the commercial cluster, consequence of the own dealer’s union, and selects Brás’ commercial center as the study environment. The objectives of this study are: (1) testing dealers’ consent to the concept; (2) identify barriers to concept implementation; (3) raise the necessary characteristics for the concept success and (4) present suggestions for the business model. To achieve the objectives, the study was based on: (A) theoretical review on the subject relevant academic aspects, (B) Brás documentation and research analysis, (C) interviews with ten dealers that are over 20 years in the cluster, and (D) direct and participative observation of the researcher. At the end of the study, it was verified that the cluster dealers accept the idea, but with exceptions related to the information technology needed, and to operational and commercial questions. Low field maturity was noted in terms of preparation for the e-commerce operation as well as a disbelief over the results that could be obtained in short term, however, merchants in general have adaptable structures for the necessary functions in a marketplace operation. It was observed that the relationship between dealers has low trust and commitment levels, but there is a willingness to change, which depends on a leadership consolidation that works towards this goal. Finally, the study makes suggestions for the business model implementation in the operation and suggests a traditional marketplace model based on sales commission, however complemented with a monthly fee to be subsidized by the dealers participating in the project.

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.