Dynamic Business Process Generation and Verification.
Budan WuRongheng LinPengjie WangJunliang ChenPublished in: SCC (2016)
Keyphrases
- business process
- business processes
- virtual organization
- process model
- ws bpel
- business process models
- workflow model
- business process modeling
- business rules
- model checking
- case study
- business process management
- service oriented architecture
- process mining
- web services
- workflow technology
- black box
- formal verification
- event logs
- data model
- database systems