scholarly journals Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements

2011 ◽  
Vol 73 ◽  
pp. 64-78 ◽  
Author(s):  
Christian Krause ◽  
Holger Giese
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Service Level ◽  
Service Level Agreements ◽  
Service Oriented

Service Level Agreements for Real-Time Service-Oriented Infrastructures

2011 ◽  
pp. 133-159
Author(s):  
Roland Kübert ◽  
Georgina Gallizo ◽  
Theodoros Polychniatis ◽  
Theodora Varvarigou ◽  
Eduardo Oliveros ◽  
...  
Keyword(s):  
Cloud Computing ◽  
Grid Computing ◽  
Real Time ◽  
Service Level ◽  
Service Level Agreements ◽  
Real Time Systems ◽  
Service Oriented Architectures ◽  
Time Service ◽  
Service Oriented ◽  
Time Systems

Service Level Agreements (SLAs) are nowadays used as a cornerstone for building service-oriented architectures. SLAs have been closely investigated in the scope of distributed and Grid computing and are now gaining uptake in cloud computing as well. However, most solutions have been developed for specific purposes and are not applicable generally, even though the most approaches propose a general usability. Only rarely have SLAs been applied to real-time systems. The purpose of this chapter is to analyze different fields where SLAs are used, examine the proposed solutions, and investigate how these can be improved in order to better support the creation of real-time service-oriented architectures.

Service Level Agreements for Real-Time Service-Oriented Infrastructures

2012 ◽  
pp. 1836-1862 ◽  
Author(s):  
Roland Kübert ◽  
Georgina Gallizo ◽  
Thodoris Polychniatis ◽  
Theodora Varvarigou ◽  
Eduardo Oliveros ◽  
...  
Keyword(s):  
Cloud Computing ◽  
Grid Computing ◽  
Real Time ◽  
Service Level ◽  
Service Level Agreements ◽  
Real Time Systems ◽  
Service Oriented Architectures ◽  
Time Service ◽  
Service Oriented ◽  
Time Systems

Service Level Agreements (SLAs) are nowadays used as a cornerstone for building service-oriented architectures. SLAs have been closely investigated in the scope of distributed and Grid computing and are now gaining uptake in cloud computing as well. However, most solutions have been developed for specific purposes and are not applicable generally, even though the most approaches propose a general usability. Only rarely have SLAs been applied to real-time systems. The purpose of this chapter is to analyze different fields where SLAs are used, examine the proposed solutions, and investigate how these can be improved in order to better support the creation of real-time service-oriented architectures.

Design of Quality Aspects in Service Oriented Architecture through Service Level Agreements

2011 ◽  
pp. 1-21
Author(s):  
Marco Massarelli ◽  
Claudia Raibulet ◽  
Daniele Cammareri ◽  
Nicolò Perino
Keyword(s):  
Service Oriented Architecture ◽  
Service Level ◽  
Application Domain ◽  
Service Level Agreements ◽  
Actual Case ◽  
Service Oriented Architectures ◽  
Quality Aspects ◽  
Service Oriented

This chapter gives a solution to design Service Oriented Architectures which defines and manages Service Level Agreements to enforce Quality of Services and achieves adaptivity at runtime. The validation of this proposed approach is performed through an actual case study in the context of the multimedia application domain.

MDE Approach for the Establishment of a Service Level Agreements Monitoring by Trusted Third Party in the Cloud Computing

2015 ◽  
Vol 7 (4) ◽  
pp. 1-20 ◽  
Author(s):  
Adil Maarouf ◽  
Mahmoud El Hamlaoui ◽  
Abderrahim Marzouk ◽  
Abdelkrim Haqiq
Keyword(s):  
Cloud Computing ◽  
Real Time ◽  
Critical Issue ◽  
Service Level ◽  
Cloud Services ◽  
Third Party ◽  
Cloud Provider ◽  
Service Level Agreements ◽  
Trusted Third Party ◽  
Model Driven

Establishing and monitoring SLA violations in real-time has become a critical issue for Cloud Computing. In this paper the authors investigate this issue and propose a model to express the SLA contract requirements using Model Driven Engineering (MDE), as a mean for establishing service level agreements between a cloud provider and cloud customer in the context of a particular service provision. The participation of a Trusted Third Party (TTP) may be necessary in order to resolve conflicts between prospective signatories, likewise to monitor SLA violations in real-time in the goal to ensure online monitoring cloud services and provide better than best-effort behavior for clouds. The main focus of this work is firstly to use MDE technology for the creation of the SLA contract and then to integrate TTP that should be able to apply an advanced penalty model that guarantees the performance and the reliability of the Cloud.

Sign in / Sign up

Export Citation Format

Share Document