Aligning observed and modeled behavior is a central task in conformance checking. We propose a novel approach to alignments in the setting of stochastic timed process models, where transitions fire after an exponentially distributed random delay. In the spirit of alignments based on combinations of log moves and model moves, we propose a setting where the alignment may suggest adjustments of the observed timestamps (considering that they might have been recorded with errors) in order to make it closer to the most likely trace that the model, according to its stochastic parameters, can produce.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Aligning Observed Timed Traces with Timed Stochastic Models

  • Sofia Bellotti,
  • Thomas Chatain,
  • Paolo Ballarini

摘要

Aligning observed and modeled behavior is a central task in conformance checking. We propose a novel approach to alignments in the setting of stochastic timed process models, where transitions fire after an exponentially distributed random delay. In the spirit of alignments based on combinations of log moves and model moves, we propose a setting where the alignment may suggest adjustments of the observed timestamps (considering that they might have been recorded with errors) in order to make it closer to the most likely trace that the model, according to its stochastic parameters, can produce.