Business processes define workflows by structuring sets of activities according to given objectives. Process Modeling Languages (PMLs) provide graphical elements to define process models. Apart from use cases in finance and commerce, PMLs gain popularity in application domains such as Cyber-Physical Systems, the Internet of Things, ubiquitous computing, mobile devices, and scenarios happening in rural, restricted, or disaster-affected regions. Many of the domains are exposed to delayed, intermittent, or broken connectivity. Existing PMLs show limitations in considering connectivity-related issues, leading to failures and breakdowns at process runtime. This thesis addresses connectivity-related issues regarding the modeling and execution of resilient business processes taking place in unreliable communication environments. With resilient BPMN (rBPMN), an extension for the Business Process Model and Notation (BPMN) addressing environments with delayed, intermittent, or broken connectivity is introduced. rBPMN extends the BPMN metamodel by new elements for resilient process models. Domain experts may define alternatives for possibly failing message flows based on priorities or characteristics of the alternatives. Functionality offered by remote participants may be moved to other participants for local execution. This thesis illustrates approaches for the graph-based analysis of business processes regarding their resilient operation. By translating process models into directed graphs, graph algorithms allow to dynamically find the most suitable process path. Domain experts are enabled to identify non-resilient parts of a process model, allowing them to optimize the involved segments before runtime. Multi-criteria analysis approaches optimize process operation according to a chosen set of criteria. A real-world scenario of an environmental-friendly slurry application illustrates the use of rBPMN’s concepts and approaches for modeling and executing resilient processes. Technical approaches realizing rBPMN’s resilience strategies using a BPMN runtime engine and microservices are illustrated. The proof-of-concept implementations may be extended and adapted, serving as guides for other application domains.

The study aims at identifying the impacts accruing from the implementation of an ERP-system on a large production company that previously managed information in several unintegrated systems. This is investigated from the perspectives and frameworks of Lean Administration, information security and information- and data quality. The study has been conducted at SCA Östrands marketing department, SCA is currently investing 7,8 billion Swedish kronor in the Östrand pulp mill and will be leading the world market. SCA aims to produce 1 million tons of pulp per year with the new mill. As production increases, more data and information will be handled, and support processes must be improved and developed. Process flows were mapped with the process mapping method BPMN and analyzed at a current state and a future state. In the current state, several unintegrated systems are used, in the future, many parts have been integrated and automated. Three main processes were identified and analyzed according to the earlier mentioned frameworks. The analysis shows that the information security is improved according to the CIA-triad, Information- and data quality is improved, and the working method is Leaner after the implementation. In order to calculate efficiency, Data Envelopment Analysis, DEA method has been used with the CCR and ARI models. The results of DEA-CCR and DEA-ARI shows that process flow of the current state is between 48,3% and 57,1% effective compared to the future state, which is 100% effective in the models. / Studien syftar till att identifiera vilka konsekvenser en implementation av ett affärssystem har på ett stort produktionsföretag som tidigare arbetat med informationshantering i flera ointegrerade systemstöd. Detta undersöks ur perspektiven och ramverken för Lean Administration, informationssäkerhet samt informations- och datakvalitet. Undersökningen har genomförts på SCA Östrands marknadsavdelning, SCA investerar just nu 7,8 miljarder kronor i massafabriken Östrand och kommer att bli ledade på världsmarknaden. SCA har som mål att producera 1 miljon ton massa per år med den nybyggda fabriken. Då produktionen ökar kommer mer data och information hanteras och stödprocesserna måste förbättras och utvecklas. Processflöden har kartlagts med processkartläggningsmetoden BPMN och analyserats i ett nutida samt ett framtida optimalt läge. I det nutida läget används flera ointegrerade systemstöd och i det framtida läget har många delar blivit integrerade och automatiserade. Tre huvudprocesser har identifierats och dessa processflödena analyseras utifrån de tre ramverken. Analysen visar att informationssäkerheten förbättras enligt CIA-triaden, Informations- och datakvaliteten förbättras och arbetssättet är mer Lean efter implementationen. För att beräkna ett relativt effektivitetsmått har metoden Data Envelopment Analysis, DEA, använts med modellerna CCR och ARI. Resultatet av DEA-CCR och DEA-ARI visar att det nutida läget är mellan 48,3% och 57,1% effektivt jämfört med det framtida läget som anses vara 100% effektivt i modellerna.

