Login / Signup
Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata.
Fabrizio Maria Maggi
Marco Montali
Michael Westergaard
Wil M. P. van der Aalst
Published in:
BPM (2011)
Keyphrases
</>
linear temporal logic
temporal logic
automata theoretic
activity monitoring
business process
business processes
bounded model checking
deterministic automata
business intelligence
constraint satisfaction
constraint programming
simulated annealing
model checking
finite automata
intelligence gathering