Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces.

Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali

Browse the full BPM paper archive.