Verifying Cloud Services: Present and Future - Archive ouverte HAL Access content directly
Journal Articles Operating Systems Review Year : 2013

Verifying Cloud Services: Present and Future

(1, 2) , (3, 4) , (4) , (5) , (6) , (7)
1
2
3
4
5
6
7

Abstract

As cloud-based services gain popularity in both private and enterprise domains, cloud consumers are still lacking in tools to verify that these services work as expected. Such tools should consider properties such as functional correctness, service availability, reliability, performance and security guarantees. In this paper we survey existing work in these areas and identify gaps in existing cloud technology in terms of the verification tools provided to users. We also discuss challenges and new research directions that can help bridge these gaps.
Not file

Dates and versions

hal-01265437 , version 1 (03-02-2016)

Identifiers

Cite

Sara Bouchenak, Gregory Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, et al.. Verifying Cloud Services: Present and Future. Operating Systems Review, 2013, 47 (2), pp.6-19. ⟨10.1145/2506164.2506167⟩. ⟨hal-01265437⟩
176 View
2 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More