A definição de zonas de manejo no contexto da agricultura de precisão requer muitas etapas, desde a coleta de dados até a avaliação dos mapas. No entanto, existe diferente número de etapas, ferramentas, métodos, algoritmos e softwares usados, apresentadas pelos pesquisadores. Neste contexto, o objetivo do trabalho é propor um modelo de referência para o processo de definição de zonas de manejo em agricultura de precisão. O modelo de referência proposto para o processo de está dividido em algumas etapas observadas na maioria dos trabalhos analisados. A Business Process Model and Notation (BPMN) foi utilizada para formalizar o modelo de referência composto dos cinco subprocessos: coleta de dados, seleção de atributos, filtragem de dados, agrupamento e avaliação dos mapas. Adicionalmente são apresentadas as atividades, os fluxos e desvios de cada subprocesso, apresentando os conceitos, pré-requisitos e limitações dos métodos aplicáveis em cada uma das atividades, além de apresentar possíveis variações na execução das atividades, ampliando as opções disponíveis para a definição de zonas de manejo. Um estudo de caso é apresentado para avaliar a aplicabilidade do modelo de referência proposto, descrevendo a utilização dos subprocessos e atividades propostas. A BPMN mostrou ser adequada para representar os subprocessos, atividades, fluxos e desvios do processo. O estudo de caso comprovou a aplicabilidade do modelo proposto, através de seu uso em um talhão contendo diferentes grades amostrais, erros de coleta e pares de atributos com forte correlação, enfatizando a importância das atividades propostas. Por fim o modelo de referência proposto foi capaz de gerar um conjunto de mapas de zonas de manejo e indicar o mapa mais adequado aos objetivos da agricultura de precisão. / Management zone delineation in the context of precision agriculture requires many steps, from data collection to management zone maps evaluation. However, there are different numbers of steps shown by researchers, besides tools, methods, algorithms and software used. In this context, the aim of this work is to propose a reference model process for management zone delineation in precision agriculture. The proposed reference model process is divided into some steps observed in most of the works analyzed. Business Process Model and Notation (BPMN) was used to formalize the reference model composed of the five subprocesses: data collection, feature selection, data filtering, clustering and maps evaluation. In addition, the model presents activities, flows and gateways for each subprocess, presenting concepts, prerequisites, limitations of the applicable methods for each activity and possible variations to the implementation of the activities, increasing the options available for management zone delineation. A case study is presented to evaluate the applicability of the reference model proposed, describing the use of the subprocesses and activities proposed. The BPMN showed to be adequate to represent subprocess, activities, flows and gateways of the process. The case study demonstrated the applicability of the model proposed through its use in a field with different sample grids, errors from collection and strong correlation between pairs of attributes, emphasizing the importance of the activities proposed. Finally, the model proposed was able to generate a set of management zone maps and to indicate the most appropriate for precision agriculture objectives.

Diversos pesquisadores têm se utilizado do recurso de Redes de Interação na área de Biodiversidade para analisar o papel das espécies na estrutura da uma rede cujos fundamentos conceituais são os mesmos das Redes Sociais (como Facebook, LinkedIn, entre outras). Nesse sentido, algoritmos, métricas e recursos computacionais e estatísticos provenientes da área de Análise de Redes Sociais (Social Network Analysis SNA) são ferramentas importantes para endereçar/apoiar estudos com interações. Assim sendo, o objetivo desta tese é propor uma metodologia para aplicação das métricas de SNA em estudos com Redes de Interação biológicas no domínio da Informática para a Biodiversidade. A metodologia está formalizada por meio da Notação para Modelagem de Processos de Negócio (BPMN - Business Process Model and Notation) e estruturada em quatro etapas: (i) mapeamento dos tipos de dados e de interação disponíveis; (ii) definição das perguntas-chave a serem respondidas e das variáveis de análise; (iii) escolha das métricas de SNA adequadas ao contexto da pesquisa; e (iv) realização de análises biológicas com o apoio de SNA. Como recursos materiais foram utilizadas as métricas de SNA, bem como um conjunto de ferramentas computacionais (como os pacotes do R e os programas Dieta, Pajek e Ucinet) e de Análise Estatística (como a Análise Exploratória de Dados e a Análise Multivariada de Dados). Esta proposta nasceu de um processo de colaboração com pesquisadores de diversas áreas do conhecimento, a partir de projetos desenvolvidos no Núcleo de Pesquisa em Biodiversidade e Computação da USP (BioComp-USP), o que trouxe uma base de sustentação a esta metodologia. Para avaliar a adequação desta proposta a necessidades reais de pesquisa a metodologia foi aplicada a três estudos de caso com Redes de Interação microbiológicas. Os resultados mostram os benefícios que a disponibilização de um método sistematizado para guiar os passos de uma pesquisa pode trazer a um pesquisador seja em função do aporte de recursos recomendados, seja pelo processo de organização das atividades de pesquisa. Além disso, verifica-se a possibilidade de transposição desta proposta a outros domínios do conhecimento ainda não explorados, como em Agrobiodiversidade. / Several researchers have used Interaction Networks resources in the Biodiversity area for analyzing the role of species in network structure their conceptual foundations are the same as those in Social Networks (such as Facebook, LinkedIn, among others). Thus, algorithms, metrics, and statistical and computational resources from the Social Network Analysis (SNA) area are important tools for addressing this issue. Therefore, the aim of this thesis is to propose a methodology for applying SNA metrics to biological interaction network studies in the Biodiversity Informatics domain. The methodology is formalized by means of Business Process Model and Notation (BPMN) and structured in four steps: (i) mapping the data types and the interaction available; (ii) defining the key-questions to be answered and the analysis variable; (iii) choosing the SNA metrics appropriate to the context of the research; and (iv) performing the biological analysis with the support of SNA. As material resources, the SNA metrics were used, as well as a set of computational (such as R packages, Dieta, Pajek and Ucinet software) and Statistical Analysis (Exploratory Data Analysis and Multivariate Data Analysis) tools. This proposal generated a process collaboration with researchers from different knowledge areas, by means of projects developed at the Research Center on Biodiversity and Computing at USP (BioComp-USP), which provided a support base to this methodology. To assess the suitability of this proposal to the real research needs, it was applied to three case studies with microbiological Interaction Networks. The results show the benefits that providing a systematic method to guide the steps of one research can bring to a researcher be it due to the support of the resources recommended, be it by the organization of the research activities. In addition, there is the possibility of applying this methodology to unexplored knowledge fields, such as Agrobiodiversity.

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

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

