SLAFM - A Service Level Agreement Formal Model for Cloud Computing

The 5th International Conference on Cloud Computing and Service Science (CLOSER 2015), Lisbon, Portugal, 20 - 22 May 2015

[1]  Ivar Jacobson,et al.  Unified Modeling Language Reference Manual, The (2nd Edition) , 2004 .

[2]  Martin Bichler,et al.  Knowledge representation concepts for automated SLA management , 2006, Decis. Support Syst..

[3]  Schahram Dustdar,et al.  LAYSI: A Layered Approach for SLA-Violation Propagation in Self-Manageable Cloud Infrastructures , 2010, 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops.

[4]  Azer Bestavros,et al.  Formal Verification of SLA Transformations , 2011, 2011 IEEE World Congress on Services.

[5]  Rajkumar Buyya,et al.  Towards autonomic detection of SLA violations in Cloud infrastructures , 2012, Future Gener. Comput. Syst..

[6]  Kent D. Larson.  The role of service level agreements in IT service delivery , 1998, Inf. Manag. Comput. Secur..

[7]  César A. F. De Rose,et al.  DeSVi : An Architecture for Detecting SLA Violations in Cloud Computing Infrastructures , 2010 .

[8]  Rizos Sakellariou,et al.  Self-Adaptive and Resource-Efficient SLA Enactment for Cloud Computing Infrastructures , 2012, 2012 IEEE Fifth International Conference on Cloud Computing.

[9]  Mordechai Ben-Ari,et al.  Mathematical Logic for Computer Science , 2012, Springer London.

[10]  Pankesh Patel,et al.  Service Level Agreement in Cloud Computing , 2009 .

[11]  P. Mell,et al.  The NIST Definition of Cloud Computing , 2011 .

[12]  Wolfgang Emmerich,et al.  The monitorability of service-level agreements for application-service provision , 2007, WOSP '07.

[13]  Frank Leymann,et al.  Aggregation of Service Level Agreements in the Context of Business Processes , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

[14]  Fang Liu,et al.  NIST Cloud Computing Reference Architecture , 2011, 2011 IEEE World Congress on Services.

[15]  César A. F. De Rose,et al.  CASViD: Application Level Monitoring for SLA Violation Detection in Clouds , 2012, 2012 IEEE 36th Annual Computer Software and Applications Conference.

[16]  Silvia Mara Abrahão,et al.  Towards Monitoring Cloud Services using Models@run.time , 2014, MoDELS@Run.time.

[17]  Ian T. Foster,et al.  SNAP: A Protocol for Negotiating Service Level Agreements and Coordinating Resource Management in Distributed Systems , 2002, JSSPP.

[18]  Mohammad Reza Meybodi,et al.  Decreasing Impact of SLA Violations:A Proactive Resource Allocation Approachfor Cloud Computing Environments , 2014, IEEE Transactions on Cloud Computing.

[19]  Salman Baset,et al.  Cloud SLAs: present and future , 2012, OPSR.

[20]  Soumya K. Ghosh,et al.  An approach to identify and monitor SLA parameters for storage-as-a-service cloud delivery model , 2012, 2012 IEEE Globecom Workshops.

[21]  Filomena Ferrucci,et al.  Formalization of SLAs for Cloud Forensic Readiness , 2014 .