Um modelo de definição de processos para sistemas de workflow flexiveis

Em domínios de aplicação como a área médica e engenharia de software os sistemas de workfiow existentes são inadequados, pois a definição dos processos nesses sistemas é inflexível. No exemplo da área médica, ninguém sabe quais as ações devem ser tomadas durante a abordagem de um paciente, ou seja, ninguém conhece um processo de tratamento para paciente no instante em que ele é admitido no hospital. Portanto, uma nova forma de interação com os sistemas de workflow se faz necessário. Nesta nova forma de interação um usuário pergunta ao sistema o que deve ser feito para que uma atividade (atividade objetivo) seja executada. Por exemplo, para um médico realizar uma cirurgia em um paciente que procedimentos devem ser executados antes ou mesmo depois? Nesta nova abordagem, o sistema de workflow cumpre, além do papel de despachante de atividades aos usuários, como nos sistemas de workfiow atuais, o papel de ajudante do usuário, pois indica ao usuário quais atividades executar antes e depois de executar uma atividade objetivo. Este trabalho apresenta um novo modelo de definição de processos em sistemas de workflow, o modelo PDBC. Apresentamos também um protótipo de um sistema de workfiow que implementa o modelo PDBC, o servidor Tucupi. A proposta deste novo modelo é permitir que os sistemas de workflow manipulem workfiows mais flexíveis. Para isso usaremos o que chamamos de workflow parcial, que é um workflow parcialmente definido cuja definição completa é realizada apenas durante a execução do workflow. O workfiow parcial é definido como um conjunto de restrições e atividades. Outra maneira de se obter flexibilidade em sistemas de workfiow é através de um mecanismo de tratamento de exceções adequado. Neste trabalho propomos um mecanismo de tratamento de exceções através do uso de restrições violáveis, ou seja, restrições que podem ser violadas em determinadas circunstâncias. Para isso apresentamos o WRBAC, um modelo de controle de acesso para sistemas de workflow, utilizado para provê um mecanismo adequado de sobrecarga das restrições utilizadas na definição de um processoThis work presents a new model of process definition in workfiow systems, the PDBC model. We also present a prototype of a workfiow system which implements the PDBC model, the Thcupi server. The proposal of this new model is to allow fiexibility in workfiow systems. For this, we will use what we call partial workfiow, which is a partially defined workfiow whose complete definition is carried through during the execution of workfiow. Partial Workfiow is defined as a set of constraints and activities. Moreover, another way for a workfiow system to get fiexibility is through an exception handling mechanism. Tn this work we consider such mechanism through the use of overriden constraints, that is, constraints that can be violated in determined circumstances. For this we present the WRBAC, a model of access control for workfiow systems, used to provi de an adequate mechanism of violation of the overriden constraints used in the definition of a workfio