Business Process Verification.
Sven FejaAndreas SpeckElke PulvermüllerPublished in: GI Jahrestagung (2009)
Keyphrases
- business process
- business processes
- model checking
- business process models
- case study
- process model
- ws bpel
- workflow model
- business process modeling
- process mining
- web services
- business process management
- formal verification
- virtual organization
- event logs
- business rules
- artificial intelligence
- distributed systems
- user interface