Skip to Main content Skip to Navigation
Conference papers

Supporting Micro-services Deployment in a Safer Way: a Static Analysis and Automated Rewriting Approach

Benjamin Benni 1 Sébastien Mosser 1 Philippe Collet 1 Michel Riveill 1
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MODALIS
Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : The SOA ecosystem has drastically evolved since its childhood in the early 2000s. From monolithic services, micro–services now cooperate together in ultra-large scale systems. In this context, there is a tremendous need to deploy frequently new services, or new version of existing services. Container–based technologies (e.g., Docker) emerged recently to tool such deployments, promoting a black-box reuse mechanism to support off-the-shelf deployments. Unfortunately, from the service deployment point of view, such form of black-box reuse prevent to ensure what is really shipped inside the container with the service to deploy. In this paper, we propose a formalism to model and statically analyze service deployment artifacts based on state of the art deployment platforms. The static analysis mechanism leverages the hierarchy of deployment descriptors to verify a given deployment, as well as rewrite it to automatically fix common errors. The approach is validated through the automation of the guidelines provided by the user community associated to the reference Docker engine, and the analysis of 20,000 real deployment descriptors (hosted on GitHub).
Document type :
Conference papers
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Sébastien Mosser <>
Submitted on : Friday, December 8, 2017 - 5:43:54 PM
Last modification on : Saturday, November 28, 2020 - 11:14:02 PM


Files produced by the author(s)




Benjamin Benni, Sébastien Mosser, Philippe Collet, Michel Riveill. Supporting Micro-services Deployment in a Safer Way: a Static Analysis and Automated Rewriting Approach. Symposium on applied Computing, Apr 2018, Pau, France. ⟨10.1145/3167132.3167314⟩. ⟨hal-01659776⟩



Record views


Files downloads