A Comparative Assessment of Collaborative Business Process Verification Approaches.
John Paul KasseLai XuPaul de VriezePublished in: PRO-VE (2017)
Keyphrases
- business process
- business processes
- process model
- business process models
- process mining
- business rules
- workflow technology
- service oriented architecture
- ws bpel
- business process management
- knowledge intensive
- knowledge sharing
- web services
- formal verification
- model checking
- data management
- event logs
- business process modeling
- case study
- artificial intelligence