Dynamic Workflow Modeling and Verification.

Jiacun Wang Daniela Rosca

Published in: CAiSE (2006)

Keyphrases

data mining
dynamic environments
dynamically changing
databases
modeling language
data sets
information systems
website
web services
data flow
workflow management systems
dynamic aspects
colored petri nets