A pattern-based approach for the verification of business process descriptions.
Susanne PatigManuela StolzPublished in: Inf. Softw. Technol. (2013)
Keyphrases
- business process
- business processes
- ws bpel
- business rules
- process model
- business process models
- workflow model
- business process management
- web services
- service oriented architecture
- process mining
- model checking
- business process modeling
- high level
- workflow technology
- inter organizational
- event logs
- decision support system
- workflow management systems
- information systems
- user interface