On Declare MAX-SAT and a finite Herbrand Base for data-aware logs

TL;DR

This paper introduces a logical framework for aligning log traces with Data-Aware Declare Models, including correlation conditions, serving as a feasibility study for future formalization and experimental validation.

Contribution

It proposes an initial logical approach to align logs with data-aware models, laying groundwork for future formalization and experiments.

Findings

Feasibility of logical alignment framework

Potential for formalization of data-aware log analysis

Foundation for future experimental validation

Abstract

This technical report provides some lightweight introduction motivating the definition of an alignment of log traces against Data-Aware Declare Models potentially containing correlation conditions. This technical report is only providing the intuition of the logical framework as a feasibility study for a future formalization and experiment section.