Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

Albert, Elvira; Boer, Frank S. de; Hähnle, Reiner; Johnsen, Einar Broch; Schlatte, Rudolf; Tarifa, Silvia Lizeth Tapia; Wong, Peter Y. H.

doi:10.1007/s11761-013-0148-0

Cited by 57 publications

(27 citation statements)

References 39 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Each actor has a set of known actors to which it can send messages. For example, an actor of type Dispatcher knows three actors of type Server (Line 2), to which it can send a reqForMovie message (Lines [6][7][8] Message servers are implemented in reactive classes similar to methods in Java. In contrast to Java methods, message servers do not return values and their declaration starts with the keyword msgsrv.…”

Section: :7mentioning

confidence: 99%

“…There are extensions of ABS to model product variability [45] as well as time and other resources [65] which have been used to, e.g., model and analyze industrial software deployed on the cloud [6], but these extensions are considered to be out of scope of the present article.…”

Section: :10mentioning

confidence: 99%

“…The ProActive backend for ABS 6 generates ProActive code for an ABS source program [54]. The goal of the ProActive backend is to provide a fully working execution of ABS models in distributed environments, with less optimization than necessary for the Java 8 backend.…”

Section: Proactive Backend For Absmentioning

confidence: 99%

See 2 more Smart Citations

A Survey of Active Object Languages

et al. 2017

Self Cite

View full text Add to dashboard Cite

International audienceTo program parallel systems efficiently and easily, a wide range of programming models have been proposed, each with different choices concerning synchronization and communication between parallel entities. Among them, the actor model is based on loosely coupled parallel entities that communicate by means of asynchronous messages and mailboxes. Some actor languages provide a strong integration with object-oriented concepts; these are often called active object languages. This paper reviews four major actor and active object languages and compares them according to carefully chosen dimensions that cover central aspects of the programming paradigms and their implementation

show abstract

Section: :7mentioning

confidence: 99%

Section: :10mentioning

confidence: 99%

See 1 more Smart Citation

A Survey of Active Object Languages

et al. 2017

Self Cite

View full text Add to dashboard Cite

show abstract

“…6 This process is highly automated, for example, in ABS. 7 Designtime analysis makes the assumptions about the cloud API explicit. The cloud API also permits instrumentation of deployed applications with monitors that ensure compliance with the service contract at runtime.…”

Section: Controlling Deployment In the Design Phasementioning

confidence: 99%

Designing Resource-Aware Cloud Applications

Hähnle

Johnsen

2015

Computer

Self Cite

View full text Add to dashboard Cite

show abstract

“…As such it is particularly tailored towards modeling and simulation of software services offered on the Cloud [1]. Further, a variety of tools 2 which include simulation with visualization support, deadlock analysis, cost analysis, deployment synthesis, and test case generation, supports the formal development and analysis of software models and their deployment as executable ABS.…”

Section: Introductionmentioning

confidence: 99%

Human-in-the-Loop Simulation of Cloud Services

Bezirgiannis¹,

Boer

Gouw

2017

Service-Oriented and Cloud Computing

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

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

Cited by 57 publications

References 39 publications

A Survey of Active Object Languages

A Survey of Active Object Languages

Designing Resource-Aware Cloud Applications

Human-in-the-Loop Simulation of Cloud Services

Contact Info

Product

Resources

About