TY - GEN
T1 - A framework for SLA-based cloud services verification and composition
AU - Al Falasi, Asma
AU - Adel Serhani, Mohamed
PY - 2011
Y1 - 2011
N2 - Cloud computing is becoming a key element in service provision on the Internet. Businesses are seizing the availability of infrastructure as service to obtain cost effective infrastructure solutions. However, in businesses the power of services emerges from the ability to combine different services in order to obtain some value added services. Cloud services composition presents some challenges like, service discovery and real time service evaluation; which are addressed in this paper by introducing a primal framework that enables dynamic specification of SLAs, in addition to SLA-based verification and composition of services on the Cloud. The verification is used as input to the composition and consists of verifying the functional and non-functional properties of the cloud service under test. An ongoing prototype implementation will evaluate the verification scheme and prove its importance in composing and selecting services on the cloud.
AB - Cloud computing is becoming a key element in service provision on the Internet. Businesses are seizing the availability of infrastructure as service to obtain cost effective infrastructure solutions. However, in businesses the power of services emerges from the ability to combine different services in order to obtain some value added services. Cloud services composition presents some challenges like, service discovery and real time service evaluation; which are addressed in this paper by introducing a primal framework that enables dynamic specification of SLAs, in addition to SLA-based verification and composition of services on the Cloud. The verification is used as input to the composition and consists of verifying the functional and non-functional properties of the cloud service under test. An ongoing prototype implementation will evaluate the verification scheme and prove its importance in composing and selecting services on the cloud.
KW - Cloud Services Composition
KW - Genetic Algorithm
KW - SLA
KW - Verification
KW - Web services
UR - http://www.scopus.com/inward/record.url?scp=79959988350&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79959988350&partnerID=8YFLogxK
U2 - 10.1109/INNOVATIONS.2011.5893834
DO - 10.1109/INNOVATIONS.2011.5893834
M3 - Conference contribution
AN - SCOPUS:79959988350
SN - 9781457703140
T3 - 2011 International Conference on Innovations in Information Technology, IIT 2011
SP - 287
EP - 292
BT - 2011 International Conference on Innovations in Information Technology, IIT 2011
T2 - 2011 International Conference on Innovations in Information Technology, IIT 2011
Y2 - 25 April 2011 through 27 April 2011
ER -