Monitoring Business Metaconstraints Based on LTL and LDL for Finite TracesBusiness Process Management