YAWL2DVE: An Automated Translator for Workflow Verification.

Fazle Rabbi Hao Wang Wendy MacCaull

Published in: SSIRI (2010)

Keyphrases

model checking
semi automated
data flow
formal analysis
workflow management systems
petri net
petri net model
fully automated
business processes
database systems
real time
business process
semi automatic
fully automatic
distributed systems
data structure
search engine
formal methods
automated analysis
database