Login / Signup
Efficient Compliance Checking Using BPMN-Q and Temporal Logic.
Ahmed Awad
Gero Decker
Mathias Weske
Published in:
BPM (2008)
Keyphrases
</>
temporal logic
model checking
verification method
modal logic
concurrent systems
mazurkiewicz traces
business processes
business process
dynamic constraints
transition systems
belief revision
linear temporal logic
formal specification
computation tree logic
model driven
multi agent systems
np complete