Diversos pesquisadores têm se utilizado do recurso de Redes de Interação na área de Biodiversidade para analisar o papel das espécies na estrutura da uma rede cujos fundamentos conceituais são os mesmos das Redes Sociais (como Facebook, LinkedIn, entre outras). Nesse sentido, algoritmos, métricas e recursos computacionais e estatísticos provenientes da área de Análise de Redes Sociais (Social Network Analysis SNA) são ferramentas importantes para endereçar/apoiar estudos com interações. Assim sendo, o objetivo desta tese é propor uma metodologia para aplicação das métricas de SNA em estudos com Redes de Interação biológicas no domínio da Informática para a Biodiversidade. A metodologia está formalizada por meio da Notação para Modelagem de Processos de Negócio (BPMN - Business Process Model and Notation) e estruturada em quatro etapas: (i) mapeamento dos tipos de dados e de interação disponíveis; (ii) definição das perguntas-chave a serem respondidas e das variáveis de análise; (iii) escolha das métricas de SNA adequadas ao contexto da pesquisa; e (iv) realização de análises biológicas com o apoio de SNA. Como recursos materiais foram utilizadas as métricas de SNA, bem como um conjunto de ferramentas computacionais (como os pacotes do R e os programas Dieta, Pajek e Ucinet) e de Análise Estatística (como a Análise Exploratória de Dados e a Análise Multivariada de Dados). Esta proposta nasceu de um processo de colaboração com pesquisadores de diversas áreas do conhecimento, a partir de projetos desenvolvidos no Núcleo de Pesquisa em Biodiversidade e Computação da USP (BioComp-USP), o que trouxe uma base de sustentação a esta metodologia. Para avaliar a adequação desta proposta a necessidades reais de pesquisa a metodologia foi aplicada a três estudos de caso com Redes de Interação microbiológicas. Os resultados mostram os benefícios que a disponibilização de um método sistematizado para guiar os passos de uma pesquisa pode trazer a um pesquisador seja em função do aporte de recursos recomendados, seja pelo processo de organização das atividades de pesquisa. Além disso, verifica-se a possibilidade de transposição desta proposta a outros domínios do conhecimento ainda não explorados, como em Agrobiodiversidade. / Several researchers have used Interaction Networks resources in the Biodiversity area for analyzing the role of species in network structure their conceptual foundations are the same as those in Social Networks (such as Facebook, LinkedIn, among others). Thus, algorithms, metrics, and statistical and computational resources from the Social Network Analysis (SNA) area are important tools for addressing this issue. Therefore, the aim of this thesis is to propose a methodology for applying SNA metrics to biological interaction network studies in the Biodiversity Informatics domain. The methodology is formalized by means of Business Process Model and Notation (BPMN) and structured in four steps: (i) mapping the data types and the interaction available; (ii) defining the key-questions to be answered and the analysis variable; (iii) choosing the SNA metrics appropriate to the context of the research; and (iv) performing the biological analysis with the support of SNA. As material resources, the SNA metrics were used, as well as a set of computational (such as R packages, Dieta, Pajek and Ucinet software) and Statistical Analysis (Exploratory Data Analysis and Multivariate Data Analysis) tools. This proposal generated a process collaboration with researchers from different knowledge areas, by means of projects developed at the Research Center on Biodiversity and Computing at USP (BioComp-USP), which provided a support base to this methodology. To assess the suitability of this proposal to the real research needs, it was applied to three case studies with microbiological Interaction Networks. The results show the benefits that providing a systematic method to guide the steps of one research can bring to a researcher be it due to the support of the resources recommended, be it by the organization of the research activities. In addition, there is the possibility of applying this methodology to unexplored knowledge fields, such as Agrobiodiversity.

