745 followers
Finally out! Our TOSEM paper shows how temporal logics on finite traces can be used to express process constraints and metaconstraints, and how corresponding automata-based monitors can be built, with application to operational support in process mining…