Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL.

Michael Westergaard

Published in: BPM (2011)

Keyphrases

learning algorithm
theoretical analysis
orders of magnitude
databases
computational cost
web services
high level
natural language
multi agent systems
computational complexity
significant improvement
worst case
optimization problems
access control
model checking
workflow systems