Multi-Level SLA Specification Language for IoT Applications.
Noureddine StaifiMeriem BelguidoumPublished in: TACC (2021)
Keyphrases
- specification language
- cloud computing
- programming language
- description language
- formal specification
- service level agreements
- management system
- big data
- software environment
- quality of service
- service providers
- service level
- symbolic execution
- requirements specification
- cooperative
- model checking
- production system
- location information
- heuristic search
- domain specific