We present a tool, called TraceAligner, for solving Trace Alignment by first compiling into Planning and
then solving it with any available cost-optimal planner. TraceAligner can produce different variants of the
output Planning instance, each offering different degrees of readability and solution efficiency. The Planning
instance is expressed in PDDL, the Planning Domain Definition Language. The tool can be easily extended and
coupled with any planner taking PDDL as input language. A thorough experimental analysis has shown that
the approach dramatically outperforms existing ad-hoc tools, thus making TraceAligner the best-performing
tool for Trace Alignment with declarative specifications.
linear-time temporal logics on finite traces
,business process management
,declarative trace alignment
,automated planning
