An Event-B Based Approach for Ensuring Correct Configurable Business Processes.
Souha BoubakerAmel MammarMohamed GraietWalid GaaloulPublished in: ICWS (2016)
Keyphrases
- business processes
- business process
- event logs
- process mining
- business applications
- process model
- web services
- ws bpel
- competitive advantage
- inter organizational
- business environment
- workflow management systems
- business rules
- workflow systems
- business process management
- process management
- business partners
- business process models
- service oriented architecture
- workflow model
- workflow management
- workflow processes
- process execution
- business transactions
- business decisions
- decision makers
- case study