BUCKER: A basic unfolding based checker for soundness of workflow systems.
Kun ZhangGuanjun LiuDongming XiangPublished in: ICNSC (2017)
Keyphrases
- workflow systems
- temporal constraints
- business processes
- workflow management
- access control
- workflow model
- petri net
- mobile agents
- scientific workflows
- widely recognized
- process model
- active databases
- workflow management systems
- business process
- workflow execution
- service oriented
- knowledge management
- machine learning