Anais do XX Simpósio Brasileiro de Engenharia de Software (SBES 2006)

Abstract

In this paper, an approach is proposed to solve the scheduling problem of Workflow Management Systems. The proposed approach uses an activity diagram to show the main activities and the different routings of the Workflow Process. Based on the obtained activity diagram, the corresponding p-time Petri net model is produced. Hybrid resource allocation mechanisms are modelled by an hybrid Petri net in order to represent discrete and continuous resources. Then, a token player algorithm is applied to an example of "Handle Complaint Process" in order to obtain an acceptable scenario corresponding to a specific sequence of activities which respects the time constraints. Finally, a software architecture is proposed for the real time scheduling of Workflow Management Systems. Resumo. Este artigo apresenta uma abordagem para o problema do escalonamento dos Sistemas de Gerenciamento de Workflow. A abordagem proposta utiliza um diagrama de atividades para mostrar as principais atividades e osdiferentes roteiros do processo. Baseado no diagrama obtido, o modelo de rede de Petri correspondente é produzido. Mecanismos de alocac ¸ão de recursos híbridos são modelados por uma rede de Petri híbrida a fim de representar recursos contínuos e discretos. Em seguida, um Jogador de Redes de Petri é aplicado ao exemplo de um "Servic ¸o de Reclamac ¸ões" a fim de obter um cenário admissível correspondente a uma sequência de atividades que respeita as restric ¸ões temporais. Finalmente, é proposta uma arquitetura de software para o escalonamento em tempo real dos Sistemas de Gerenciamento de Workflow.