A definição de zonas de manejo no contexto da agricultura de precisão requer muitas etapas, desde a coleta de dados até a avaliação dos mapas. No entanto, existe diferente número de etapas, ferramentas, métodos, algoritmos e softwares usados, apresentadas pelos pesquisadores. Neste contexto, o objetivo do trabalho é propor um modelo de referência para o processo de definição de zonas de manejo em agricultura de precisão. O modelo de referência proposto para o processo de está dividido em algumas etapas observadas na maioria dos trabalhos analisados. A Business Process Model and Notation (BPMN) foi utilizada para formalizar o modelo de referência composto dos cinco subprocessos: coleta de dados, seleção de atributos, filtragem de dados, agrupamento e avaliação dos mapas. Adicionalmente são apresentadas as atividades, os fluxos e desvios de cada subprocesso, apresentando os conceitos, pré-requisitos e limitações dos métodos aplicáveis em cada uma das atividades, além de apresentar possíveis variações na execução das atividades, ampliando as opções disponíveis para a definição de zonas de manejo. Um estudo de caso é apresentado para avaliar a aplicabilidade do modelo de referência proposto, descrevendo a utilização dos subprocessos e atividades propostas. A BPMN mostrou ser adequada para representar os subprocessos, atividades, fluxos e desvios do processo. O estudo de caso comprovou a aplicabilidade do modelo proposto, através de seu uso em um talhão contendo diferentes grades amostrais, erros de coleta e pares de atributos com forte correlação, enfatizando a importância das atividades propostas. Por fim o modelo de referência proposto foi capaz de gerar um conjunto de mapas de zonas de manejo e indicar o mapa mais adequado aos objetivos da agricultura de precisão. / Management zone delineation in the context of precision agriculture requires many steps, from data collection to management zone maps evaluation. However, there are different numbers of steps shown by researchers, besides tools, methods, algorithms and software used. In this context, the aim of this work is to propose a reference model process for management zone delineation in precision agriculture. The proposed reference model process is divided into some steps observed in most of the works analyzed. Business Process Model and Notation (BPMN) was used to formalize the reference model composed of the five subprocesses: data collection, feature selection, data filtering, clustering and maps evaluation. In addition, the model presents activities, flows and gateways for each subprocess, presenting concepts, prerequisites, limitations of the applicable methods for each activity and possible variations to the implementation of the activities, increasing the options available for management zone delineation. A case study is presented to evaluate the applicability of the reference model proposed, describing the use of the subprocesses and activities proposed. The BPMN showed to be adequate to represent subprocess, activities, flows and gateways of the process. The case study demonstrated the applicability of the model proposed through its use in a field with different sample grids, errors from collection and strong correlation between pairs of attributes, emphasizing the importance of the activities proposed. Finally, the model proposed was able to generate a set of management zone maps and to indicate the most appropriate for precision agriculture objectives.

