Formal Verification of Time-Aware Cloud Resource Allocation in Business Process.
Rania Ben HalimaSlim KallelKais KlaiWalid GaaloulMohamed JmaielPublished in: OTM Conferences (2016)
Keyphrases
- formal verification
- resource allocation
- business process
- business processes
- private cloud
- model checking
- cloud computing
- service level agreements
- resource allocation problems
- model checker
- resource management
- process model
- cloud computing environment
- business rules
- optimal resource allocation
- web services
- ws bpel
- allocation problems
- business process modeling
- service oriented architecture
- case study
- resource allocation decisions
- business process models
- resource allocation and scheduling
- business process management
- workflow model
- distributed resource allocation
- cloud services
- virtual machine
- cost effective
- expert systems
- multi agent systems