Assessing business process models: a literature review on techniques for BPMN testing and formal verification.
Tomás LopesSérgio GuerreiroPublished in: Bus. Process. Manag. J. (2023)
Keyphrases
- business process models
- formal verification
- literature review
- model checker
- business process
- business processes
- model checking
- case study
- bounded model checking
- process model
- automated verification
- symbolic model checking
- control flow
- temporal logic
- real world
- business rules
- business process modeling
- web services
- artificial intelligence
- requirements engineering
- business process management