BDBComp
Parceria:
SBC
Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear

Lígia Maria Soares PassosStéphane Julia

Este artigo apresenta um método para a análise qualitativa e quantitativa de WorkFlow nets baseada na construção de árvores de prova canônica da lógica linear. A análise qualitativa proposta neste trabalho diz respeito à prova do critério de corretude para WorkFlow nets denominado Soundness. Aanálise quantitativa basea-se no cálculo de intervalos de datas simbólicas para a execução de cada tarefa do processo de workflow modelado, possibilitando, assim, o planejamento dos recursos a serem utilizados em todas as tarefas do processo.

http://www.lbd.dcc.ufmg.br/colecoes/sbsi/2009/003.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD