Conformance Checking on Timed Automaton Process Models

Sohei Ito, Kento Hamae

2024

Abstract

Conformance checking is a kind of process analysis methods that evaluate the difference between modeled behavior and recorded behavior of a process. Usual conformance checking evaluates such difference (called fitness ) based on only the order of executed tasks. Therefore, one cannot correctly evaluate fitness for process executions that violate the task completion time required by the model. In this paper, we consider process models with time constraints given as timed automata, and propose a method for evaluating fitness of timed traces with timed automaton process models. We implement two algorithms to compute the fitness we proposed, namely a naive exhaustive search and A* algorithm, and show experimental results with simple process models.

Paper Citation

in Harvard Style

Ito S. and Hamae K. (2024). Conformance Checking on Timed Automaton Process Models. In Proceedings of the 26th International Conference on Enterprise Information Systems - Volume 2: ICEIS; ISBN 978-989-758-692-7, SciTePress, pages 545-556. DOI: 10.5220/0012548800003690

in Bibtex Style

@conference{iceis24,
author={Sohei Ito and Kento Hamae},
title={Conformance Checking on Timed Automaton Process Models},
booktitle={Proceedings of the 26th International Conference on Enterprise Information Systems - Volume 2: ICEIS},
year={2024},
pages={545-556},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012548800003690},
isbn={978-989-758-692-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 26th International Conference on Enterprise Information Systems - Volume 2: ICEIS
TI - Conformance Checking on Timed Automaton Process Models
SN - 978-989-758-692-7
AU - Ito S.
AU - Hamae K.
PY - 2024
SP - 545
EP - 556
DO - 10.5220/0012548800003690
PB - SciTePress