A.2.1 – Ciência da Computação; F.2.4 - Gestão Pública
Construção de um Modelo de Autômatos Probabilísticos Temporizados a partir de dados de
acompanhamento de Processos Administrativos em um Órgão Público.
Paulo Otávio Gordo de Souza1, Leandro Mesquita Rodrigues1, Fábio Manoel França Lobato3, Antônio Fernando
Lavareda Jacob Junior2*
1. Estudante de Ciência da Computação da Universidade da Amazônia, UNAMA, Belém/PA
2. Professor do Instituto de Engenharia e Geociências – IEG da Universidade Federal do Oeste do Pará, Santarém/PA
3. Professor do Centro de Ciências Exatas da Universidade da Amazônia, UNAMA, Belém/PA
Palavras Chave: Fluxo de processos, Modelo probabilístico, Modelo temporizado.
Introdução
O trabalho consistirá em uma modelagem baseada em
autômatos probabilísticos temporizados de um sistema de
fluxo de processos administrativos. Com esta modelagem
pretende-se demostrar os principais setores que estão
sobrecarregados (devido ao grande recebimento de
processos ou pela demora na resolução deste), encontrar
possíveis gargalos que ocorrem quando o processo tramita
diversas vezes entre dois setores, possivelmente por
ocorrências de erros, dentre outros. Neste contexto, tendo
como estudo de caso dados extraídos de um órgão público,
pretende-se gerar informações gerenciais para melhor
tomada de decisão para o trâmite de processos internos.
processo pode permanecer em um certo setor. Este limite
funciona como uma condição imposta, na qual o trâmite
(transição) passa a acontecer, caso esse limite seja
obedecido, porém, se a solicitação não for atendida a
tempo, a transição gira em torno do mesmo estado (setor)
até sua efetiva saída para outro estado.
Conforme exposto acima, os modelos probabilístico e
temporizado foram construídos mediante a obtenção de
dados reais encontrados em um órgão público. Esses
dados foram gerados por meio da emissão de 24.336
relatórios no período de seis meses. A extração e
padronização dos dados pode ser observada na Figura 1.
Figura 1. Obtenção dos dados para montagem do modelo.
Referencial teórico
Segundo Machado et al. (1999) autômatos probabilísticos
são uma generalização de autômatos determinísticos pelo
qual um símbolo de entrada pode direcionar o autômato a
um determinado estado a partir de uma certa probabilidade.
No caso de Autômatos Temporizados, Pinto (2003) aponta
como sendo uma generalização de Autômatos Finitos. Com
isso, este tipo de autômato é interpretado sobre palavras
finitas temporizadas, as quais cada símbolo está associado
a um tempo de ocorrência.
Baseado nos conceitos de autômato probabilístico e
temporizado, observou-se a necessidade de obter um
conjunto finito de estados a serem percorridos mediante a
uma condição e definição das características do estado
final. No caso da abordagem probabilística há o cálculo da
probabilidade associada a cada transição. No caso da
abordagem temporizado, existe uma variável de tempo
associada como condição para realizar uma transição de
um estado a outro, ou a permanência no mesmo, caso não
seja obedecido a condição imposta.
Estudo de Caso
Neste contexto, para o estudo de caso foco deste trabalho
foi mapeado que o conjunto de estados é formado pelo
número de setores finitos do órgão público. Além disso, a
transição entre os estados (setores), é representada pela
tramitação de processos entre eles.
Neste ponto pode-se observar que a transição com maior
probabilidade associada pode mostrar um provável ponto
de sobrecarga (identificação do grande número de
processos sendo tramitados a um único setor).
Na modelagem temporizada, considera-se o tempo de
“vida” do processo a partir da contabilização dos dias de
trâmite deste. Uma das análises realizadas é quanto um
determinado processo permanece em cada setor. Além
disso, é associado o limite de dias que determinado
Para validação do modelo, até o desenvolvimento deste
artigo, foi gerado um minimundo que considera todas as
tramitações oriundas do setor de número 0 (zero) (origem),
que possui transição para 15 outros setores (destinos), com
as respectivas probabilidades de transições entre estes.
Conclusões
Este trabalho apresentou a viabilidade da modelagem
probabilística e temporizada como forma de auxiliar o
gestor na tomada de decisões sobre possíveis alocações
de recursos humanos para sanar ou minimizar problemas
encontrados como a sobre carga oriunda do grande volume
de processos recebidos por um setor. Como trabalhos
futuros, pretende-se gerar o modelo completo e gerar
relatórios com as possíveis otimizações no modelo.
Referências
MACHADO, Ana Carolina Chaves et al. Autômatos
Probabilísticos.
Disponível
em:
<http://www.cin.ufpe.br/~if114/Monografias/Automatos%20
Probabilisticos>. Acesso em: 20 mar. 2015.
PINTO, Guilherme Albuquerque. Grau de indecidibilidade
da universidade para subclasse de autômatos
temporizados.
Disponível
em:
<
http://www.bibliotecadigital.unicamp.br/document/?code=vt
ls000307086>. Acesso em: 21 mar. 2015.
67ª Reunião Anual da SBPC
Download

Construção de um Modelo de Autômatos Probabilísticos