A SAT-Based Formal Approach for Verifying Business Process Configuration.
Abderrahim Ait WakrimeSouha BoubakerSlim KallelWalid GaaloulPublished in: Innovate-Data (2019)
Keyphrases
- business process
- business processes
- process model
- business rules
- business process models
- ws bpel
- process mining
- web services
- workflow model
- business process modeling
- case study
- event logs
- business process management
- inter organizational
- planning domains
- formal specification
- service oriented architecture
- sat solvers
- workflow technology
- model checking
- virtual organization
- workflow management systems
- black box