Orientador : Maria Beatriz Felgar de ToledoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação CientificaResumo: Sistemas Gerenciadores de Workflow (SGWFs) tradicionais gerenciam instâncias de workflow e suas respectivas atividades de forma independente. Atividades têm, usualmente, granularidade grossa, longa duração e são altamente dependentes dos processos aos quais elas pertencem. Além disso, utilizam em suas execuções aplicações e outros recursos compartilhados (ex., arquivos e bancos de dados). A semântica das atividades, incluindo suas respectivas aplicações e recursos compartilhados, não é conhecida pelo SGWF. Como resultado, é possível que a execução concorrente de atividades de workflow conflitantes gere inconsistências de dados, além de invocações e acessos indevidos a aplicações e recursos. Assim, utilizando o WorkToDo como SGWF de estudo, apresentamos neste trabalho dois mecanismos de sincronização de atividades que permitem a execução de atividades de forma mutuamente exclusiva e a manutenção de requisitos de ordenação entre essas atividades. Apresentamos, ainda, algumas extensões aos mecanismos de detecção e tratamento de falhas de atividades do WorkToDo, de forma a torná-los mais poderosos e robustosAbstract: Traditional Workflow Management Systems (WfMSs) manage workflow instances and their respective activities in a independent formo Activities usually have coarse granularity, are long-lived and are highly process-dependent. Moreover, they use shared applications and other resources (ex., files and data bases). The semantics of the activities, including their respective applications and shared resources, is not known by the WfMS. As a result, it is possible that the concurrent execution of conflicting workflow activities generates data inconsistencies, in addition to improper invocation and access to applications and resources. Thus, using WorkToDo as the WfMS of study, we present in this work two activity synchronization mechanisms that allow the execution of activities in a mutually exclusive form and the maintenance of ordering requirements between these activities. We still present some extensions to activity failure detectionjhandling mechanisms oí the WorkToDo to make them more powerful and robustoMestradoCiencia da ComputaçãoMestre em Ciencia da Computação