Formal Modelling and Verification of Cloud Resource Allocation in Business Processes.
Ikram GarfattaKais KlaiMohamed GraietWalid GaaloulPublished in: OTM Conferences (1) (2018)
Keyphrases
- resource allocation
- business processes
- business process
- formal methods
- resource allocation problems
- cloud computing
- model checking
- resource management
- web services
- workflow management systems
- optimal resource allocation
- inter organizational
- business process management
- resource allocation decisions
- process model
- cloud computing environment
- resource allocation and scheduling
- formal specification
- competitive advantage
- workflow management
- business rules
- business environment
- business process modeling
- allocation problems
- business objectives
- scarce resources
- service oriented architecture
- multi agent
- distributed resource allocation
- decision making
- information systems
- data mining