Human-in-the-Loop Simulation of Cloud Services

Bezirgiannis, Nikolaos; Boer, Frank S. de; Gouw, Stijn de

doi:10.1007/978-3-319-67262-5_11

Cited by 7 publications

(4 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We then consider additional related work on SmartDeployer. While [19] just exemplifies the execution of deployment orchestrations for a specific system reconfiguration and [9] additionally deals with selection among different scaling actions based on human suggestions, we devise: a general methodology for designing a set of deployment orchestrations based on target incremental system MCLs (hence having a mathematical foundation) and an auto-scaling algorithm that makes human intervention unneeded. Moreover, w.r.t.…”

Section: Related Work and Conclusionmentioning

confidence: 99%

See 1 more Smart Citation

Microservice Dynamic Architecture-Level Deployment Orchestration

Bacchiani

Bravetti

Giallorenzo

et al. 2021

Lecture Notes in Computer Science

View full text Add to dashboard Cite

We develop a novel approach for run-time global adaptation of microservice applications, based on synthesis of architecture-level reconfiguration orchestrations. More precisely, we devise an algorithm for automatic reconfiguration that reaches a target system Maximum Computational Load by performing optimal deployment orchestrations. To conceive and simulate our approach, we introduce a novel integrated timed architectural modeling/execution language based on an extension of the actor-based object-oriented Abstract Behavioral Specification (ABS) language. In particular, we realize a timed extension of SmartDeployer, whose ABS code annotations make it possible to express architectural properties. Our Timed SmartDeployer tool fully integrates time features of ABS and architectural annotations by generating timed deployment orchestrations. We evaluate the applicability of our approach on a realistic microservice application taken from the literature: an Email Pipeline Processing System. We prove its effectiveness by simulating such an application and by comparing architecture-level reconfiguration with traditional local scaling techniques (which detect scaling needs and enact replications at the level of single microservices). Our comparison results show that our approach avoids cascading slowdowns and consequent increased message loss and latency, which affect traditional local scaling.

show abstract

Section: Related Work and Conclusionmentioning

confidence: 99%

“…Moreover, w.r.t. [9,19], we correctly model real aspects such as deployment time and MCL-preserving core-based VM speed computation (thanks to our Timed SmartDepoyer) and we also test the effectiveness of our algorithm, by comparing it with classical local adaptation.…”

Section: Related Work and Conclusionmentioning

confidence: 99%

Microservice Dynamic Architecture-Level Deployment Orchestration

Bacchiani

Bravetti

Giallorenzo

et al. 2021

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…The semantics of the ABS language is formally defined by a TSS [29] and implemented by backends 4 in Erlang, Haskell, and Java, all of which support parallel execution. It has been developed and applied in the context of various EU projects, e.g., in the EU FP7 projects HATS 5 (Highly Adaptable and Trustworthy Software using Formal Models) and ENVISAGE 6 (Engineering Virtualized Services). In these projects, ABS has been extended and successfully applied to the formal modelling and analysis of software product families [17] and software services deployed on the Cloud [31].…”

Section: Introductionmentioning

confidence: 99%

“…In these projects, ABS has been extended and successfully applied to the formal modelling and analysis of software product families [17] and software services deployed on the Cloud [31]. The ABS tool suite [20,6,35,2,32,4,21,34] has been further applied to case studies, targeting cloud-based frameworks [53,40,30,39,3], railway operations [33] and computational biology. 7 The parallel execution of active objects (see [18] for a survey of active object languages) is a direct consequence of decoupling method execution from method invocation by means of asynchronous method invocations.…”

Section: Introductionmentioning

confidence: 99%

Proving Correctness of Parallel Implementations of Transition System Specifications

Boer¹,

Johnsen²,

Pun³

et al. 2023

Preprint

View full text Add to dashboard Cite

The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. We propose a new method for proving correctness of parallel implementations of high-level transition system specifications. The implementation language underlying the method is based on the model of active (or concurrent) objects. The method defines correctness in terms of a simulation relation between the transition system which specifies the program semantics and the transition system that is described by the correctness specification. The simulation relation itself abstracts from the fine-grained interleaving of parallel processes by exploiting a global confluence property of the particular model of active objects considered in this paper. As a proof-of-concept we apply our method to the correctness of a parallel simulator of multicore memory systems.

show abstract