Now showing items 1-1 of 1

    • Monitoring Business Metaconstraints Based on LTL & LDL for Finite Traces 

      De Giacomo G; De Masellis R; Grasso M; Maggi FM; Montali M (Springer, 2014)
      Runtime monitoring is one of the central tasks to provide operational decision support to running business processes, and check on-the-fly whether they comply with constraints and rules. We study runtime monitoring of ...