Session types are becoming popular and have been integrated in several mainstream programming languages. Nevertheless, while many programming languages consider asynchronous fifo channel communication, the notion of subtyping used in session type implementations is the one defined by Gay and Hole for synchronous communication. This might be...
-
June 14, 2021 (v1)Conference paperUploaded on: December 4, 2022
-
September 2022 (v1)Journal article
International audience
Uploaded on: February 22, 2023 -
June 14, 2021 (v1)Conference paper
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...
Uploaded on: December 4, 2022 -
November 29, 2022 (v1)Conference paper
In this work, we focus on by-design global scaling, a technique that, given a functional specification of a microservice architecture, or-chestrates the scaling of all its components, avoiding cascading slowdowns typical of uncoordinated, mainstream autoscaling. State-of-the-art by-design global scaling adopts a reactive approach to traffic...
Uploaded on: February 22, 2023 -
September 2022 (v1)Journal article
International audience
Uploaded on: February 22, 2023 -
March 28, 2022 (v1)Conference paper
The paper presents the SEAWALL platform enabling heterogeneous data acquisition and low-latency processing for the Industry 4.0, developed within the homonymous project founded by the Italian BIREX industrial consortium. The architecture features cutting-edge technologies (such as Kubernetes, ISTIO, KubeEdge, W3C WoT), in order to support the...
Uploaded on: February 22, 2023