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