Bonjour \u00e0 tous,<\/p>\n\n\n\n
Nous avons le plaisir de vous inviter aus\u00e9minaire LATECE de la session d’hiver 2019.<\/p>\n\n\n\n
Qui?<\/strong> Benjamin Benni, Doctorat en informatique, universit\u00e9 de Nice<\/p>\n\n\n\n O\u00f9?<\/strong> PK-5115<\/p>\n\n\n\n Quand? <\/strong>mercredi 15 mai 2019 \u00e012h30<\/p>\n\n\n\n Titre :<\/strong> Analyse statique et r\u00e9-\u00e9criture de code pour le d\u00e9ploiement de micro-services dans un environnement conteneuris\u00e9<\/p>\n\n\n\n R\u00e9sum\u00e9 : <\/strong><\/p>\n\n\n\n Les Architectures Orient\u00e9es Services et leurs \u00e9cosyst\u00e8mes ont consid\u00e9rablement \u00e9volu\u00e9 depuis leurs d\u00e9but dans les ann\u00e9es 2000. Les services, d\u00e9velopp\u00e9s initialement comme des monolithes, sont d\u00e9sormais des micro-services cooperant ensemble dans des syst\u00e8mes \u00e0 tr\u00e8s grande \u00e9chelle.<\/p>\n\n\n\n Dans ce contexte, il devient n\u00e9cessaire de d\u00e9ployer fr\u00e9quemment de nouveaux services, ou rapidement une nouvelle version des services existants. Les technologies bas\u00e9es sur des conteneurs (comme Docker, par exemple) ont r\u00e9cemment \u00e9merg\u00e9 pour mettre en place et outiller de tels d\u00e9ploiements, en promouvant un m\u00e9canisme de r\u00e9utilisation en bo\u00eetes noires de conteneurs standards. Malheureusement, du point de vue du d\u00e9ploiement de service, une telle forme de r\u00e9utilisation en bo\u00eete noire ne permet pas de garantir ce qui est r\u00e9ellement dans le conteneur une fois le service d\u00e9ploy\u00e9. Nous avons propos\u00e9 un formalisme permettant de mod\u00e9liser et d’analyser de mani\u00e8re statique les artefacts de d\u00e9ploiement de services des plates-formes de l’\u00e9tat de l’art. Le m\u00e9canisme d’analyse statique exploite la hi\u00e9rarchie des descripteurs de d\u00e9ploiement pour v\u00e9rifier un descripteur donn\u00e9, ou encore pour le r\u00e9\u00e9crire afin de corriger automatiquement des erreurs courantes. Cette approche a \u00e9t\u00e9 valid\u00e9e en formalisant et automatisant des directives fournies par la communaut\u00e9 d’utilisateurs associ\u00e9e au moteur de r\u00e9f\u00e9rence (Docker) et par l’analyse de 20 000 descripteurs de d\u00e9ploiement r\u00e9els h\u00e9berg\u00e9s sur GitHub.<\/p>\n\n\n\n