SLA-verifier: Stateful and quantitative verification for service chaining.
Ying ZhangWenfei WuSujata BanerjeeJoon-Myung KangMario A. SánchezPublished in: INFOCOM (2017)
Keyphrases
- service providers
- service level agreements
- service oriented
- protocol specification
- quality of service
- management system
- qualitative and quantitative
- service level
- model checking
- web services
- service quality
- service discovery
- end users
- service composition
- customer service
- access control
- database
- semantic web services
- case study
- formal methods
- java card
- data sets