Statically and Dynamically Verifiable SLA Metrics

Giachino, Elena; Gouw, Stijn de; Laneve, Cosimo; Nobakht, Behrooz

doi:10.1007/978-3-319-30734-3_15

Cited by 7 publications

(2 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In our mind, these abstract specifications must bridge the gap between programs and performance constraints in Service Level Agreement (SLA, in short) documents. As discussed in [16], vml (actually, full ABS) is intended to be a language using Amazon Elastic Cloud Computing features as library functions. Therefore, vml might be used to model cloud services, where a primary issue is the compatibility with the SLA document.…”

Section: Resultsmentioning

confidence: 99%

Static analysis of cloud elasticity

Garcia¹,

Laneve²,

Lienhardt³

2017

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

Please cite this article in press as: A. Garcia et al., Static analysis of cloud elasticity, Sci. Comput. Program. (2017), http://dx. Highlights• A technique for the static analysis of resource utilization is proposed.• The analysis relies on a static type system that records program's resources behavior.• The proposed approach supports concurrency and explicit release operations.• A proof of soundness of the proposed type system and of the analysis is provided. AbstractWe propose a static analysis technique that computes upper bounds of virtual machine usages in a concurrent language with explicit acquire and release operations of virtual machines. In our language it is possible to delegate other (ad-hoc or third party) concurrent code to release virtual machines (by passing them as arguments of invocations). Our technique is modular and consists of (i) a type system associating programs with behavioural types that record relevant information for resource usage (creations, releases, and concurrent operations), (ii) a translation function that takes behavioural types and returns cost equations, and (iii) an automatic off-the-shelf solver for the cost equations.A soundness proof of the type system establishes the correctness of our technique with respect to the cost equations. We have experimentally evaluated our technique using a cost analysis solver and we report some results.

show abstract

Section: Resultsmentioning

confidence: 99%

Static analysis of cloud elasticity

Garcia¹,

Laneve²,

Lienhardt³

2017

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…The general methodology underlying the use of ABS RT in the HITL simulation of Cloud services involves the formalization of Service Level Agreements (SLA's) as a property of a service metric function, as described in [5], with a new framework in ABS which captures various monitoring concepts -from QoS and SLAs to lower-level metrics, metric policies, and listenable and billable events. The monitoring framework allows the formal development and analysis of monitors as executable ABS.…”

Section: Main Contribution and Related Workmentioning

confidence: 99%

Human-in-the-Loop Simulation of Cloud Services

Bezirgiannis¹,

Boer

Gouw

2017

Service-Oriented and Cloud Computing

Self Cite

View full text Add to dashboard Cite

Abstract. In this paper we discuss an integrated tool suite for the simulation of software services which are offered on the Cloud. The tool suite uses the Abstract Behavioral Specification (ABS) language for modeling the software services and their Cloud deployment. For the real-time execution of the ABS models we use a Haskell backend which is based on a source-to-source translation of ABS into Haskell. The tool suite then allows Cloud engineers to interact in real-time with the execution of the model by deploying and managing service instances. The resulting human-in-the-loop simulation of Cloud services can be used both for training purposes and for the (semi-)automated support for the real-time monitoring and management of the actual service instances.

show abstract