Automatic workflow verification and generation.

Shiyong Lu Arthur J. Bernstein Philip M. Lewis

Published in: Theor. Comput. Sci. (2006)

Keyphrases

semi automatic
fully automatic
data sets
workflow management systems
artificial neural networks
hidden markov models
test cases
business process
model checking
generation process
workflow systems
person identification