Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process.
Souha BoubakerWalid GaaloulMohamed GraietNejib Ben Hadj-AlouanePublished in: SCC (2015)
Keyphrases
- resource allocation
- business process
- business processes
- event logs
- process mining
- resource allocation problems
- service level agreements
- private cloud
- resource management
- process model
- business process models
- ws bpel
- business rules
- allocation problems
- workflow model
- cloud computing
- resource allocation and scheduling
- business process management
- allocate resources
- resource allocation decisions
- case study
- workflow management systems
- service oriented architecture
- optimal resource allocation
- distributed resource allocation
- business process modeling
- business goals
- scarce resources
- cloud computing environment
- data center
- cost effective
- user interface
- web services