Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces

De Giacomo G, De Masellis R, Grasso M, Maggi FM, Montali M
2014
Conference paper
Journal:
BUSINESS PROCESS MANAGEMENT, BPM 2014
Volume:
8659
,
pp.
1 - 17
No abstract available
Keywords:

Formal methods

,

runtime verification

,

declarative business processes

,

operational decision support

,

process monitoring

,

temporal logics