Un cadre formel et outillé pour la gestion de toute ressource dans les nuages

Encadrement

Prendre contact avec :

· Philippe Merle – Chargé de Recherche Inria – équipe Spirals

· Lionel Seinturier – Professeur des universités – équipe Spirals

Lieu

Equipe de recherche Spirals

Centre Inria Lille - Europe

40, avenue Halley - Bâtiment B - Park Plaza

59650 Villeneuve d'Ascq - FRANCE

Contexte

L’utilisation de ressources informatiques sous forme de services louables à la demande, aussi appelé cloud computing, constitue désormais une réalité dans la plupart des domaines d’applications. Néanmoins, ce changement massif de paradigme ne s’est pas encore matérialisé par un cadre formel cohérent ni des technologies standardisées. Ainsi la mise sous forme de service d’un logiciel existant ou même son développement constitue toujours un effort de R&D particulièrement important pour un éditeur de logiciel. De plus, si des standards de facto sont apparus dans le cloud computing (par exemple, OpenStack pour le IaaS), ces standards restent cloisonnés à un domaine particulier : infrastructure (IaaS), plateforme (PaaS) ou applicatif (SaaS). Nous croyons que le développement d’outils scientifiques et techniques spécifiques au cloud computing dans son ensemble permettront le décloisonnement des technologies du cloud computing. Notre projet PIA OCCIware vise donc à développer un cadre formel ainsi que les outils de modélisation, conception, déploiement et exécution de toute ressource informatique sous forme de service dans les nuages. Ce cadre repose sur la recommandation Open Cloud Computing Interface (OCCI) de l’Open Grid Forum (OGF) [1].

Sujet du stage

Ce stage vise à définir les bases du cadre formel OCCIware et d’en outiller un premier prototype. Dans un premier temps, le/la stagiaire contribuera à la définition d’un modèle formel de OCCI en utilisant le langage de spécification Alloy du MIT [2]. Dans un second temps, il/elle outillera ce modèle formel OCCIware dans le cadre technologique Eclipse Modeling Framework [3] en réalisant le méta-modèle EMF pour OCCIware et des outils d’assistance aux utilisateurs tel qu’un modeleur graphique dédié au langage OCCIware. Finalement, il/elle réalisera un support d’exécution pour le modèle OCCIware s’inscrivant dans une approche Models@Run.time [4].

En parallèle, une étude bibliographique des domaines du cloud computing, des méthodes formels, de l’Ingénierie dirigée par les Modèles (IDM) et de l’approche Models@Run.time devra être menée.

Ce stage donnera lieu à une gratification.

Compétences requises

· Maîtrise du langage de programmation Java.

· Connaissances souhaitées

o du langage de spécification Alloy

o de l’Ingénierie Dirigée par les modèles (IDM) et de sa mise en œuvre dans le contexte technologique Eclipse.

o en Cloud Computing.

Poursuite

Ce sujet de stage débouchera sur une poursuite en thèse ou un poste d'ingénieur financés par le projet PIA OCCIware (2015 - 2017).

Références

[1] T. Metsch, A. Edmonds, R. Nyrén, A. Papaspyrou. Open Cloud Computing Interface–Core. OCCI-WG Specification Document GDF.183. 2011. http://occi-wg.org/

[2] D. Jackson. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM), 11(2), 256-290, 2002. http://alloy.mit.edu/alloy/

[3] D. Steinberg, F. Budinsky, E. Merks, M. Paternostro. EMF: Eclipse Modeling Framework. Pearson Education. 2008

[4] G. S Blair, N. Bencomo, R. B. France. Models@run.time. IEEE Computer, 42(10):22-27, 2009.