Business process verification - finally a reality!
Moe Thandar WynnH. M. W. VerbeekWil M. P. van der AalstArthur H. M. ter HofstedeDavid EdmondPublished in: Bus. Process. Manag. J. (2009)
Keyphrases
- business process
- business processes
- business rules
- business process modeling
- ws bpel
- process mining
- process model
- model checking
- service oriented architecture
- business process models
- web services
- workflow model
- black box
- business process management
- workflow management systems
- event logs
- inter organizational
- virtual organization
- user interface
- case study