Model-based verification of event-driven business processes.
Christian ReinartzAndreas MetzgerKlaus PohlPublished in: DEBS (2015)
Keyphrases
- business processes
- event driven
- business process
- web services
- business rules
- business applications
- real time
- model checking
- process management
- competitive advantage
- business process models
- workflow management systems
- business process management
- process model
- business objectives
- business environment
- workflow model
- business partners
- business process modeling
- ws bpel
- workflow management
- inter organizational
- workflow systems
- data warehouse
- data model
- case study