Integrating deployment architectures and resource consumption in timed object-oriented models

Johnsen, Einar Broch; Schlatte, Rudolf; Tarifa, Silvia Lizeth Tapia

doi:10.1016/j.jlamp.2014.07.001

Cited by 43 publications

(27 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition, ABS enables replaying a real-world log in the corresponding executable model through a so-called Model API [31]. It also explicitly supports the modeling of resource consumption on virtual machine instances [24]. Thus, the language allows analysis of deployment decisions, including a configurable model of cloud provisioning [17], and has been used for industrial case studies [3].…”

Section: Formal Verification Tool Supports Deductive Analysis Of Behamentioning

confidence: 99%

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach

Boer

Giachino

Gouw

et al. 2019

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties.To allow the analysis of SLA compliance before the services are deployed, we describe in this paper an approach for SLA-aware deployment of services on the cloud, and illustrate its workflow by means of a case study. The approach is based on formal models combined with static analysis tools and generated runtime monitors. As such, it fits well within a methodology combining software development with information technology operations (DevOps).

show abstract

Section: Formal Verification Tool Supports Deductive Analysis Of Behamentioning

confidence: 99%

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach

Boer

Giachino

Gouw

et al. 2019

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

show abstract

“…Those engines include a deadlock analyser [10], resource, cost, and deployment analysers for cloud environments [2,17], and general program properties verification with the ABSKey tool [8]. The ABS tool suite also includes a frontend compiler and several backend translators into various programming languages.…”

Section: Overview Of Active Object-based Languagesmentioning

confidence: 99%

From Modelling to Systematic Deployment of Distributed Active Objects

Henrio

Rochas

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. In the context of the expansion of actors and active objects, we are still facing a gap between the safety guaranteed by modelling and verification languages and the efficiency of distributed middlewares. In this paper, we reconcile two active object-based languages, ABS and ProActive, that respectively target the aforementioned goals. We compile ABS programs into ProActive, making possible to benefit from the strengths of both languages, while requiring no modification on the source code. After introducing the translational semantics, we establish the properties and the correctness of the translation. Overall, this paper presents an approach to running different active object models in distributed environments, and more generally studies the implementation of programming languages based on active objects.

show abstract

“…it supports deployment modeling by means of a separation of concerns between the resource costs of executions and the resource capacities of (virtual) locations. Deployment decisions can be made inside the models [12], using a Cloud API to interact with the cloud provisioning layer [11];…”

Section: The Abs Languagementioning

confidence: 99%

“…The formally defined Abstract Behavioral Specification language ABS [9] realizes a separation of concerns between the cost of execution and the capacity of dynamically provisioned cloud resources [12]. Models are executable; a simulation tool for ABS supports rapid prototyping and visualization.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Modeling Deployment Decisions for Elastic Services with ABS

Johnsen¹,

Pun²,

Tarifa³

2016

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

The use of cloud technology can offer significant savings for the deployment of services, provided that the service is able to make efficient use of the available virtual resources to meet service-level requirements. To avoid software designs that scale poorly, it is important to make deployment decisions for the service at design time, early in the development of the service itself. ABS offers a formal, model-based approach which integrates the design of services with the modeling of deployment decisions. In this paper, we illustrate the main concepts of this approach by modeling a scalable pool of workers with an auto-scaling strategy and by using the model to compare deployment decisions with respect to client traffic with peak loads.Comment: In Proceedings iFMCloud 2016, arXiv:1610.0770

show abstract

Integrating deployment architectures and resource consumption in timed object-oriented models

Cited by 43 publications

References 25 publications

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach

From Modelling to Systematic Deployment of Distributed Active Objects

Modeling Deployment Decisions for Elastic Services with ABS

Contact Info

Product

Resources

About