Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation.
Mingsong ChenSaijie HuangXin FuXiao LiuJifeng HePublished in: IEEE Trans. Cloud Comput. (2020)
Keyphrases
- resource allocation
- model checking
- optimal resource allocation
- temporal logic
- formal verification
- automated verification
- temporal properties
- resource allocation problems
- symbolic model checking
- formal specification
- model checker
- allocation problems
- timed automata
- epistemic logic
- verification method
- computation tree logic
- artifact centric
- scarce resources
- game theory
- resource allocation decisions
- bounded model checking
- resource allocation and scheduling
- formal methods
- modal logic
- cloud computing
- transition systems
- concurrent systems
- cloud computing environment
- reactive systems
- business process
- petri net
- alternating time temporal logic
- decision making