In current practice, business processes modeling is done by trained method experts. Domain experts are interviewed to elicit their process information but not involved in modeling. We created a haptic toolkit for process modeling that can be used in process elicitation sessions with domain experts. We hypothesize that this leads to more effective process elicitation. This paper brakes down "effective elicitation" to 14 operationalized hypotheses. They are assessed in a controlled experiment using questionnaires, process model feedback tests and video analysis. The experiment compares our approach to structured interviews in a repeated measurement design. We executed the experiment with 17 student clerks from a trade school. They represent potential users of the tool. Six out of fourteen hypotheses showed significant difference due to the method applied. Subjects reported more fun and more insights into process modeling with tangible media. Video analysis showed significantly more reviews and corrections applied during process elicitation. Moreover, people take more time to talk and think about their processes. We conclude that tangible media creates a different working mode for people in process elicitation with fun, new insights and instant feedback on preliminary results. / Heute, werden Geschäftsprozesse durch speziell ausgebildete Modellierungsexperten erstellt. Wissensträger der Domäne werden befragt, aber sie werden nicht in die Modellierung einbezogen. Wir haben ein haptisches Werkzeug zur Prozessmodellierung entwickelt welches bei der Prozesserhebung zusammen mit den Domänenexperten eingesetzt wird. Wir vertreten die Hypothese, dass dies zur effizienteren Prozesserhebung beiträgt. In diesem Artikel schlüsseln wir "effiziente Prozesserhebung" in 14 operationalisierte Hypothesen auf. Diese werden in einem kontrollierten Experiment mit Hilfe von Fragebögen, Tests und Videoanalyse untersucht. In dem Experiment vergleichen wir unseren Ansatz mit strukturierten Interviews in einem Messwiederholungsdesign. Das Experiment wurde mit 17 Schülern kaufmännischer Berufe in einem Oberstufenzentrum durchgeführt. Sie repräsentieren potentielle Anwender unseres Ansatzes zu Prozesserhebung. Sechs der vierzehn Hypothesen zeigten einen signifikanten Unterschied zwischen den beiden Ansätzen. Teilnehmer berichteten mehr Spass an und mehr Erkenntnisse durch greifbare Prozessmodellierung zu haben. In der Videoanalyse beobachteten wir, dass Teilnehmer häufiger Ihre Aussagen prüfen und korrigieren. Außerdem wurde mehr Zeit für das Reden und Nachdenken über die Prozesse verwendet. Wir schlussfolgern, dass greifbare Medien ein anderes Arbeitsumfeld begünstigen mit mehr Spaß, neuen Erkenntnissen und direktem Feedback auf vorläufige Ergebnisse.

Cette thèse a été réalisée dans le cadre du projet « Gestion et Optimisation de la Chaîne Documentaire », projet labellisé par le Pôle de compétitivité des Industries du Commerce. Le projet a pour but de concevoir et de développer un nouveau workflow et un outil d’aide à la décision. Ce système doit être capable de gérer et d’optimiser le flux complet dématérialisé de contrats reçus à COFIDIS.Nous présentons d’abord le framework retenu dans le cadre du projet pour modéliser et implémenter le workflow. En phase de conception BPMN a été choisi. Pour la partie développement, l’utilisation de BPEL a été préconisée pour implémenter et exécuter l'application finale (services web).Cependant la flexibilité offerte par BPMN peut conduire à des propriétés indésirables du processus telles que blocage et inaccessibilité. De plus, BPMN a été conçu pour fournir des modèles Orientés Process. Les données ou les ressources y sont donc peu représentées. En conséquence, l'analyse de performance sur un modèle BPMN est quasi inexistante.Afin de surmonter ces problèmes nous proposons d’insérer dans le framework deux nouvelles phases. Ces deux phases sont appliquées au modèle BPMN. La première est une phase de vérification et de validation et la deuxième une phase d'optimisation. Ces deux phases sont réalisées en transformant le modèle BPMN vers un langage formel. Notre choix dans ce travail a été d'utiliser les réseaux de Petri. Ce qui nous a permis de vérifier et de valider de bonnes propriétés du process. Quant à l’optimisation, nous avons défini une nouvelle variante du problème d’affectation (bin packing problem) et proposé une résolution à intégrer dans le processus d’aide à la décision / This thesis has been realized as a part of the project GOCD (French acronym for Management and optimization of document life cycle) and within the context of the French competitive cluster PICOM. The project aims to design and develop a new paperless workflow system and decision making tool to replace the current paper based system. The new workflow system must manage and optimize received credit demands at COFIDIS.The first part of this thesis presents and discusses a framework to model and implement workflow systems. The proposed framework allows more flexibility in workflow reengineering process and operational analysis for different business process. The proposed framework uses the most recent and promising language to model and execute workflow the Business Process Modeling Notation (BPMN) and Business Process Execution Language (BPEL).The flexibility offered by BPMN can also lead to undesirable properties for business process such as deadlocks and unreachablity. More, BPMN notation was designed to model business process, and little consideration was concentrated to represent data and resources. As a result, carrying out performance analysis on a BPMN model is also limited.To overcome these problems, we propose two additional phases in the reengineering process. They are applied to the target BPMN model. The first phase is verification and validation and the second one is optimization. These two phases are realized by transforming the BPMN model to a formal language, Petri nets. As for optimization, a new variant of bin packing problem has been defined. And we propose to integrate its resolution in a decision making tool