Checagem de conformidade baseada em alinhamento para uma rede de Petri estocástica (2023)
- Authors:
- Autor USP: ALMEIDA, MATHEUS PEREIRA DE - IME
- Unidade: IME
- Sigla do Departamento: MAC
- DOI: 10.11606/D.45.2023.tde-19122023-135952
- Subjects: INTELIGÊNCIA ARTIFICIAL; DESENVOLVIMENTO DE SOFTWARE; SISTEMAS DISTRIBUÍDOS
- Keywords: Alignment; Alinhamento; Automated planning; Checagem de conformidade; Conformance checking; Mineração de processos; Planejamento automático; Planejamento probabilístico; Probabilistic planning; Process mining
- Language: Português
- Abstract: O alinhamento oferece um método confiável para realizar a checagem de conformidade, detectando desvios que levam à não conformidade. A maioria dos métodos de alinhamento utiliza o conceito de movimentos de alinhamento em conjunto com uma rede de Petri determinística e um log de eventos como entrada, com o objetivo de encontrar um alinhamento com o menor custo. Lidar com informações probabilísticas no modelo de processo e no log de eventos é um dos grandes desafios na área de checagem de conformidade. No entanto, há poucos trabalhos na literatura sobre checagem de conformidade que exploram informações estocásticas no modelo de processo. Abordagens probabilísticas existentes não levam em consideração o conceito de movimentos de alinhamento, especificamente os movimentos de log, pressupondo que o modelo de processo fornecido como entrada permanece inalterado. Baseando-se nos fundamentos existentes da área de checagem de conformidade que utiliza a técnica de alinhamento, foi definida formalmente neste trabalho a tarefa de alinhamento que tem como entrada uma rede de Petri estocástica e um log de eventos, emprega o conceito de movimentos de alinhamento e tem como objetivo produzir um ranking ótimo de alinhamentos considerando uma métrica de otimização que combina a probabilidade de disparo das transições da rede de Petri estocástica e o custo dos alinhamentos. Como resultado, obtemos um ranking de alinhamentos que reflete a realidade das ocorrências dos traces presentes no log deeventos e a suposição de que o modelo de processo em uso pode estar desatualizado. Também propomos o ProbPlanAlign, uma abordagem que modela essa tarefa de alinhamento como um problema de Caminho Mais Curto Estocástico, codifica-o usando a Linguagem de Definição de Domínio de Planejamento Probabilístico (PPDDL) e encontra o ranking ótimo de alinhamentos usando planejadores probabilísticos existentes na literatura. Experimentos com o ProbPlanAlign utilizando logs de eventos sintéticos e modelos de processos com um número crescente de transições foi realizada para analisar a escalabilidade da proposta. O consumo de tempo do ProbPlanAlign para encontrar um ranking ótimo de alinhamentos cresce linearmente à medida que o tamanho das redes de Petri probabilísticas cresce, em termos do número de transições. Especificamente, o consumo de tempo foi de 21,4 segundos para o modelo de processo maior avaliado, que possui 237 transições
- Imprenta:
- Data da defesa: 11.12.2023
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-sa
-
ABNT
ALMEIDA, Matheus Pereira de. Checagem de conformidade baseada em alinhamento para uma rede de Petri estocástica. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19122023-135952/. Acesso em: 03 jan. 2026. -
APA
Almeida, M. P. de. (2023). Checagem de conformidade baseada em alinhamento para uma rede de Petri estocástica (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19122023-135952/ -
NLM
Almeida MP de. Checagem de conformidade baseada em alinhamento para uma rede de Petri estocástica [Internet]. 2023 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19122023-135952/ -
Vancouver
Almeida MP de. Checagem de conformidade baseada em alinhamento para uma rede de Petri estocástica [Internet]. 2023 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19122023-135952/
Informações sobre o DOI: 10.11606/D.45.2023.tde-19122023-135952 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
