[TESE DE DOUTORADO] Modelagem e Simulação de Sistemas de Gerenciamento de Processos de Negócios baseadas em Workflow net Temporais com Mecanismos de Alocação de Recursos Híbridos Fuzzy

Local: 
Sala 1B132, Bloco 1B, Santa Mônica
Data de Defesa: 
22/03/2017 - 09:00
Banca examinadora: 
Prof. Dr. Stéphane Julia (orientador) - FACOM/UFU
Prof.ª Dr.ª Márcia Aparecida Fernandes - FACOM/UFU
Prof.ª Dr.ª Fernanda Francielle de Oliveira Malaquias - FAGEN/UFU
Prof.ª Dr.ª Lígia Maria Soares Passos - IM/UFRRJ
Prof. Dr. Ricardo Luders - DAINF/UTFPR

O principal objetivo desta pesquisa de doutorado é propor um novo modelo de processo de negócios para uma gestão eficiente (e realista) dos recursos e do tempo em Workflow nets. Esta pesquisa teve como ponto de partida a validação do modelo de alocação de recursos fuzzy apresentado em (JESKE, 2006). Em particular, um mecanismo de inferência especializado do tipo token player adaptado a um modelo de alocação de recurso híbrido fuzzy foi implementado na ferramenta de modelagem, análise e simulação de redes de Petri coloridas chamada CPN Tools. Tais simulações mostraram que o novo modelo em relação a um mecanismo simples de alocação de recurso com uma política de disparo mais cedo (FIFO) permite uma melhoria da proporção de casos que respeitam os prazos estabelecidos. Para resolver o problema do escalonamento em Sistemas de Gerenciamento de Workflow deverão ser consideradas características importantes inerentes a estes sistemas. Em particular, quando muitos casos são executados simultaneamente, situações de conflito por recursos compartilhados podem ocorrer e devem ser resolvidas em tempo real (sem um mecanismo de retrocesso). Também, deverão ser consideradas restrições temporais relativas aos prazos de entrega de casos específicos. Para tanto, definiu-se um tempo fuzzy associado às atividades dos processos bem como um mecanismo de propagação de restrições cujo papel é garantir a consistência das restrições de tempo para realização das atividades respeitando os prazos de entrega previstos. Com o objetivo de tornar o comportamento do novo modelo o mais próximo e consistente com o comportamento de funcionários humanos envolvidos na execução de atividades de processos de negócios, a noção de possibilidade conjunta que envolve o caráter incerto e nebuloso tanto dos tempos de execução das atividades dos processos quanto das intensidades de carga dos recursos utilizados para a realização de atividades foi inserida no modelo. Novas regras de disparo de transições foram então definidas baseadas no conceito apresentado. Jogadores de rede de Petri do tipo token player baseados no novo modelo apresentado foram definidos, implementados, simulados e validados na ferramenta CPN Tools, cujo papel principal é mostrar a execução dos novos modelos apresentados. Com o uso da ferramenta CPN Tools foi possível avaliar o comportamento do sistema em funcionamento esperado ou em situação mais crítica. É importante salientar que através dos resultados de simulação é possível prever como o sistema se comportará, isso a fim de avaliar diversos cenários possíveis de distribuição de recursos para poder, no futuro, realizar o dimensionamento do sistema baseado numa ferramenta de modelagem e simulação próxima da forma de trabalhar dos funcionários em ambiente de escritório.