Towards formal verification of business process using a graphical specification.
Outman El HichamiBadr Eddine El MohajirMohammed Al AchhabIsmail BerradaRachid OucheikhPublished in: CIST (2014)
Keyphrases
- formal verification
- business process
- business processes
- model checking
- process model
- symbolic model checking
- model checker
- business rules
- web services
- automated verification
- business process modeling
- workflow model
- bounded model checking
- business process models
- ws bpel
- process mining
- case study
- formal methods
- virtual organization
- business process management
- workflow technology
- workflow management systems
- temporal logic
- real world