A tool for declarative Trace Alignment via automated planning
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 e...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2023
|