Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B.
Souha BoubakerAmel MammarMohamed GraietWalid GaaloulPublished in: AINA (2016)
Keyphrases
- resource allocation
- business processes
- formal verification
- business process
- model checking
- resource management
- resource allocation problems
- web services
- cloud computing
- process model
- service level agreements
- model checker
- workflow management systems
- cloud computing environment
- allocation problems
- optimal resource allocation
- business partners
- business environment
- business rules
- virtual machine
- business process models
- business process management
- service oriented architecture
- resource allocation decisions
- business process modeling
- business objectives
- current practice
- case study