Verification of Dynamic Process Model Change to Support the Adaptive Workflow.
Jian CaoShen-sheng ZhangMinglu LiJie WangPublished in: IEEE SCC (2004)
Keyphrases
- process model
- workflow technology
- workflow systems
- business processes
- process mining
- business process
- workflow management systems
- control flow
- workflow models
- dynamic behaviors
- petri net
- business process models
- formal models
- software process
- workflow management
- cross organizational
- event logs
- post processing
- website
- knowledge base